1 函数模板的定义
template<类型参数表>
返回值 函数名(数据参数表)
{
函数模板定义体；
}
例如
template <typename T>
T& mymax(T& a, T& b)
{
cout<<__PRETTY_FUNCTION__<<endl;/*打印方法名*/
return (a<b)? b : a;
}
2 函数模板的使用
1. 函数模板只是编译指令，一般写在头文件中；
2. 编译程序时，编译器根据函数的参数来“推导”模板的参数；然后生成具体的模板函数
示例代码：
int a;int b;mymax(a,b);
编译器根据函数参数a，b推导模板参数为int，所以把模板中的T绑定为int；
编译程序时生成如下函数：
int& mymax(int& a,int& b)
{
return (a<b)? b : a;
}
3 模板函数推导时的注意事项
3.1 有限的类型转换
3.1.1函数模板只支持2中隐式类型转换
3.1.1.1 const转换
template <typename T>
const T& mymax(const T& a, const T& b)
{
cout<<__PRETTY_FUNCTION__<<endl;
return (a<b)? b : a;
}
int main(int argc, char **argv)
{
int ia = 1,ib = 2;
double da = 1,db = 2;
mymax(ia, ib);
mymax(db, db);
return 0;
}
输出
const T &mymax(const T &, const T &) [T = int]
const T &mymax(const T &, const T &) [T = double]
3.1.1.1 数组或指针转换数组
数组调用引用时，引用为数组类型
如char a[] = "abc"; 引用为char[4];
template <typename T>
const T& mymax(const T& a, const T& b)
{
cout<<__PRETTY_FUNCTION__<<endl;
return (a<b)? b : a;
}
main()
{
char a[] = "abc";
char b[] = "ab";
mymax(a,b);//报错，引用类型不同，无法推导方法；
}
采用数组指针时可以
template <typename T>//每定义一个模板函数都要写一个。及时其他模板写了也要写。
const T* mymax2(const T* a, const T* b)
{
cout<<__PRETTY_FUNCTION__<<endl;
return (a<b)? b : a;
}
mymax2(a,b);//ok，编译通过
这里调用函数指针也是可以，不过输入的两个函数指针的返回值和参数要一样
3.1.2 其他的隐式转换都不支持，比如：算术转换、派生类对象向上转换
3.2 苛刻的类型匹配
参数类型必须完全匹配：
如果不能直接匹配，则可以进行“有限的类型转换”，如果还不匹配，则推导失败
3.3
参数类型为传值时
忽略实参的const,volatile等属性，因为传值时，会临时生成一个变量，次变量可读可写
3.4 可在函数模板中打印匹配结果
cout<<__PRETTY_FUNCTION__<<endl;
4 模板函数重载
重载，即有多个同函数名和返回值得函数，那应该选择调用哪个函数呢
1 先列出候选函数，包括普通函数，参数推导成功的模板函数
2 这些获选函数，根据“类型转换”来排序（注意，模板函数只支持有限的类型转换）
3 如果某个候选函数的参数，跟调用时传入的参数更加匹配，则选择此候选函数
4 如果这些候选函数的参数匹配度相同：1 如果只有一个非模板函数，则选择它；2如果只有模板函数，则选择"则更特化"的模板函数；3否则，最后导致“二义性”错误（ambiguous 模糊）
