关于c++:C函数模板的具体化

在代码中申明函数模板的时候，是不会生成函数定义的，当编译器应用模板为特定类型生成函数定义时，失去的是模板实例。
例如如下代码，这样的模板并非函数定义。

template<class T>
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, int);
3、显示具体化
显示具体化次要针对非凡的数据类型，如构造体，其能够对底层的模板进行改变，从而使其针对这种非凡的数据类型执行特定的操作。例如以下代码，我申明了一个构造体，想要只替换构造体中的 salary 和 floor，不替换 name，就要应用显示具体化。

struct job
{char name[40];
    double salary;
    int floor;
};

template<> void Swap<job>(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;
}

因而调用时，显示具体化将会优先于惯例模板。