目录

泛型编程

函数模板

概念

格式

原理

函数模板的实例化

类模板

格式

类模板的实例化

---

泛型编程

当我们要实现一个交换函数，我们可以利用函数重载实现，但是有几个不好的地方

1.函数重载仅仅是类型不同，代码复用率较低，只要出现新类型时，就需要用户增加对应的函数

2.代码的可维护性较低，一个出错所有的重载均出错

C++中我们就引入了模板

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

函数模板

概念

函数模板对应了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本

格式

template<typename(class) T1,typename(class) T2,....>

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

注：typename是用来定义模板参数的关键字，也可以用class来代替

原理

函数模板是一个蓝图，它本身并不是函数，是编译器用使用方式产生特定具体类型函数的模具，所以模板就是把原本我们需要做的的事情交给了编译器

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

函数模板的实例化

用不同类型参数使用模板时，称为函数模板的实例化

模板实例化分为：显示实例化和隐式实例化

隐式实例化：让编译器自己去推导传入的参数类型

显示实例化：提供参数类型给编译器

匹配原则