【转】模板的全特化与偏特化

 

　　模板为什么要特化，因为编译器认为，对于特定的类型，如果你能对某一功能更好地实现，那么就该听你的。

　　模板分为类模板与函数模板，特化分为全特化与偏特化。全特化就是限定死模板实现的具体类型，偏特化就是如果这个模板有多个类型，那么只限定其中的一部分。

 

先看类模板：

#include <iostream>
using namespace std;

template<class T1, class T2> class Test
{
public:
    Test(T1 i, T2 j) :a(i), b(j) { cout << "类模板" << endl; }
private:
    T1 a;
    T2 b;
};

template<> class Test<int, char>
{
public:
    Test(int i, char j) :a(i), b(j) { cout << "全特化" << endl; }
private:
    int a;
    char b;
};

template<class T2> class Test<char, T2>
{
public:
    Test(char i, T2 j) :a(i), b(j) { cout << "偏特化" << endl; }
private:
    char a;
    T2 b;
};


int main()
{
    Test<double, double> t1(1.4, 2.3);    //这是类模板
    Test<int, char> t2(5, 'A');    //这是全特化
    Test<char, float> t3('B', 3.1);    //这是偏特化

    return 0;
}

　　请注意，必须要先有类模板，才能定义类模板的全特化和偏特化。

而对于函数模板，却只有全特化，不能偏特化：

//模板函数
template<typename T1, typename T2>
void fun(T1 a, T2 b)
{
    cout << "模板函数" << endl;
}

//全特化
template<>
void fun<int, char >(int a, char b)
{
    cout << "全特化" << endl;
}

//函数不存在偏特化：下面的代码是错误的
//提示非法使用显示模板参数
/*
template<typename T2>
void fun<char,T2>(char a, T2 b)
{
cout<<"偏特化"<<endl;
}
*/

int main()
{
    fun(1, 3.14);    //函数模板
    fun(2, 'B');    //函数模板的全特化

    return 0;
}

　　至于为什么函数不能偏特化，似乎不是因为语言实现不了，而是因为偏特化的功能可以通过函数的重载完成。

 

为什么需要使用模板的特化呢？

　　因为有时需要对某些类型进行特别处理，不然会出错。

例如：

#include <iostream>
using namespace std;
//函数模板
template<class T>
bool IsEqual(T t1, T t2) {
    return t1 == t2;
}

template<> //函数模板特化
bool IsEqual(char *t1, char *t2) {
    return strcmp(t1, t2) == 0;    //因为不能像函数模板一样使用"=="来判断两个字符串是否相等，所以需要特化
}

//类模板
template<class T>
class compare {
public:
    bool IsEqual(T t1, T t2) {
        return t1 == t2;
    }
};

//类模板的特化
template<>
class compare<char*> {
public:
    bool IsEqual(char *t1, char *t2) {
        return strcmp(t1, t2) == 0;    //因为不能像类模板中一样使用"=="来判断两个字符串是否相等，所以需要特化
    }
};
int main()
{
    char str1[] = "abc";
    char str2[] = "abc";
    cout << "函数模板和函数模板特化" << endl;
    cout << IsEqual(1, 1) << endl;
    cout << IsEqual(str1, str2) << endl;
    compare<int> c1;
    compare<char*> c2;
    cout << "类模板和类模板特化" << endl;
    cout << c1.IsEqual(1, 1) << endl;
    cout << c2.IsEqual(str1, str2) << endl;
    getchar();
    return 0;
}

 

转自：

　　1、http://blog.csdn.net/thefutureisour/article/details/7964682/

　　2、http://blog.csdn.net/zhuimengzh/article/details/6838886