C++函数模板的具体化 c++

【C++函数模板的具体化】在代码中声明函数模板的时候，是不会生成函数定义的，当编译器使用模板为特定类型生成函数定义时，得到的是模板实例。
例如如下代码，这样的模板并非函数定义。

template void Swap(T &a, T &b) { T temp; temp = a; a = b; b = temp; }

函数模板的具体化又分为隐式实例化、显示实例化、显示具体化。
1、隐式实例化

int main() { int a = 10, b = 20; Swap(a, b); }

在上述代码中，函数调用Swap(i,j)导致编译器生成Swap实例，这种实例化称为隐式实例化，因为编译器之所以知道需要进行定义，是由于程序调用了Swap函数时提供了int参数，这种实例化的方式存在效率低下的缺点，因为其无法在程序编译时就生成函数定义。
2、显示实例化
显示实例化可以解决隐式实例化的缺点，其可以直接命令编译器创建特定的实例，其语法为如下

template void Swap(int, int);

3、显示具体化
显示具体化主要针对特殊的数据类型，如结构体，其可以对底层的模板进行改动，从而使其针对这种特殊的数据类型执行特定的操作。例如以下代码，我声明了一个结构体，想要只交换结构体中的salary和floor，不交换name，就要使用显示具体化。

struct job { char name[40]; double salary; int floor; }; template<> void Swap(job&a, job&b) { double t1; int t2; t1 = a.salary; a.salary = b.salary; b.salary = t1; t2 = a.floor; a.floor = b.floor; b.floor = t2; }

因此调用时，显示具体化将会优先于常规模板。