函数模板
形如：
template<typename T> //没有分号
void func(T &a,T &b);
称为函数模板，其中，template和typename为关键字，typename可以用class来替代。T（可以用其他的名称）表示一种泛型，既可以表示int型，也可以表示double或其他类型，将它想象成C++里面的数据类型的集合。
也就是说：
void func(T &a,T &b)= void func(int &a,int &b)
= void func(double &a,double &b)
= void func(char &a,char &b)
=………
在调用func()函数的时候，会根据形参的类型来选择用哪个func()函数，可以减少代码量。
函数模板也可以重载，如将形参换成两种不同的数据类型：
template<typename T1，typename T2>
void func(T1 &a,T2 &b);
或者是这种：
template<typename T>
void func(T &a,T &b T&c);
对于函数的模板，每次调用函数时的形参的类型可能不一样，但函数体里实现的内容其实都一样。比如下面的代码：
template<typename T>
T func(T &a,T &b)
{
return a>b?a:b;
}
实现的内容都是：返回啊a，b中较大的数。
显式具体化
但对于某些特殊类型，可能不适合模板实现，需要重新定义实现，此时就是使用显式具体化。
首先的声明一个函数模板，然后再定义特殊类型，如下：
template<typename T>
void func(T &a,T &b);//首先声明函数模板
//例如结构体类型的变量不适合，那么我们需要将函数模板再具体一些
struct strc {……};//结构体
template<>void func<strc>(strc &t1,strc &t2);
然后再在主函数后面写出实现方法。
//函数模板的实现
template<typename T>
void func(T &a,T &b)
{……}
//显式具体化的实现
template<>void func<strc>(strc &t1,strc &t2)
{……}
实例化
假如我们在主函数中要调用函数模板，他就会在主函数中创建一个实例，不调用它就不会产生实例，比如a，b都是int型的，在主函数中有这一句： func(a,b);那么就会创建void func(int,int)这样一个函数，这种叫隐式实例化。后面有程序用了，编译器才会根据模板生成一个实例函数。
还有一种叫显式实例化，不用将相应的实参传递给形参才创建实例，而是显示的声明需要程序创建这个实例，在函数体里声明：
template void func<char>(char &,char &);
无论是否程序有用，编译器都会生成一个实例函数。
显式实例化和显式具体化声明注意区分。一个template后有<>,一个则没有。
原文地址：https://www.cnblogs.com/LiuFarrell/p/8955446.html