重载函数通常用于执行相似的操作,这些操作涉及作用于不同数据类型上的不同程序逻辑。如果对于每种数据类型程序逻辑和操作都是相同的,那么使用函数模板可以使重载执行起来更加紧凑方便。
在编写函数模板定义时,只需写一个,在模板函数调用中提供了实参类型,C++就会自动生成独立的函数模板特化来恰当的处理每种类型的调用。
定义一个函数模板实质上就是定义了一整套重载的函数。
templateT maximum(T val1, T val2, T val3){ T maxVal = val1; if(val2 > maxVal) maxVal = val2; if(val3 > maxVal) maxVal = val3; return maxVal; }
上面这个函数模板,用于确定三个数值中的最大值。所有的函数模板定义都以template关键字开头,后面跟着用一堆尖括号(<和>)括起来的该模板的形参列表。模板形参列表中每个形参由关键字typename或者关键字class开头(它们是同义词)。形式类型形参是基本类型或者用户自定义类型的占位符。这些占位符,用于指定函数形参的类型,指定函数的返回值类型,以及在函数定义体内变量声明。函数模板的定义与其他函数的定义一样,只是使用形式类型形参作为实际数据类型的占位符。
上面的函数模板中声明了单个形式类型形参T作为占位符,为maximum函数测试数据类型做准备。对于一个特定的模板定义,类型形参的名字在模板形参列表中必须是唯一的。当编译器在程序中检测到maximum调用时,传递给maximum的数据类型代替整个模板定义中的T,并且为了确定给定三个数据的类型的三个值中的最大值,C++会创建一个完整的函数,然后这个函数被编译,因此模板是代码生成的一种方法。
注意:由于在本例中只使用了一个类型参数,这三个值必须具有相同的数据类型。
int main(){
cout << maximum(1, 2, 3) << endl;
cout << maximum(3.3, 2.2, 1.1) << endl;
cout << maximum('A', 'C', 'B') << endl;
return 0;
}
使用模板函数maximum,分别确定三个int值、三个double值、三个char值的最大值。三个独立的函数作为调用的结果而被创建,这三个函数相应的处理三个int值、三个double值、三个char值。
int类型的特化如下:
int maximum(int val1, int val2, int val3){
int maxVal = val1;
if(val2 > maxVal) maxVal = val2;
if(val3 > maxVal) maxVal = val3;
return maxVal;
}
针对int类型创建的函数模板特化时会把每个T用int来替换。



