读书笔记--模版(4)

模板特化：
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)

普通函数和函数模板都完全匹配时，匹配同样好，非模板版本优先