首页 > 代码库 > 模板类的全特化、偏特化
模板类的全特化、偏特化
我们先来定义一个普通的模板类
1 template<class T> 2 struct Test 3 { 4 Test(){ cout << "模板类" << endl; } 5 };
我们再来调用一下:
1 int main() 2 { 3 Test<char> t1; 4 Test<int> t2; 5 Test<int *> t3; 6 return 0; 7 }
输出的结果1:
模板类
模板类
模板类
如果我们这样写,再增加一个模板类
1 template<class T> 2 struct Test 3 { 4 Test(){ cout << "模板类" << endl; } 5 }; 6 7 template<> 8 struct Test<int> 9 { 10 Test(){ cout << "全特化" << endl; } 11 };
再来调用一下,调用代码同上!
输出的结果2:
模板类
全特化
模板类
其中template<>开头的模板类就是全特化的模板类,根据全特化模板的定义就知道,全特化的时候没有类型参数,即template<(这里是空)>。由于全特化版本的模板类与Test<int> t2;调用时更接近,所以会用这个模板来实例化一个类。
那什么是偏特化模板类,先看如下定义:
1 template<class T> 2 struct Test 3 { 4 Test(){ cout << "模板类" << endl; } 5 }; 6 7 template<> 8 struct Test<int> 9 { 10 Test(){ cout << "全特化" << endl; } 11 }; 12 13 template<class T> 14 struct Test<T*> 15 { 16 Test(){ cout << "偏特化" << endl;} 17 };
再次调用,输出结果3:
模板类
全特化
偏特化
我们看一下,第三个模板类的定义,会发现它很特别,它既有类型参数。但又需要对其进行特化(这里是特化成指针类型),当你给的是指针类型的时候,会调用这个模板,而不是普通模板。这就是部分特化,也称偏特化。有的人可能会想到,我这样写不也行么:
template<class T*> struct Test { Test(){ cout << "型别是指针!" << endl;} };
对不起,这段代码通过不了编译!所以必须要用到偏特化!当然,我上面写的是偏特化的一种,当这样的时候也是偏特化:
template<class T> struct Test<int,T> { }
这个偏特化的例子中,一个参数被绑定到int类型,而另一个参数仍未绑定需要由用户指定。这也是偏特化。而且更好理解!
声明:以上内容来自用户投稿及互联网公开渠道收集整理发布,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任,若内容有误或涉及侵权可进行投诉: 投诉/举报 工作人员会在5个工作日内联系你,一经查实,本站将立刻删除涉嫌侵权内容。