引言
泛型编程
在如上一段代码中,写了一个 Swap 函数,为了多种类型的支持,因此通过函数重载达到了多种类型的变量的交换。但是,如果此时增加一个新类型:如 float 类型或者类类型时,又需要程序员再增加自己对应的函数。
- 这是非常麻烦且代码复用性较低。每当出现新类型,都需要手动增加新函数;
- 代码的维护性低,一旦某个位置出错,其余的函数重载都得改动。
很显然,这种方式不是我们所期望的。那能否告诉编译器一个模子,让编译器根据不同的类型利用该模子来生成代码呢?
泛型编程:编写与类型无关的通用代码,是代码复用的一种手段。模板是泛型编程的基础。换句话说,有了函数重载的支持,才能达到模板的目的。模板相当于一个模具,通过这个模具能填充不同类型,生成不同的类型的代码。如同在古代没有造纸术时,只能依赖刀具处理木牍、竹简生成对应的模具;但当蔡伦发明了造纸术后,有了抄纸的模具'帘床',大大提高了效率。
函数模板
概念
函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参类型产生函数的特定类型版本。
格式
从这里就可以发现模板的妙处,编译器能通过我们写的变量自动推导类型,生成不同的函数。那模板的格式又是咋样的呢?
template<typename T1, typename T2,......,typename Tn>
返回值类型函数名 (参数列表){}
(typename 也可写成 class,大多情况上是没区别的)
// template<typename T> template<class T> void Swap(T& left, T& right) { T temp = left; left = right; right = temp; }
原理
函数模板是一个蓝图,它本身并不是函数,是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器来做。在编译器编译阶段,对于模板函数的使用,编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如:当用 double 类型使用函数模板时,编译器通过对实参类型的推演,将 T 确定为 double 类型,然后产生一份专门处理 double 类型的代码,对于字符类型也是如此。
函数模板实例化
用不同类型的参数使用函数模板时,称为函数模板的实例化。模板参数实例化分为:隐式实例化和显式实例化。
- 隐式实例化:让编译器根据实参推演模板参数的实际类型
template<class T> T Add(const T& left, const T& right) { return left + right; }
int main() {
int a1 = 10, a2 = 20;
double d1 = 10.0, d2 = 20.0;
Add(a1, a2);
(d1, d2);
;
}


