模板专业化是否扩展或覆盖通用模板？

Question

template<typename T> 
struct A{ 
    void method1(){} 
}; 

template<> 
struct A<int>{ 
    void method2(){} 
}; 

请问A<int>有method1和method2吗？而A<float>只会有method1？

Answer 1

每个专业化都会带来一种全新的数据类型（或者如果专业化只是部分的话，则是一个全新的模板）。从标准（C++ 11）：

（§14.5.5/ 2）每一类模板部分特例是一种独特的模板，并应用于模板部分特例的成员提供的定义（14.5.5.3 ）。

和：

（§14.5.5.3/ 1）[...]类模板偏特的成员是无关的主模板的成员。应定义以需要定义的方式使用的类模板部分专业化成员;主模板成员的定义从来不会用作类模板部分专业化成员的定义。 [...]

以上是在部分专业化的背景下说的，但它适用于明确的专业化（如你的情况），以及，虽然标准没有说得很清楚。

另外请注意，您不仅需要声明的是，你在一个专业化希望所有成员函数，但是你需要定义他们，太（这里，标准是非常明确的，甚至关于明确的专门化）：

（14.7.3/5）明确专用类的成员不是从类模板的成员声明中隐式实例化的;相反，类模板专业化的成员本身应该明确定义，如果它的定义是必需的。在这种情况下，类模板显式专业化的定义应在成员定义的位置 范围内。明确专门化的类的定义与生成的专业化的定义无关。也就是说，其成员不必具有与生成的专业化的成员相同的名称，类型等。 [...]

所以，的确，A<int>只会有method2()，并A<float>只会有method1()作为成员。此外，如果您要在A<int>专业化中引入method1()，则它不需要具有与A<float>::method1()相同的参数类型或返回类型。

请参阅@ aschepler的答案，以避免必须重写int案例的模板定义。

Answer 2

专业化取代了通用模板。所以A<int>将只有method2()，当然，A<double>将只有method1()。

Answer 3

@ jogojapan的答案解释了语言的作用。这里有一对夫妇的解决方法，如果你想添加新的成员，具体分工：

template<typename T> 
struct A_Base { 
    void method1() {} 
}; 

template<typename T> 
struct A : public A_Base<T> {}; 

template<> 
struct A<int> 
    : public A_Base<int> 
{ 
    void method2() {} 
}; 

现在A<int>拥有会员method1和method2，但A<float>没有method2。

OR（如果你可以修改主模板）...

#include <type_traits> 

template<typename T> 
struct A { 
    void method1() {} 

    template<int N=0> 
    auto method2() -> 
    typename std::enable_if<std::is_same<T, int>::value && N==N>::type 
    {} 
}; 

的template<int N>和N==N零件确保std::enable_if有一个相关的值，因此不会抱怨，直到有人竟试图使用A<T>::method2与一个不正确的T参数。