我们前面刚刚学习了函数重载,可以处理多种数据类型,虽然是同一个名字,但仍然要分开定义,如果再能让代码精简一些,模板化,就再好不过了!为此,C++提供函数模板这一机制,大大提高代码的可重用性。
函数模板,是可以创建一个通用的函数,可以支持多种形参。用关键字template来定义,形式如下:
template<class类型名1,class类型名2…>返回值函数名(形参表列)模板参数表{函数体}
说明一下,这个一般形式中,第一行的template<class 类型名1,class 类型名2…>是一句声明语句,template是定义模板函数的关键字,尖括号里可以有多个类型,前面都要用class(或者typename来定义)。然后后面跟定义的函数模板,切记中间不可以加其他的语句,不然会报错!
下面,我们举个具体的例子来看一下!
#include<iostream>usingnamespacestd;template<classT1,classT2>T1add(T1x,T2y){cout<<sizeof(T1)<<,<<sizeof(T2)<<t;returnx+y;}intmain(){cout<<add(10,20)<<endl;;cout<<add(3.14,5.98)<<endl;cout<<add('A',2)<<endl;return0;}
以上是一个加法函数的模板,大家可以看到我们定义了一个add的函数模板,里面的变量类型都用T1和T2代替。
在主函数中,实际调用时,我们调用了三次,分别三种不用的类型传入,模板函数中的T1和T2类型将根据实际传入的类型变成具体类型,这个化成就叫做模板的实例化。
然后我们运行程序,可以看到每次调用的类型T1和T2到底是什么类型,有多大字节,以及求和的结果。运行效果如下:
大家可以对照代码逐行理解并亲自上机实验完成。