C++中函数模板，显式具体化，显式实例化：

函数模板

形如：

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后有<>,一个则没有。