函数模板作用:
同一功能的函数可能会因为类型问题要写两个甚至更多,比如取绝对值,对整数取绝对值和对浮点数取绝对值是一样的,然而都要处理的话必须写两个函数,这样非常麻烦,使用函数模板就可以解决这个问题(写一个通用类型函数)
函数模板定义:
- 函数模板定义形式:template<模板参数表>,一般使用类型参数class或typename标识符
- 例如template<class T>、template<typename T1, typename T2>
注意:
- 注意每个函数模板只对它紧接着的下一个函数有效,也就是和函数一一绑定
- 一个函数模板并非自动可以处理所有类型的数据,只有能够进行函数模板中运算的类型,可以作为类型实参
- 例如传入的是自定义的类,需要重载模板中的运算符,才能作为类型实参
函数模板+函数重载:
- 函数模板可以像普通函数一样被重载
- C++编译器优先考虑普通函数,不过如果函数模板可以产生一个更好的匹配,那么选择模板
- 可以通过空模板实参列表的语法,限定编译器只通过模板匹配,例如ans = Add<>(a, b);
代码中有注释
#include<iostream>
using namespace std;
int Max(int a, int b)
{
cout<<"Normal"<<endl;
if(a>b) return a;
return b;
}
template<typename T> //函数模板重载
T Max(T a, T b) //模板参数表里只有一个T,这三个T当然必须类型相同
{
cout<<"template"<<endl;
if(a>b) return a;
return b;
}
template<typename T, typename T2>
void Print(T *a, T2 n)
{
int i;
for(i=1;i<=n-1;i++)
cout<<a[i]<<" ";
cout<<a[n]<<endl;
}
int main(void)
{
int n = 10;
int p, q, a[11] = {0,1,2,3,4,5,6,7,9,8,15};
double k, h, b[11] = {0,1.1,1.2,1.5,1.6,1.8,5,6,7,8.9,10.12};
char c[12] = {"aabcdefghik"};
Print(a, n);
Print(b, n);
//Print<int, int>(c, n); 非法,函数模板不提供隐式的类型转换,必须是严格的匹配
Print<char, int>(c, n); //相当于void Print(char *a, int n),即第一个T是char,第二个T是int
p = 1, q = 2, k = 3, h = 4;
Max(p, q); //C++默认调用普通函数
Max(k, h); //因为普通函数的形参是int型,这里实参都是double型,所以系统会使用函数模板
Max<>(p, q); //强制使用函数模板
return 0;
}