模板设计的目的就是为了通用,但是某些情形下也有特殊情形独立于通用规则,因此模板需要针对特殊情形进行特化。
1 类模板的特化,在模板类名自后<>内写上特化的类型名,其中<>这部分叫做匹配式,如下:
template<typename T,typename N>//通用模板
void show();
template<>//特化模板的模板参数,这里不再需要参数故为空,<>不能省略
void show<int,char>();//特化模板,其中<int>叫匹配式
特化规则如下:
1) 匹配式写在模板类名之后,用<>包住,即使模板特化没有引入新的类型参数,<>也不能省略
2) 匹配式内用逗号隔开的项目列表,如前面的<int,char>,且项目数目必须和通用模板参数个数一致,也就是这里通用模板参数是T、N,所以特化时不能类似于show<int>
3) 匹配式中各项目类型须与通用模板参数类型一致
4) 匹配式项目可以是具体的模板参数值,也可以是特化成具体的类型
5) 当匹配式项目是类型模板参数时,与函数变量类似,模板参数也可以用*、&、const、volatile等修饰
实例如下:</