模板專業化是否擴展或覆蓋通用模板？

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參數。