一、泛型编程

如何实现一个通用的交换函数呢？

void Swap(int& left, int& right)
{
 int temp = left;
 left = right;
 right = temp;
}
void Swap(double& left, double& right)
{
 double temp = left;
 left = right;
 right = temp;
}
void Swap(char& left, char& right)
{
 char temp = left;
 left = right;
 right = temp;
}
......

之前C++引入了函数重载，相同用处函数的命名问题得到了解决，方便了很多。但是我们如果想写一个通用的交换函数，是非常麻烦的，每一个类型的都要重载，还是不太方便。而且函数重载也有不少缺陷：

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

🖊代码的可维护性比较低，一个重载出错可能所有的重载都会出错。

那我们能不能使用一个模板，这类模板专门用于解决这一类问题，它允许所有的数据类型呢？这就要引入泛型编程这个概念：

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

二、函数模板

Ⅰ函数模板概念

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

Ⅱ函数模板格式

template<typename T1,typename T2,......,typename Tn>

返回值类型 函数名(参数列表){}

这里的T1，T2，...，Tn名字是自己定义的，没有要求。

template<typename T>
void Swap( T& left, T& right)
{
 T temp = left;
 left = right;
 right = temp;
}

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

Ⅲ函数模板的原理

函数模板的原理是什么？编译器具体是怎么处理的？

其实函数模板是一个模子，它本身并不是函数，是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器。

在编译器编译阶段，对于模板函数的使用，编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如：当用int类型使用函数模板时，编译器通过对实参类型的推演，将T确定为int类型，然后产生一份专门处理int类型的代码，对于double类型和字符类型也是如此。

也就是说，其实我们自己写三份重载，和编译器使用模板推演三种类型函数没有什么本质区别，只不过这些交给了编译器，我们不需要再写了。实例化的个数根据我们使用的情况，用的越多，实例化越多。

Ⅳ 函数模板的实例化

用不同类型的参数使用函数模板时，称为函数模板的实例化。模板参数实例化分为:隐式实例化和显式实例化。

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

上面我们写的Swap模板就是我们给值，让编译器根据实参推演模板参数的典型例子。

template<typename Ad>
Ad Add(const Ad& a, const Ad& b)
{
  return a + b;
}
int main()
{
  int a1 = 10, a2 = 20;
  double d1 = 6.4, d2 = 4.8;
  Add(a1, a2);
  Add(d1, d2);
  return 0;
}

这里我写的两个数相加，它们是相同类型的，如果我把a1和d1相加是否可以呢？

很显然被禁止了，我们看到这里的报错信息是模板参数"Ad"不明确，这是很好理解的，因为我们传了一个a1，类型是int；d1类型是double，编译器在根据模板推演时遇到了问题，a和b的类型都是Ad，但是我们上传的一个是int，一个是double。编译器就无法判断Ad到底是int还是double。

可能有的老铁还有问题，难道不会隐式类型转换吗？要知道如果我们自己写一个函数：

它自己进行了隐式类型转换，那么模板为什么不行呢？

这和模板的底层逻辑有关，首先我们自己写的明确了上传的类型，编译器有了明确的隐式类型转换的方向，比如这里就是double类型的d1转换为int；而模板上传了a1(int)，d1(double)，那么你让编译器把a1转换为double，还是d1转换为int呢？产生了二义性。而且我们知道隐式类型转换发生在类型转换赋值和传参的时候，这里在进行到Ad为int和Ad为double类型时就已经判定无法确定Ad类型，不会再发生后续的类型转换赋值和传参。

那么我们想要解决这样的问题，有两种处理方式：

1、用户自己来强制转化。

2、使用显式实例化

用户自己强制转换：