乐趣区

关于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;
}

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

退出移动版