c++ - 编译器在传递默认模板类型参数时选择模板特化

Question

给定以下类模板 + 特化:

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

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

实例化时:

S<int>::value

编译器实例化值 = 2 的特化。我的问题是，为什么编译器会那样做？我不提供任何类型的情况不是特化吗？我想我在理解默认模板参数时遇到了问题。

Answer 1

选择特化是因为它满足实例化(使用 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 .