模板偏特化 and traits机制

今天研究一下template partial specialization and traits mechanism,也就是模板偏特化 和 traits机制

实际上，所谓偏特化，就是代替编译器完成了对指定类型的特化工作，现代的模板库中，大量的使用了这个技巧。如果我们打算给模板函数（类）的某个特定类型写一个函数，就需要用到模板的偏特化

一 全特化和偏特化

全特化就是将模板类的类型限定死(比如说全部都设置成内置类型),偏特化只限定类型的一部分

//例子
#include <iostream>
using namespace std;
//模板类
template <class T1, class T2>
class Test
{
public:
    Test()
    {
        cout<<"Test<T1, T2> ctr."<<endl;
    }
};

//全特化，限定所有的类型
template <>
class Test<char, double>
{
public:
    Test()
    {
        cout<<"Test<char,int> ctr."<<endl;
    }
};
//偏特化，只限定类型的一部分
template <class T>
class Test<T,T>
{
public:
    Test()
    {
        cout<<"Test<T,T> ctr."<<endl;
    }
};

//偏特化，只限定类型的一部分
template <class T>
class Test<char,T>
{
public:
    Test()
    {
        cout<<"Test<char,T> ctr."<<endl;
    }
};

int main()
{
    Test<int, double> t0;   //调用模板类ctr
    Test<int, int> t1;      //调用偏特化ctr
    Test<char, int> t2;     //调用偏特化ctr
    Test<char, double> t3;  //调用偏特化ctr
}

结果

[root@localhost traits]# ./main 
Test<T1, T2> ctr.
Test<T,T> ctr.
Test<char,T> ctr.
Test<char,int> ctr.

但是，函数却只能全特化(或者说偏特化无效)，因为函数偏特化的功能完全可以通过函数的重载完成

这就造成下面这段代码不会走偏特化的部分

template <class T1, class T2>
void sum(T1 a, T2 b)
{
    cout<<"sum<T1, T2> ： "<<(a + b)<<endl;
}

template <>
void sum(int a, double b)
{
    cout<<"sum<int,double > ： "<<(a + b)<<endl;
}
//偏特化对函数无效
template <class T>
void sum(double a, T b)
{
    cout<<"sum<int, T> ： "<<(a + b)<<endl;
}

---

感谢以下文章的支持
http://blog.csdn.net/thefutureisour/article/details/7964682