函数模板
模板的意义：对类型进行参数化
模板类型参数
c++使用class、typename关键字定义模板类型参数
- 函数模板：不进行编译，因为类型还不知道
template <typename T>//定义一个模板参数列表
bool compare(T a,T b)//compare是一个函数模板
{
cout<<"template compare"<<endl;
return a>b;
}- 函数模板的实例化:从函数调用点开始进行实例化
- compare<int>是函数名
- compare只是模板名称
- 故下述代码是对compare<int>函数的调用
compare<int>(1,2);- 模板函数：函数模板被实例化后的模板函数，才是要被编译器所编译的
/*
模板函数：在函数调用点，编译器用用户指定的类型，从原模板实例化一份函数代码出来
bool compare(int a,int b)
{
cout<<"template compare"<<endl;
return a>b;
}
*/-
模板的实参推演：根据用户传入参数的实参类型，来推导出模板类型参数的具体类型
//模板的实参推演
compare(3,4);完整代码
template <typename T>//定义一个模板参数列表
bool compare(T a,T b)//compare是一个函数模板
{
cout<<"template compare"<<endl;
return a>b;
}
void test()
{
compare<int>(1,2);
/*
模板函数：在函数调用点，编译器用用户指定的类型，从原模板实例化一份函数代码出来
bool compare(int a,int b)
{
cout<<"template compare"<<endl;
return a>b;
}
*/
compare<double>(3.4,2.1);
/*
bool compare(double a,double b)
{
cout<<"template compare"<<endl;
return a>b;
}
*/
//模板的实参推演
compare(3,4);
}模板的特例化
void test()
{
compare("aaa","bbb");
/*实例化后的模板函数
bool compare(const char* a,const char* b)//compare是一个函数模板
{
cout<<"template compare"<<endl;
return a>b;
}
*/
}如上代码所示，上述代码实例后的代码运行后显然是错误的，因为对于char*类型的变量来说，其return a>b返回的结果是它们所指向的内存地址的大小关系，而并不是我们想要的ASCII大小，这是因为指针本身就是一个地址值，其大小关系与其指向的内存空间大小关系一致。
如果要比较两个字符串的大小关系，应该使用字符串比较函数（如
strcmp）来进行比较。这些函数将会比较两个字符串的内容，而不是它们对应的指针地址。
我们想要的真正代码应该为：
bool compare(const char* a,const char* b)//compare是一个函数模板
{
return strcmp(a>b)>0;
}
因此，对于这种情况，需要对模板进行特例化，可以使得当我们调用char*类型的模板函数。
template <typename T>//定义一个模板参数列表
bool compare(T a,T b)//compare是一个函数模板
{
cout<<"template compare"<<endl;
return a>b;
}
//针对compare函数模板，提供const char*类型的特例化版本
template<>
bool compare(const char* a,const char* b)
{
cout<<"compare<const char*> template"<<endl;
return strcmp(a,b)>0;
}测试
void test()
{
compare(1,2);
compare("aaa","bbb");
/*
bool compare(const char* a,const char* b)//compare是一个函数模板
{
cout<<"template compare"<<endl;
return strcmp(a>b)>0;
}
*/
}
需要注意的是,函数模板的特例化实现前提是必须要有函数模板
模板非类型参数
模板的非类型参数只能使用，不能修改，必须是整数类型（地址、引用都可）
//T是一个类型参数，SIZE为非类型参数
template <typename T,int SIZE>
void sort(T* arr)
{
for(int i=0;i<SIZE-1;i++)
{
for(int j=0;j<SIZE-1-i;j++)
{
if(arr[j]>arr[j+1])
{
int tmp=arr[j];
arr[j]=arr[j+1];
arr[j+1]=tmp;
}
}
}
}测试
void test()
{
int arr[]={12,5,7,8,9,5,4,6,2,5,3};
const int size=sizeof(arr)/sizeof(arr[0]);
sort<int,size>(arr);
for(int a:arr)
{
cout<<a<<" ";
}
cout<<endl;
}
