CPP Templates 之 類模板局部特化

類模板可以被局部特化，現舉例如下：

template <typename T1,typename T2>
class MyClass{
...
}
就可以有下面幾種局部特化：
//局部特化：兩個模板參數具有相同的類型
template <typename T>
class MyClass<T,T>{
……
}

//局部特化：第二個模板參數的類型是int
template <typename T>
class MyClass<T,int>{
...
}

//局部特化：兩個模板參數都是指標類型
template<typename T1,typename T2>
class MyClass<T1*,T2*>{
...
}

下面的例子展示各種聲明會使用哪個模板：

MyClass<int,float> mif;//使用Myclass<T1,T2>
MyClass<float,float> mff;//使用MyClass<T,T>
MyClass<folat,int> mfi;//使用MyClass<T,int>
MyClass<int*,float*> mp;//使用MyClass<T1*,T2*>

如果有多個局部特化同等程度的匹配某個聲明，那麼就稱該聲明具有二義性：

MyClass<int,int> m;//錯誤：同等陳德匹配MyClass<T,T>和MyClass<T,int>
MyClass<int*,int*> m;//錯誤：同等程度的匹配MyClass<T,T>和MyClass<T1*,T2*>