您现在的位置:首页 > >

C++之类模板特化

发布时间:

C++之类模板特化

模板:


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

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

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

全特化

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


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

局部特化

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


第一种:


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

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

template
example::~example()
{
cout << "偏特化实例析构完成" <}

第二种:


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

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

template
example::~example()
{
cout << "析构" << endl;
}

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


int main()
{

example ex1;
example ex2;
example ex3;
example ex4;
example ex5;
return 0;
}




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



热文推荐
猜你喜欢
友情链接: 大学学习资料 人文社科 经营营销资料 工程资料大全 IT文档 自然科学