[C++基础]034_C++模板编程里的主版本模板类、全特化、偏特化（C++ Type Traits）

http://www.cnblogs.com/alephsoul-alephsoul/archive/2012/10/18/2728753.html

1. 主版本模板类

首先我们来看一段初学者都能看懂，应用了模板的程序：

 1 #include <iostream>
 2 using namespace std;
 3
 4 template<class T1, class T2>
 5 class A{
 6 public:
 7     void function(T1 value1, T2 value2){
 8         cout<<"value1 = "<<value1<<endl;
 9         cout<<"value2 = "<<value2<<endl;
10     }
11 };
12 int main(){
13     A<int, char> a;
14     a.function(12, 'b');
15
16     system("pause");
17     return 0;
18 }

程序很简单，一个模板类A，它有一个打印两个参数的函数。我们在main函数里创建了以int，char为类型的类A的对象，调用函数后，得到了我们要的结果：

value1 = 12
value2 = b
请按任意键继续. . .

上面的模板类A，我们通常称作是主版本模板类，它的主要特点是：模板类中所有的类型都是模板类型。

2. 全特化

首先我们需要了解一个概念，什么叫特化。特化其实就是特殊化的意思，在模板类里，所有的类型都是模板（template<class T>），而一旦我们将所有的模板类型T都明确化，并且写了一个类名与主模板类名相同的类，那么这个类就叫做全特化类。下面的代码就是全特化的一个演示：

 1 #include <iostream>
 2 using namespace std;
 3
 4 template<class T1, class T2>
 5 class A{
 6 public:
 7     void function(T1 value1, T2 value2){
 8         cout<<"value1 = "<<value1<<endl;
 9         cout<<"value2 = "<<value2<<endl;
10     }
11 };
12
13 template<>
14 class A<int, double>{ // 类型明确化，是个全特化类
15     public:
16     void function(int value1, double value2){
17         cout<<"int value1 = "<<value1<<endl;
18         cout<<"double value2 = "<<value2<<endl;
19     }
20 };
21
22 int main(){
23     A<int, double> a;
24     a.function(12, 12.21);
25
26     system("pause");
27     return 0;
28 }

上面代码中着色的部分就是经过全特化的类A，可以看到主版本模板类中的T1和T2已经全部明确化为int和double。接着在main里用“A<int, double> a;”实例化对象时，程序会去调用这个全特化的类。一个类被称为全特化类的条件：1.必须有一个主模板类 2.模板类型被全部明确化。

3. 偏特化

上面对主版本模板类和全特化类进行了定义，那么偏特化就是介于二者之间的模板类，它的类名与主版本模板类相同，但是它的模板类型中，有被明确化的部分和没有被明确化的部分。下面就是一段偏特化的演示代码：

 1 #include <iostream>
 2 using namespace std;
 3
 4 template<class T1, class T2>
 5 class A{
 6 public:
 7     void function(T1 value1, T2 value2){
 8         cout<<"value1 = "<<value1<<endl;
 9         cout<<"value2 = "<<value2<<endl;
10     }
11 };
12
13 template<class T>
14 class A<int, T>{ // 类型部分明确化，是个偏特化类
15 public:
16     void function(int value1, T value2){
17         cout<<"int value1 = "<<value1<<endl;
18         cout<<"double value2 = "<<value2<<endl;
19     }
20 };
21
22 int main(){
23     A<int, char> a;
24     a.function(12, 'a');
25
26     system("pause");
27     return 0;
28 }

上面代码着色部分就是一个偏特化的模板类，可以看到主版本模板类中的T1和T2中的T1被明确化为int。接着在main里用“A<int, char> a;”实例化对象时，程序会去调用这个偏特化的。一个类被称为偏特化类的条件：1.必须有一个主模板类 2.模板类型被部分明确化。

4. 模板类调用优先级

对主版本模板类、全特化类、偏特化类的调用优先级从高到低进行排序是：全特化类>偏特化类>主版本模板类。这样的优先级顺序对性能也是最好的。

5. 其他特化类型

在特化的时候，我们将主版本模板类中的模板类型进行特化，按照特化为的类型，我们可以进行一下分类：

①．绝对类型特化

②．引用/指针类型特化

③．转化为另外一个类模板

下面我们来一个一个研究一下这三种特化：

①．绝对类型特化

所谓绝对类型特化，就是将模板类型T特化为制定的普通数据类型或自定义数据类型。代码如下：

 1 class MyType{ // 自定义类型
 2 public:
 3     char ch;
 4     MyType(char _ch):ch(_ch){}
 5 };
 6
 7 template<class T1, class T2>
 8 class A{
 9 public:
10     void function(T1 value1, T2 value2){
11         cout<<"value1 = "<<value1<<endl;
12         cout<<"value2 = "<<value2<<endl;
13     }
14 };
15
16 template<>
17 class A<int, MyType>{ //绝对类型特化，两个模板类型被特化为一个普通类型和一个自定义的数据类型
18 public:
19     void function(int value1, MyType value2){
20         cout<<"int value1 = "<<value1<<endl;
21         cout<<"double value2 = "<<value2.ch<<endl;
22     }
23 };

