C++ Primer 之函数模板

函数模板是通用的函数描述，经过将类型做为参数传递给模板，使编译器生成可用具体的类型的函数。相似于：

template<class Any>
void swap(Any &a, Any &b);

对于不一样类型使用同一种算法，可以使用模板，有时须要像重载常规函数那样去重载函数模板。

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

假设：

struct job
{ 
char name[10];
int floor;
};

假设咱们但愿交换两个job结构的内容，直接互换job便可，但有时候咱们只想交换name，不交换floor，但函数的参数列表是同样的，没法使用模板重载来提提供其余的代码，此时须要涉及到具体化函数的定义，即指定某个函数定义，再也不匹配模板。 ###实例化和具体化 在代码中包模板自己不会生成函数定义，编译器会根据具体参数类型生成模板的具体实例，这种叫隐式实例化。现在C++容许显示实例化，意味着直接命令编辑器建立特定的实例，语法是在函数声明前加template：

template void swap<int>(int &, int &）；

此外还能够显示具体化(一下两者等价)

template <> void swap<int>(int &, int &）； 
template <> void swap(int &a, int &b);

隐式实例化，显示实例化和具体实例化统称具体化，都表示使用具体的函数定义，而不是通用描述。再声明中使用前缀template和template<>来区分显示实例化和具体化。显示具体化必须有本身的定义，实例化不须要有本身的定义。 警告：试图在同一个编程单元中使用同一类型的显示实例和显示具体化将出错。 #具体化函数将覆盖常规函数，而非模板函数将覆盖具体化和常规模板！

###编译器的选择 编译器一般会对参数进行所须要的转换，选择是从最佳到最差的顺序以下：

1. 彻底匹配，但常规函数优于模板。(两个彻底匹配的模板，较具体的优先，显示具体化优于隐式)
2. 提高转换(例如：char和shorts转int，floor自动转double)
3. 标准转换(例如： int转char）
4. 用户自定义转换

template <class Type> void f(Type T);   //#1
template <class Type> void f(Type *T);  //#2
struct blot {int a, char b[10];};
blot link = {25, "sport");
f(&link);

f(&link)与#1，#2都匹配，具体参照彻底匹配，可是#2更具体，#1还须要将转换为指针，由于参数不须要再转换已经具体化为指针了。 ###彻底匹配容许的可有可无转换