C++之类模板特化

C++之类模板特化

模板：

template<typename T1, typename T2>
class example{
public:
    example();
    ~example();
private:
    T1 data1;
    T2 data2;
    int data3;
};

template<typename T1, typename T2>
example<T1, T2>::example()
    :data1(1),
    data2(1),
    data3(1)
{
    cout << "模板实例构造完成" << endl;
}

template<typename T1, typename T2>
example<T1, T2>::~example()
{
    cout << "模板实例析构完成" << endl;
}

全特化

全特化指的是在类模板的基础上，再重新定义一个类，该类与类模板的内容完全一致，唯一的区别是指定了类模板的所有类型。
例如：

template<>     //C++语法规定，此处加template<>是为了说明正在定义一个特例化版本
class example<int, char> //此处尖括号内的内容说明模板参数为int、char
{
public:
    example();
    ~example();
private:
    int data1;
    char data2;
    int data3;
};
//由于已经指定了模板参数，所以这里不用给出模板形参
example<int, char>::example()
    :data1(2),
    data2(2),
    data3(2)
{
    cout << "构造完成全特化<int, char>的类模板实例" << endl;
}
example<int, char>::~example()
{
    cout << "析构完成全特化<int, char>的类模板实例" << endl;
}

局部特化

类模板的局部特化有两种方式，一种是指定部分模板参数；另一种是对全部的模板参数做出修饰。前者也称为偏特化。

第一种：

template<typename T1>
class example<T1, char> //这里指定第二个模板参数为char
{
public:
    example();
    ~example();
private:
    T1 data1;
    char data2;
    int data3;
};

template<typename T1> //由于只指定了第二个模板参数的类型，所以这里还有给出模板形参T1
example<T1, char>::example()
    :data1(3),
    data2(3),
    data3(3)
{
    cout << "偏特化<T1, char>实例构造完成" <<endl;
}

template<typename T1>
example<T1, char>::~example()
{
    cout << "偏特化<T1, char>实例析构完成" <<endl;
}

第二种：

template<typename T1, typename T2>
class example<T1 *, T2 *> //这里特化为两模板参数为指针版本
{           //当实例化对象时，若指定的模板参数为两指针，则会通过此来进行实例化
public:
    example();
    ~example();
private:
    T1 data1; //对于data1和data2而言，它们只关心实例化时传入指针解引用后的类型
    T2 data2;
    int data3;
    T1 * data4; //对于data4和data5而言，它们关心实例化时传入的指针
    T2 * data5;
};

template<typename T1, typename T2> //对于编译器而言
                            //模板的类型仍是未知的，所以需要给出T1、T2两个模板参数
example<T1 *, T2 *>::example()
    :data1(0),
    data2(0),
    data3(0),
    data4(&data1),
    data5(&data2)
{
    cout << "构造<T1 *, T2 *>" << endl;
}

template<typename T1, typename T2>
example<T1 *, T2 *>::~example()
{
    cout << "析构<T1 *, T2 *>" << endl;
}

下面是对上面定义的几个类的实例化：

int main()
{

    example <int, char>ex1;
    example <char, char>ex2;
    example <int , int>ex3;
    example <char, int>ex4;
    example <int *, int *>ex5;
    return 0;
}

在特化这里，无论是函数特化还是类特化，在调用或者实例化时都遵循“最特化”原则，即最特殊的那一个。