C++ Template Specialization (模板特化)
个人理解这个东西说白了就是当模板类(或函数)的类型参数为某特定值时用对应的特化定义代之。
看个例子吧
#include <iostream> using namespace std; template<typename T>
struct is_void {
static const bool value = false;
}; /* 上面的代码定义了一个简单的模板结构is_void的主版本,无论类型参数T是何值,
* 结构体的静态常量成员value的值都是false,这当然是无意义的,我们需要当且
* 仅当类型参数T为void时,value成员的值为true,于是我们定义下面的特化版本
*/ template<>
struct is_void<void> {
static const bool value = true;
}; /* 这里定义了一个is_void结构体的特化版本,将类型参数T固定为void,此时value
* 成员的值被设定为true
*/ int main(int argc, char* argv[]) {
cout << is_void<void>::value << endl;
cout << is_void<int>::value << endl;
cout << is_void<bool>::value << endl;
return ;
}
这段代码输出为:
1
0
0
以上代码中,当is_void结构体的模板类型参数T被指定时,编译器将检查该结构体的主版本及所有特化版本,如果类型参数与某一特化版本匹配,则该特化版本将被调用,如果没有匹配的特化版本,则调用主版本。也就是说如果T的实参为void,与我们定义的特化版本的参数一至,则此特化版本的定义被应用,如果T不是void则按主版本的定义展开。
上面的例子属于全特化(full-specialisation),也就是所有的类型参数都被确定为实际类型,但有时我们可以需要对参数进行部分而不是完全的限定,这便是偏特化(partial template-class specialisation)。
看下面的例子
template<typename T>
struct is_pointer {
static const bool value = false;
}; template<typename T>
struct is_pointer<T*> {
static const bool value = true;
};
这个例子中我们试图判断模板参数T是否是指针类型,如果是则value成员设为true,如果不是则置为false。然而无论T是不是指针都不可能被一一列举,也就是我们不能像第一个例子一样对诸如void*, int*, long*, char* .... 等等等等一一特化,这工作量太吓人了,我要需要一种方式来将指针的情况一次性特化,这就是例子中应用的方式:偏特化。偏特化的写法我想不难理解,但注意两个版本中的T是不一样的,我们可以把特化版本的T换成T2是没有问题的,这时对于is_pointer<int*>来讲,T代表int*,而T2代表的只是int,大家可以揣摩一下。这也就间接说明了主版本和特化版本允许不同个数的模板参数的原因。
再来一个怪异一点的例子
template <typename T>
struct remove_bounds {
typedef T type;
}; template <typename T, size_t N>
struct remove_bounds<T[N]> {
typedef T type;
}; remove_bounds<int>::type a;
remove_bounds<int[]>::type b;
remove_bounds<int[][]>::type c;
remove_bounds也就是将一个数组类型的[n]去掉即得到其基础类型,如果是非数组类型则返回原类型。于是上面的例子中,a是个int类型的变量,而b也是int类型,c有点怪,它不是int[5]类型,而是int[6]类型。这个例子也说明一个问题,特化版本与主版本的类型参数不一定一样,但typename修饰的类型参数个数是一致的。
C++ Template Specialization (模板特化)的更多相关文章
- C++ template —— 模板特化(五)
本篇讲解模板特化-------------------------------------------------------------------------------------------- ...
- C++-函数模板特化如何避免重复定义
我正在用一个基于模板的库源代码,该库包含一些针对特定类型的模板函数特化.类模板,函数模板和模板函数特化都在头文件中.我在我的.cpp文件中 #include 头文件并编译链接工程.但是为了在整个工程 ...
- C++模板之隐式实例化、显示实例化、隐式调用、显示调用和模板特化详解
模板的实例化指函数模板(类模板)生成模板函数(模板类)的过程.对于函数模板而言,模板实例化之后,会生成一个真正的函数.而类模板经过实例化之后,只是完成了类的定义,模板类的成员函数需要到调用时才会被初始 ...
- C++ Primer 学习笔记_84_模板与泛型编程 --模板特化
模板与泛型编程 --模板特化 引言: 我们并不总是能够写出对全部可能被实例化的类型都最合适的模板.某些情况下,通用模板定义对于某个类型可能是全然错误的,通用模板定义或许不能编译或者做错误的事情;另外一 ...
- C++ Primer 学习笔记_85_模板与泛型编程 --模板特化[续]
模板与泛型编程 --模板特化[续] 三.特化成员而不特化类 除了特化整个模板之外,还能够仅仅特化push和pop成员.我们将特化push成员以复制字符数组,而且特化pop成员以释放该副本使用的内存: ...
- C++程序设计方法4:模板特化
模板参数的具体化/特殊化 有时,有些类型不适用,则需要对模板进行特殊化处理,这称为“模板特化” 对函数模板,如果有多个模板参数,则特化时必须提供所有参数的特例类型,不能部分特化: 如: char *s ...
- C++ template —— 深入模板基础(二)
上一篇C++ template —— 模板基础(一)讲解了有关C++模板的大多数概念,日常C++程序设计中所遇到的很多问题,都可以从这部分教程得到解答.本篇中我们深入语言特性.------------ ...
- C++ 模板特化以及Typelist的相关理解
近日,在学习的过程中第一次接触到了Typelist的相关内容,比如Loki库有一本Modern C++ design的一本书,大概JD搜了一波没有译本,英文版600多R,瞬间从价值上看到了这本书的价值 ...
- 转:C++模板特化的概念
http://blog.csdn.net/yesterday_record/article/details/7304025 很久没有看C++,在看STL源码剖析时,看到一个function templ ...
随机推荐
- supervisor 部署文档
supervisor 部署文档 supervisor 需要Python支持,如果不用系统的supervisor,单独安装python python 安装 #依赖 yum install python- ...
- IntentFilter
当Intent在组件间传递时,组件如果想告知Android系统自己能够响应和处理哪些Intent,那么就需要用到IntentFilter对象. 顾名思义,IntentFilter对象负责过滤掉组件无法 ...
- 9.6noip模拟试题
题目名称 盘子序列 四轮车 点名 提交文件 disk.pas/c/cpp car.pas/c/cpp rollcall.pas/c/cpp 输入文件 disk.in car.in rollcall.i ...
- DataSet离线数据集实例
using System; using System.Collections.Generic; using System.Linq; using System.Text; using System.W ...
- Ajax 如何提交集合到mvc后台
1,前端请求如下 var apply = { CompanyName: $("[name='corpName']").val(), ContactUser: $("[na ...
- cenos6.5 64位下PHP远程连接sql server2008成功案例
准备工作: 1.sql server2008服务器(开放远程端口,默认为1433,我用的是192.168.1.129) 2.安装好php的centos服务器 步骤: 1.php安装mssql扩展.ce ...
- 生成package.json和bower.json
1.安装nodejs 2.安装bower工具 cmd:npm bower install 3.生成package.json cmd:npm init 4.生成bower.json cmd:bow ...
- CXF处理Date类型的俩种方式
1. CXF利用wsdl2java生成客户端时Date日期类型转换 http://cwfmaker.iteye.com/blog/1142835 2. GregorianCalendar cal = ...
- Rechability的简单使用
AppDelegate.m #import "AppDelegate.h" #import "Reachability.h" @interface AppDel ...
- windows phone使用sharpcompress进行解压压缩文件
在做移动端时,当我们需要从服务器获得多个文件时,为了节约流量,服务器一般会返回一个压缩包,那我们就是下载完成后,在手机中进行解压到指定位置 SharpCompress就是可以在手机中进行解压一个类库( ...