1.函数模板
函数模板是通用的函数描述,它主要使用泛型来描述函数。其作用就是让一个函数能同时适配多种情况。
1.1描述
在得出函数模板之前,我们先看普通函数的情况。当我们需要交换两个int时候,我们可这样做:
void Swap(int &a,int &b){
int temp;
temp = a;
a = b;
b = temp;
}
但是当我们需要交换两个double的时候需要这样定义:
void Swap(double &a,double &b){
double temp;
temp = a;
a = b;
b = temp;
}
这样就会有一个问题,当我们需要处理不同类型的数据的时候,我们就需要定义该数据类型的方法来处理。这种处理就会浪费我们宝贵的时间,且容易出错。而C++的函数模板功能解决了这一难题。
template<typename AnyType>
void Swap(AnyType &a,AnyType &b){//可以将任意类型传入进行处理
AnyType temp;
temp = a;
a = b;
b = temp;
}
2.重载函数模板
需要多个对不同类型使用同一种算法的函数的时候,我们可以使用函数模板。但是,并非所有的类型都使用相同的算法,于是C++给出了重载模板。
template<typename AnyType>
void Swap(AnyType &a,AnyType &b);//函数模板
template<typename T>
void Swap(AnyType *a,AnyType *b,AnyType n);//重载函数模板
3.模板显示具体化
假设我们定义了如下结构:
struct job{
char name[40];
double salary;
int floor;
};
然后我们想交换两个job结构体的内容,但是只交换两个结构体中的salary和floor而不交换name,由于两个结构体传入Swap的参数是一样的(两个job结构体的引用),所以无法使用模板重载来处理,这时候就可以用显示具体化:
void Swap(job& j1,job& j2);//普通函数
template<Typename T>
void Swap(T &a,T &b);//函数模板
template<> void Swap<job>(job & a,job & b);//模板具体化
假定我们定义的函数模板是交换两个常量的值:
template<typename T>
int compare(const T& t1,const T& t2){//比较两个常量的大小
if(t1<t2){
return -1;
}
if(t1>t2){
return 1;
}
return 0;
}
但是当我们需要比较两个字符串大小的时候,显示上面的函数模板是不可用的,因为用上述方法是比较的两个参数的地址,而不是比较字符串大小。所以我们就需要使用模板显示具体化来处理。
template<>
int compare<char *>(char* const &t1,char* const &t2){
return strcmp(t1,t2);
}