1.模板函数为不同的模板实参定义了一个函数家族。它的表示看起来和普通的函数很相似,唯一的区别是有些函数元素是未确定的:这些参数将在使用的时候被参数化。
template <typename T> inline T const& max(T const& a,T const& b) { return a<b ? b : a; }
上述例子中的参数类型没有确定,用模板参数T来代替。
2.函数模板的实例化:使用具体的类型代替模板参数的过程。这个过程产生了一个模板的实例。这个过程是在编译的时候进行的。
模板内部的操作要被进行参数的类型所支持,否则会出错。
在编译的时候:
1)实例化前,先检查模板代码本身,查看语法错误等,如遗漏分号等;
2)在实例化期间,检查模板代码,查看是不是所有的调用都有效。如该实例化类型不支持某些函数的调用。
3.显示指定模板参数
模板参数不支持自动类型转换,每个T都必须准确的匹配。
template <typename T> inline T const7 max(T const& a, T cosnt& b); ... max(4,7) //OK max(4,4.2) //ERROR,第一个是int,第二个是double
有几种解决办法,
1)max(static_cast(double)(4),4.2) //OK
2)显示指定模板参数:
max<double>(4,4.2)
3)使用连个模板参数。
4.重载函数模板
和普通函数一样,模板函数同样可以被重载,相同的函数名称可以具有不同的函数定义。
几条基本的原则:
1)非模板函数和一个同名的模板函数可以同时存在。对于非模板函数和同名的函数模板,如果其他条件都相同的话,在调用的时候将调用非模板函数,不会实例化模板函数。
2)如果模板产生一个更好的匹配,选择模板参数。
3)可以显示的指定一个空的模板实例列表,告诉编译器,用模板来匹配。
4)函数的所有重载说明在该函数被调用位置之前。
时间: 2024-10-13 10:20:45