c++模板初阶

一.泛型编程

实现一个通用的交换函数

void swap(int& x, int& y)
{
	int tmp = x;
	x = y;
	y = tmp;
}

这里如果想交换double类型的，可以再写一个重载函数。但代码太多了，最好有一个函数模板。

这就是泛型编程：编写与类型无关的通用代码，是代码复用的一种手段。模板是泛型编程的基础。

模板分为函数模板和类模板

二.函数模板

1.概念及格式

函数模板代表了一大类函数，该函数模板与类型无关，在使用时被参数化，根据实参类型生成特定的类型的模板。

注意，在传入类型参数调用函数之前，这些函数还没有实例化出来，只有显式调用后，才会生成对应的模板。

格式：

template<typename T1,typename T2……>

返回值类型 函数名（参数列表）{}

其中，typename是用来定义模板参数的关键字，也可以使用class

比如：

2.原理

函数模板本身并不是函数，而是一个蓝图一个模具，是编译器用来长生特定具体类型的函数的模具

在编译器编译阶段，对于模板函数的使用，编译器要根据传入的实参类型来推演生成对应类型的函数以供调用

3.函数模板的实例化

隐式实例化：让编译器根据实参推演模板参数的实际类型

通过a和b来推断出T为int

显式实例化：

4.模板参数的匹配原则

1.一个非模板函数可以与同名的模板函数同时存在，而且这个模板函数仍然能够被实例化为这个非模板函数

2.模板函数不会进行自动类型转换，但是普通函数可以进行自动类型转换

如上是普通函数，所以会自动将1.2转换为整型

但是要是使用模板，就无法进行自动类型转换，编译报错。

所以当这两个函数都存在时，add(1,1.2)；就是直接调用非模板函数。

3.对于同名的模板和非模板函数，调用时会优先调用非模板函数，但要是非模板函数无法匹配，并且模板可以产生一个具有更好匹配的函数，那么将选择模板。

三.类模板

1.概念及格式

之前写过栈，我们希望可以创建多种栈，一个可以存放int，一个可以存放char……

一种方法是使用typedef，但是如果typedef DataType int后，里面就只能存int了，不能同时实例化一个存double的栈。此时就可以使用类模板：

2.如何在类外定义类模板的成员函数

在类外定义时，需要加上类模板的参数列表，如下：

3.类模板实例化

类模板实例化与函数模板实例化不同，必须是显式实例化

注意，类模板不是真正的类，实例化结果才是真正的类