c++ primer plus笔记（6）函数模板

一、声明形式：

template<typename T1,typename T2>   //typename的老式实现为class
int funct(T1 a,T2 b)
int main()
{
   ...;
}
int funct(T1 a,T2 b)
{
   ...;                             //函数体
}

二、模板的实例化和具体化：

要说明实例化和具体化的区别，首先必须清楚模板的存在方式。

模板（template）是在编译过程中不生成可执行代码的对功能框架的描述，从某种意义上和class相似（它们都是一种产生可执行代码的方案而非代码本身）。

①实例化（instantiate）：使用模板（或类等）提供的方案确定并产生可执行代码，产生的代码被称为实例（instantiation）。

实例化有两种方式：

1>隐式实例化：

template<typename T>
int funct(T a,T b);
int main()
{
   ...;
   int a = 1;
   int b = 2;
   funct(a,b);         //隐式的产生一个模板的实例
}
int funct(T a,T a)
{
   ...;                //函数体
}

2>显式实例化：

显式实例化又有两种方法：

一种是在声明时：

template<typename T>
int funct(T a,T b);
template int funct<double>(double,doubel);   //显式的产生一个关于double类型的模板实例
int main()
{
   ...;
   double a = 1;
   double b = 2;
   funct(a,b);         //直接使用该模板之前生成的double类型实例
}
template<typename T>
int funct(T a,T b)
{
   ...;                //函数体
}

一种是在调用时：

template<typename T>
int funct(T a,T b);
int main()
{
   ...;
   double a = 1;
   double b = 2;
   funct<double>(a,b); //显式的产生一个关于double类型的模板实例
}
template<typename T>
int funct(T a,T b)
{
   ...;                //函数体
}

②具体化（specialize）：specialize本意即为特例化，意在指出某种情况下模板的特例版本。不使用模板提供的方案产生可执行代码，从而构成特例（specialization）。

template<typename T>
int funct(T a,T b);
template<> int funct<double>(double,double);  //声明一个关于double的模板特例
int main()
{
   ...;
   double a = 1;
   double b = 2;
   funct<double>(a,b);
}
template<typename T>
int funct(T a,T b)
{
   ...;                //函数体
}
template<> int funct<double>(double a,double b)
{
   ...;                //不同于原模板的函数体
}

//从概念上来说，实例化和具体化，一个是产生实例，一个是产生特例，二者都使模板方案生成可执行的实体代码。

//从写法上来说，实例化和具体化都在函数名称后使用<>来标明是哪一种实例或特例，而具体化在template后还多一对空的<>。

//实例化（显式实例化和隐式实例化）和具体化（显式具体化）被统称为具体化（specialization）。

//函数匹配时的优先度排序：非模板函数>具体化>常规模板。

三、模板匹配的优先度：

①完全匹配；

②提升转换：char, short → int；

                   int,    float → double；

③标准转换：int    → char；

                   long → double；

④用户定义的转换；