CPP Templates 之 局部類模板特化

/*局部的類模板特化
 *對於局部特化聲明的參數列表和實參列表，存在一些約束。下面就是一些重要的約束：
 *1.局部特化的實參必須喝基本模板的相應參數在種類上（可以使類型，非類型或者模板）是匹配的
 *2.局部特化的參數列表不能具有預設實參；但局部特化仍然可以使用基本類模板的預設實參
 *3.局部特化的非類型實參只能是非類型值，或者是普通的非型別參數；而不能是更複雜的依賴型運算式
 *4.局部特化的模板實參不能和基本模板的實參列表完全相同（不考慮重新命名）
 *下面詳細說明這些約束：
 */
template<typename T,int I = 3>
class S;

template<typename T>
class S<int,T>;//ERROR ,參數類型不符

template<typename T=int>
class S<T,10>;//error,不能具有預設參數

template<int I>
class S<int,I*2>;//ERROR,不能有更複雜的依賴型運算式

template<typename U,int K>
class S<U,K>;//ERROR,局部特化和基本模板之間沒有任何的區別