数模板语法

• 所谓函数模板，实际上是建立一个通用函数，其函数类型和形参类型不具体指定，用一个虚拟的类型来代表。这个通用函数就称为函数模板。

• 所有函数体相同的函数都可以用这个模板来代替，不必定义多个函数，只需在模板中定义一次即可。在调用函数时系统会根据实参的类型来取代模板中的虚拟类型，从而实现了不同函数的功能。

• 函数模板定义形式
  由以下三部分组成： 模板说明 + 函数定义 + 函数模板调用

  template < 类型形式参数表 >
  类型 函数名 (形式参数表) {
         //语句序列
  }

 
 

1. 模板说明

template < 类型形式参数表 >
类型形式参数的形式：

		建议使用 typename!
		    typename T1 ,  typename T2 , …… , typename Tn 
		或	class T1 ,  class T2 , …… , class Tn 
		(注：typename 和 class 的效果完全等同)

 

2. 函数定义

类型 函数名 (形式参数表){

}
注意：模板说明的类属参数必须在函数定义中出现一次
            函数参数表中可以使用类属类型参数，也可以使用一般类型参数

 

3. 函数模板调用

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;
}

 

4. 模板函数

在调用函数模板的时候, 编译器会在私底下自动生成具体化的函数

#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;
}