所谓函数模板,实际上是建立一个通用函数,其函数类型和形参类型不具体指定,用一个虚拟的类型来代表。这个通用函数就称为函数模板。
所有函数体相同的函数都可以用这个模板来代替,不必定义多个函数,只需在模板中定义一次即可。在调用函数时系统会根据实参的类型来取代模板中的虚拟类型,从而实现了不同函数的功能。
函数模板定义形式
由以下三部分组成: 模板说明 + 函数定义 + 函数模板调用
template < 类型形式参数表 >
类型 函数名 (形式参数表) {
//语句序列
}
template < 类型形式参数表 >
类型形式参数的形式:
建议使用 typename! typename T1 , typename T2 , …… , typename Tn 或 class T1 , class T2 , …… , class Tn (注:typename 和 class 的效果完全等同)
类型 函数名 (形式参数表){
}
注意:模板说明的类属参数必须在函数定义中出现一次
函数参数表中可以使用类属类型参数,也可以使用一般类型参数
max< int >(a, b); //显式类型调用
max(a, b); //自动数据类型推导
template <typename T, typename T2> T Max(T a, T2 b) { return (a > b ? a : b); } int main(void) { int a = 10; char b = 'c'; Max<int, char>(a, b); //显示调用 system("pause"); return 0; }
在调用函数模板的时候, 编译器会在私底下自动生成具体化的函数
#include <iostream> #include <Windows.h> using namespace std; //Demo类 class Demo { public: Demo(int tmp = 0) { this->tmp = tmp; } bool operator>(const Demo& other) { if (this->tmp > other.tmp) { return true; } else { return false; } } int getValue() { return tmp; } private: int tmp; }; template <typename T> T Max(T &a, T &b) { return (a > b ? a : b); } int main(void) { Demo demo1(100); Demo demo2(200); //可以把类的对象用函数模板替换 cout << Max(demo1, demo2).getValue() << endl; system("pause"); return 0; }