一、模板
1. 函数模板
什么是模板? 模板是一个模具,只需要往这个模具里倒入不同的材料,就可以获得不同材料的铸件。
如果我们要实现一个交换函数呢?这是很容易的事情。

但是这种交换函数只能实现整型之间的交换,如果想进行浮点数交换或字符型交换呢?虽然可以通过函数重载实现不同的交换函数,但这样做太浪费时间了,没有意义。毕竟只是改变了交换函数参数的类型,代码不需要变化。所以,这种方法是有缺陷的:
- 代码复用率低。
- 可维护性差。
所以,有了函数模板,这是实现泛型编程的基础。
所谓泛型编程就是编写与类型无关的通用代码,是代码复用的一种手段。

template<typename T>就是定义了一个模板,通过一份代码就可以实现多个要求。
这里的typename也可以换成class,这两个的区别会在后面讲解。
这个就叫做函数模板,函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参类型产生函数的特定类型版本。
函数模板的格式:template<typename T1, typename T2, ..., typename Tn>。
2. 函数模板的原理
函数模板是一个蓝图,它本身并不是函数,是编译器用使用方式产生特定具体类型函数的模具。所以,其实模板就是将本来应该我们重复性做的工作交给了编译器。

在编译器编译阶段,对于模板函数的使用,编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。
3. 函数模板的实例化
用不同类型的参数使用函数模板时,称为函数模板的实例化。
模板参数实例化分为:隐式实例化和显式实例化。
隐式实例化:让编译器根据实参推演模板参数的实际类型。





















