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;
}

运行结果
ex5

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

  • 2
    点赞
  • 4
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值