C++模板之函数模板实例化和具体化

模板声明 template,  typename比class最近后添加到C++标准。

 

常规模板，具体化模板，非模板函数的优先调用顺序。

非模板函数（普通函数）> 具体化模板函数 > 常规模板

 

显示具体化：

具体化表示为某一特定的类型重写函数模板，声明的含义是使用独立的，专门的函数定义显示地为 特定类型生成函数定义。

为什么要有显示具体化？处理模板函数所不能处理的特殊情况。显式具体化显式具体化也是基于函数模板的，只不过在函数模板的基础上，添加一个专门针对特定类型的、实现方式不同的具体化函数。

显示具体化声明在关键字template后包含<>.

如： 

template<> void swap(job &j1, job &j2);

vs2013不支持： 

void swap(Any &a, Any &b);

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

template<> void swap(job &j1, job &j2);

void Show(job &j);

int main(){
    using namespace std;

    template void swap(job &, job &);

    int i = 10, j = 20;

    swap(i, j);


    return 0;
}


template<typename Any>
void swap(Any &a, Any &b){
    Any temp;
    temp = a;
    a = b;
    b = temp;
}

template<> void swap(job &j1, job &j2){
    double temp_sal;
    temp_sal = j1.salary;
    j1.salary = j2.salary;
    j2.salary = temp_sal;
}

实例：如函数调用swap(i,j)会导致编译器生成swap()的一个实例，该实例使用 int 类型。

句法：声明所需的种类用<>符号指示类型，并在声明前加上关键字template:

为什么要有显示实例化？事实上，编译器只在要调用函数的时候才使用到函数，如果不使用显示实例化，每次调用函数时，模板都会消耗性能去推导使用的是哪个类型的函数，增加了程序运行时的负担；使用了显示实例化，则在编译时就已经处理了函数选择。

1. template [函数返回类型] [函数模板名]<实际类型列表>（函数参数列表）

实例化示例：

 
       
       template void swap<int>(int,  int);
template void swap<int>(int,  int);

转载于:https://www.cnblogs.com/cthon/p/9203234.html