c++ primer plus阅读笔记7---模板特化

1.函数重载
仅仅函数的返回值类型不同不能实现重载；
参数只有const和非const类型的可以实现重载；
2.模板
如果有多个原型，则编译器在选择原型时，非模板版本优先于显示具体化和模板版本，而显式具体化优先于使用模板生成的版本。

void swap（job &，job &）//非模板/***************************/template<typename T>void swap(T &,T &);  //模板版本/****************************/template<>void swap<job>(job &,job &)//显式具体化版本

模板的显示实例化：
对与一个函数：

template<class T>void swap(T &a,T &b){    T temp;    temp=a;    a=b;    b=temp;}//显示实例化：template void swap<int>(int,int); //无需给这个函数重新编写函数体，这只是个声明

为什么要显式实例化？
主要是提高效率，当显式实例化模板时，在使用模板之前，编译器根据显式实例化制定的类型生成模板实例，这就相当于本程序有一个：

void swap(int &a, int &b)  {     int temp;     temp = a;     a = b;     b = temp;  }

这样的话，每次调用swap(a,b)的时候，都会重新生成该类型的代码，可以提高效率。

除了在声明的时候显式实例化，还可以在函数使用的过程中实现显式实例化，例如：

template <class T>T Add(T a,T b){    return a+b;}...int m=6;double x=10.2;cout<<Add<double>(x,m)<<endl; //这里的m类型不匹配，可以在调用的过程中显式实例化实现强制类型转换//如果对下边这个函数实现显式实例化会如何？void swap(T &a,T &b){    T temp;    temp=a;    a=b;    b=temp;}int m=6;double x=10.2;cout<<Add<double>(m,x)<<endl;//不幸的是第一形参是指向double的地址，不能指向int类型

模板的显式具体化：

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

通常又有另外一些特殊的情况，不能直接用泛型模板展开实现，这就需要针对某个特殊的类型或者某一类的类型，从而实现一个特例的模板—–即模板特化。例如：
当T是一个struct类型的时候，它的交换就无法进行，所以我们需要针对这种类型专门写一个函数，只有当T为这种struct类型的时候，才会调用这个特化函数。
显式具体化在声明的时候使用前缀template和template<>,用来区分显式实例化和具体化。

显示实例化和具体化总结：

template<class T>void swap(T &,T&)  template<>void swap<job>(job &,job &);int main(){    template void swap<char>(char &,char &);    short a,b;    ...    swap(a,b);//隐式实例化，相当于swap(short,short);    job n,m;    swap(m,n);//显式具体化    ...    char g,h;    swap(g,h);//显式具体化}