模板特化:
template<typename T>
int Compare(const T&v1,const T &v2)
{
if( v1<v2 )
{
return -1;
}
if( v2<v1 )
{
return 1;
}
return 0;
}
如果用两个const char *实参调用这个模板定义,函数将比较指针值,结果使指针在内存中的相对位置
template<>
int Compare<const char *>(const char * const &v1,const char *const &v2)
{
return strcmp(v1,v2);
}
//形参为const char *的const 引用
模板特华可以声明而无须定义,总是包含模板形参说明符,即template<>,还必须有函数形参表,如果可以从形参推断模板实参,则不必需显示指定模板实参
template<>
int Compare<const char *>//error. function parameter list missing
template<>
int Compare(const char *const &,const char *const &); //ok
在类特化外部定义成员时,成员之前不能加template<>标记
如果不特化类,而只特化类中的特定成员,则需要加上template<> 标记
类模板的部分特化:
如果类模板有一个以上的模板形参,若只想特化某些模板形参而非全部,则可以:
template<typename T1,typename T2>
class Some_template
{
//...
};
//partial specialization
template<class T1>
class Some_template<T1,int>
{
//...
};
部分特化的模板形参是对应的模板定义形参标的子集
重载于函数模板:
函数模板可以重载
1、可以定义有相同名字组形参数目成类型不同的多个函数模板
2、可以定义与函数模板有相同名字的普通非模板函数
template<typename T>
int Compare(const T &,const T &); (1)
template<class U,class V>
int Compare(U,U,V); (2)
int Compare(const char *,const char *); (3)
Compare(1,0); //calls (1)
vector<int> ivec1(10),ivec2(20);
Cpmpare(ivec1.begin(),ivec1.end(),ivec2.begin()); //calls (2)
int arr1[]={0,1,2,3,4};
Compare(arr1,arr1+10,ivec1.end()); //calls (2)
const char const arr1[]="word",const_arr2[]="hi";
Compare(const_arr1,const_arr2); //calls (3)
普通函数和函数模板都完全匹配时,匹配同样好,非模板版本优先