C ++编译器如何在备用模板部分专业化之间进行选择？

如何解决C ++编译器如何在备用模板部分专业化之间进行选择？

在下面的代码中，编译器为B选择模板重载Foo<float>，为所有其他类型选择模板重载A，例如Foo<char>。这似乎取决于重载B中的第二个模板参数是否与void初始定义中该模板参数的指定默认值Foo匹配。

我不了解其背后的机制。请解释这个法术。

template <typename T>
struct Bar
{
    using type = int;
};

template <>
struct Bar<float>
{
    using type = void;
};

// overload A
template <typename T1,typename T2=void>
struct Foo
{
    using type = int;
};

// overload B
template <typename T>
struct Foo<T,typename Bar<T>::type>
{
    using type = float;
};

int main()
{
    [[maybe_unused]] Foo<float>::type foo1 {2.3};    // compiler picks overload B
    [[maybe_unused]] Foo<char>::type foo2 {2};       // compiler picks overload A

    return 0;
}