②．引用/指针类型特化

 1 template<class T1, class T2>
 2 class A{
 3 public:
 4     void function(T1 value1, T2 value2){
 5         cout<<"value1 = "<<value1<<endl;
 6         cout<<"value2 = "<<value2<<endl;
 7     }
 8 };
 9
10 template<class T1, class T2>
11 class A<T1*, T2*>{ // 指针类型特化
12 public:
13     void function(T1* pValue1, T2* pValue2){
14         cout<<"int value1 = "<<*pValue1<<endl;
15         cout<<"double value2 = "<<*pValue2<<endl;
16     }
17 };
18
19 template<class T1, class T2>
20 class A<T1&, T2&>{ // 引用类型特化
21 public:
22     void function(T1& pValue1, T2& pValue2){
23         cout<<"int value1 = "<<pValue1<<endl;
24         cout<<"double value2 = "<<pValue2<<endl;
25     }
26 };

③．转化为另外一个类模板

 1 template<class T>
 2 class Number{
 3 public:
 4     T value;
 5     Number(T v):value(v){}
 6 };
 7
 8 template<class T1, class T2>
 9 class A{
10 public:
11     void function(T1 value1, T2 value2){
12         cout<<"value1 = "<<value1<<endl;
13         cout<<"value2 = "<<value2<<endl;
14     }
15 };
16
17 template<class T1, class T2>
18 class A<Number<T1>, Number<T2>>{ // 模板类型变成另外一个模板类
19 public:
20     void function(Number<T1> n1, Number<T2> n2){
21         cout<<"int value1 = "<<n1.value<<endl;
22         cout<<"double value2 = "<<n2.value<<endl;
23     }
24 };

6. 结语

当然，本文只是粗浅的让读者理解什么是模板的特化，就深度而言，本文也只是触及皮毛，模板的精妙技巧本文并未涉及，敬请期待。

[C++基础]034_C++模板编程里的主版本模板类、全特化、偏特化（C++ Type Traits）相关推荐

模板泛化全特化偏特化
template<>出现,就表示要特化了为什么要特化呢?泛化不就是为了解决数据类型不一致吗? 泛化是通用,特化是优化,缺一不可特化,又被成为全特化 full-specializatio ...
操作符重载and模板(泛化, 全特化, 偏特化)
模板 Header(头文件)中的防卫式声明.布局 // complex.h// guard 防卫式声明 #ifndef __COMPLEX__ #define __COMPLEX__// 0.forw ...
C++模板编程（16）---继承与类模板（Derivation and Class Templates）
Class Templates 可以继承其他classes,也可以被其他classes继承.大多数情况下 class templates 和 non-templates classes 在这方面并没有 ...
图片拼图微信小程序源码下载支持多模板制作和流量主
该款小程序支持多种流量主另外支持多种图形模板制作切割另外也支持长图合成等功能安装简单,新手容易上手,具体就不多说了大家自行研究吧! 好了下面来看看小编的测试演示图! 小程序下载地址:(10条消息 ...
C++ 模板偏特化－来自STL的思考
之前学习STL时接触过一段时间的模板,模板是C++泛型编程编程的基础 STL从头到尾都是模板泛型编程,我觉得用的最巧妙的就是在traits萃取技巧时用到的模板偏特化先简要回顾一下模板吧,模板主要分为 ...
C++ 模板特化与偏特化
文章目录 1.模板特化 1.1 概述 1.2 函数模板特化 1.3 类模板特化 2.模板偏特化 2.1 概述 2.2 函数模板偏特化 2.3 类模板偏特化 3.模板类调用优先级参考文献 1.模板特化 ...
（函数/类模板）的（偏特化/全特化）
特化的概念特化,就是将泛型的东东搞得"具体化"一些,从字面上来解释,就是为已有的模板参数进行一些使其特殊化的指定,使得以前不受任何约束的模板参数,或受到特定的修饰或完全被指定了下 ...
C++ 模板全特化与偏特化
C++ 模板全特化与偏特化模板模板定义:模板就是实现代码重用机制的一种工具,它可以实现类型参数化,即把类型定义为参数, 从而实现了真正的代码可重用性.模版可以分为两类,一个是函数模版,另外一个是 ...
C++模板的全特化和偏特化
C++模板的全特化与偏特化全特化偏特化例子总结全特化全特化一般用于处理有特殊要求的类或者函数,此时依靠泛型模板无法处理这种情况.,因此全特化可以运用在类模板和函数模板当中.其模板参数列表为 ...

[C++基础]034_C++模板编程里的主版本模板类、全特化、偏特化（C++ Type Traits）

[C++基础]034_C++模板编程里的主版本模板类、全特化、偏特化（C++ Type Traits）相关推荐

最新文章

热门文章