模板的特化与偏特化

模板的特化与偏特化
最近在学习媒体服务器的源码时, 由于要将其底层改写为模板实现, 才看到模板的偏特化, 惭愧ing...
基本总结如下:

为了需要,针对特定的类型,需要对模板进行特化,也就是特殊处理, 是为模板的特化.
template <class T>
class A {};
template < >
class A<bool> { //…// };
上述定义中template < >告诉编译器这是一个特化的模板。

模板的特化在VC6下不行(不支持), VC7可以.
如以下求指数的代码(将运算在编译期完成, 执行期的速度大大加快, 适用于编译一次, 运行N次, 且对运行期的速度要求很高的场合):
template<int Base, int Exponent>
class XY
{
public:
 enum { result_ = Base * XY<Base, Exponent - 1>::result_ };
};

template<int Base>
class XY<Base, 0>
{
public:
 enum { result_ = 1 };
};
 
模板的偏特化是指需要根据模板的某些但不是全部的参数进行特化.
严格的来说，函数模板并不支持偏特化，但由于可以对函数进行重载，所以可以达到类似于类模板偏特化的效果。

模板函数可以允许在根据一个特定的数据类型定制其函数产生代码，这也就是所谓的偏特化(partial specialization)，当编译器找到与函数调用匹配的偏特化定义的时候，编译器会优先使用该定义，而不再寻找模板定义。
模板函数可以有进行如下的偏特化定义：
template<> functionname<int>(int &t1 , int &t2){...} 或者
template functionname<int>(int &t1 , int &t2){...}   或者
template functionname(int &t1 , int &t2){...}
这三种定义是等同的.
这些声明的意思是：不要使用functionname函数模板来生成一个函数定义，而应该使用独立的、专门的函数定义显示的为数据类型int生成函数定义.

至于函数的选择原则, 可以看看C++ Primer中的说明.
    I、 创建候选函数列表，其中包含与被调用函数名字相同的函数和模板函数。
    II、使用候选函数列表创建可行的函数列表。这些都是参数数目正确的函数，并且有一个隐式的转换序列（参数类型转化），其中包括实参类型与相应的形参类型完全匹配情况。
    III、确定是否有最佳的可行函数，有则调用它，没有则报错。
    可行函数的最佳性，主要是判断使用函数的参数与可行性函数的参数的转换规则进行判断，从最佳到最差的顺序如下所示：
    i、完全匹配，但常规函数优先于显示定义模板函数，而显示定义模板函数优先于模板函数。
    ii、提升转换，即从小精度数据转换为高精度数据类型，如char/short 转换为int ， int转化为long，float转换为double。
    iii、标准转换，如int转化为char，long转化为double等
    iiii、用户自定义转换。