函数模板

函数模板

函数模板是通用函数的描述，通过泛型来定义函数。

模板格式

template<typename type>
void fun(type &a, type &b)
{
    type tmp;
    tmp = a;
    a = b;
    b = tmp;
}

注意：模板的定义与声明必须放在同一个h文件中，不能将声明放在h文件,定义放在c文件中。在模板函数中，并非所有的模板参数都必须是模板参数类型，也可以有非类型模板形参。

template<typename T1,typename T2, int N>  //这里的N便是非类型模板形参
void Swap(T1 *a,  T2 *b, int N);

模板的显示具体化，显示实例化

显示具体化

C++中的函数模板很可能无法处理某种类型，对于这种个别的特例，便可以使用显示具体化提供一个具体化函数定义。
比如：

struct job
{
    char name[40];
    double salary;
    int floor;
};
template<typename T>
void swap(T &a, T &b);

使用swap函数便可以交换结构体内容，但是当我想只交换结构体的salary内容时呢，使用通用函数模板便不能够达到要求，此时，使用显示具体化为这种特例提供一个具体化函数定义。

template<> void swap(job &a, jon &b) //显示具体化
{
    double t1; 
    t1 = a.salary;
    a.salary = b.salary;
    b.salary = t1
}

显示具体化的原型和定义都应该以template<>打头，并通过名称来指出类型。

显示实例化

函数模板并不是函数的定义，它只是一个用于生成函数定义的方案。当程序调用swap(i,j)的时候导致编译器生成了swap()的一个实例，这种实例称为隐式实例化。

int i; j;
swap(i,j) //实例化（隐式实例化）

C++还提供了显示实例化，显示实例化可以让编译器直接创建特定的实例。其语法类型为

template void Swap<int, int>;

显示实例化在template后没有<>,而显示具体化有。显示实例化没有函数体，因为在函数模板中已经定义了。在程序中也可以使用函数体创建显示实例化。

cout<<Swap<int>(x,m)<<endl;

我的理解：
显示具体化：不使用函数模板生成定义，而是使用专门的独立函数来定义生成函数。
显示实例化: 使用函数模板生成定义，编译器在调用函数模板的时候具有高的优先级。

编译器选择什么版本的函数模板

编译器选择规则是：
- 完全匹配
- 提升转换
- 标准转换
- 用户自定义的转换
具体内容待后面再补充

c++ primer
c++primer plus