传递默认模板类型参数时,编译器选择模板特化

Question

给定以下类模板+特化:

template<class T = int>
struct S { static constexpr int value = 1; };

template<>
struct S<> { static constexpr int value = 2; };

实例化时:

S<int>::value

编译器使用value = 2实例化特化.我的问题是,为什么编译器会这样做？我不提供任何类型的案件的专业化吗？我认为我在理解默认模板参数时遇到问题.

Answer 1

选择专门化是因为它满足实例化(with T = int)并且比模板更专业.

声明特化时template<> struct S<>,T隐式设置为int因为它是默认值(或者更确切地说,在这种情况下是默认类型).

考虑以下:

template<class U, class T = int>
struct S {
    static constexpr int value = 1;
};

template<>
struct S<double> {
    static constexpr int value = 2;
};

在这里,S<double, int>::value也是2,出于同样的原因.在特化声明中,由于默认值而U明确指定为double,并T隐式设置为int.而且S<double, float>::value会1.