16.6 模板特化
16.6.1 函數模板的特化
模板特化(template specialization)是這樣的一個定義，該定義中一個或多個模板形參的實際類型或實際值是指定的。特化的形式如下：
關鍵字template後面接一對空的尖括號(<>);
再接模板名和一對尖括號，尖括號中指定這個特化定義的模板形參;
函數形參表;
函數體
template<class T>
class Foo{
public:
static T count(){return ctr;}
private:
static T ctr;
};
template<class T>
T Foo<T>::ctr;
template<>
class Foo<double>{
public:
static double count(){return ctr+1;}
private:
static double ctr;
};
double Foo<double>::ctr;
template<class T>
class Foo{
public:
static T count(){return ctr;}
private:
static T ctr;
};
template<class T>
T Foo<T>::ctr;
template<>
class Foo<double>{
public:
static double count(){return ctr+1;}
private:
static double ctr;
};
double Foo<double>::ctr;Foo<double> f1=Foo<double>();
cout<<f1.count()<<endl; //1
Foo<int> f2=Foo<int>();
cout<<f2.count()<<endl; //0
Foo<double> f1=Foo<double>();
cout<<f1.count()<<endl; //1
Foo<int> f2=Foo<int>();
cout<<f2.count()<<endl; //01. 聲明模板特化
與任意函數一樣，函數模板特化可以聲明而無須定義。模板特化聲明看起來與定義很像，但省略了函數體。
template<>
class Foo<float>;
template<>
class Foo<float>;模板特化必須總是包含空模板形參說明符，即template<>，而且，還必須包含函數形參表。如果可以從函數形參表推斷模板實參，則不必顯式指定模板實參。
2. 函數重載與模板特化
在模板特化版本的調用中，實參類型必須與特化版本函數的形參類型完全匹配。
3. 不是總能檢測到重復定義
如果程序由多個文件構成，模板特化的聲明必須在使用該特化的每個文件中出現。
與其他函數聲明一樣，應在一個頭文件中包含模板特化的聲明，然後使用該特化的每個源文件包含該頭文件。
4. 普通作用域規則適用於特化
對具有同一模板實參集的同一模板，程序不能既有顯式特化又有實例化。
特化出現在對該模板實例的調用之後是錯誤的。
摘自 xufei96的專欄
