读书笔记_Effective_C++_条款四十七:请使用trait classes来表示类型信息
这一条款主要来讨论模板中迭代器的属性iterator_category,它可以通过类似于vector<int>::iterator::iterator_category的方式来取得。
到这里我们有必要学习一下STL迭代器的类型,总共有五种,分别是:
input_iterator:只读,只能逐个前移
output_iterator:只写,只能逐个前移
forward_iterator:可读可写,只能逐个前移
bidirectional_iterator:可读可写,支持逐个前移和后移
random_access_iterator:可读可写,支持随机访问(任意步数移动)
为了表明容器内使用的是哪一种迭代器,STL在定义迭代器会总会打个一个标记“tag”,每个tag都是一个空的结构体,对应于以上五种迭代器,tag也有五个:
struct input_iterator_tag{};
struct output_iterator_tag{};
struct forward_iterator_tag: public input_iterator_tag{};
bidirectional_iterator: public forward_iterator_tag{};
random_access_iterator: public bidirectional_iterator_tag{};
注意这五个tag之间,有些存在继承关系。
这个标记有什么用呢?STL在写vector的时候,会这样:
template class <T>
class vector
{
public:
class iterator
{
public:
typedef random_access_iterator iterator_category;
…
}
…
} 写list的时候,会这样写:
template class <T>
class list
{
public:
class iterator
{
public:
typedef bidirectional_iterator iterator_category;
…
}
…
}
既然迭代器已经由tag说明了它的类型(双向的,还是随机访问),那我们如何去利用它呢?比如现在我想要写一个迭代器前移的通用函数DoAdvance,不同迭代器类型会有不同的实现方式,所以我们可以像下面这样:
template <class T>
void DoAdvance(T Container)
{
typedef T::iterator::iterator_category IteratorCategory;
if (typeid(IteratorCategory) == typeid(input_iterator_tag))
{
cout << "Do manner in input_iterator_tag" << endl;
}
else if (typeid(IteratorCategory) == typeid(output_iterator_tag))
{
cout << "Do manner in output_iterator_tag" << endl;
}
else if (typeid(IteratorCategory) == typeid(forward_iterator_tag))
{
cout << "Do manner in forward_iterator_tag" << endl;
}
else if (typeid(IteratorCategory) == typeid(bidirectional_iterator_tag))
{
cout << "Do manner in bidirectional_iterator_tag" << endl;
}
else if (typeid(IteratorCategory) == typeid(random_access_iterator_tag))
{
cout << "Do manner in random_access_iterator_tag" << endl;
}
}
参数T是容器的类型,比如vector<int>,如果像下面这样调用:
vector<int> v;
DoAdvance(v);
那么输出是Do manner in random_access_iterator_tag,因为vector<int>的迭代器是随机访问型的,可以按随机访问类型的处理方式来去实现前移操作。typeid返回结果是名为type_info的标准库类型的对象的引用,它指明了这个对象/定义的类型。
因为这里讨论的是迭代器,所以更常见的是直接传迭代器进去,像这样:
template <class IterT>
void DoAdvance(IterT Iter)
{
typedef IterT::iterator_category IteratorCategory;
if (typeid(IteratorCategory) == typeid(input_iterator_tag))
{
cout << "Do manner in input_iterator_tag" << endl;
}
…
}
注意这里的模板参数是IterT,它表示一个迭代器的类型,比如vector<int>::iterator。这里是去主动访问iterator里面定义的属性iterator_category,我们也可以通过trait classes来访问,像下面这样:
template <class IterT>
void DoAdvance(IterT Iter)
{
if (typeid(iterator_traits<IterT>::iterator_category)
== typeid(input_iterator_tag))
{
cout << "Do manner in input_iterator_tag" << endl;
}
…
}
iterator_traits的定义如下:
template<class IterT>
struct iterator_traits<IterT>
{
typedef typename IterT::iterator_category iterator_category;
…
};
这个感觉只是简化了输入代码量而已,本质上还是去获得迭代器的tag,它有一个针对指针的偏特化版本,像下面这样:
template<class IterT>
struct iterator_traits<IterT*>
{
typedef random_access_iterator_tag iterator_category;
};
这里都是用typeid去进行类型判断的,它是在运行期才能执行,那么能不能放在编译期呢,当然可以,就是要用到函数的重载,像下面这样:
template <class IterT>
void DoAdvance(IterT Iter, input_iterator_tag)
{
cout << "Do manner in input_iterator_tag" << endl;
} template <class IterT>
void DoAdvance(IterT Iter, random_access_iterator_tag)
{
cout << "Do manner in random_access_iterator_tag" << endl;
}
像下面这样使用;
vector<int>::iterator iter;
DoAdvance(iter, iterator_traits<vector<int>::iterator>::iterator_category());
注意迭代器的tag是可以直接作为函数形参的,这样就可以在编译期决定到底执行哪一种迭代器的行为了。
条款标题的traint classes是一个广义的概念,我们之前讨论的iterator_traits只是其一部分,除以之外,还有四份迭代器相关的信息(如value_type等),TR1导入许多新的trait classes,比如is_fundamental<T>等(判断T是否是内置类型)。
最后,我们来总结一下:
1. Traits class使得类型相关信息可以在编译期可用,它们以template和template特化完成实现;
2. 整合重载技术后,traits classes有可能在编译期对类型执行if-else测试。
读书笔记_Effective_C++_条款四十七:请使用trait classes来表示类型信息的更多相关文章
- 读书笔记_Effective_C++_条款四十:明智而审慎地使用多重继承
多重继承是一种比较复杂的继承关系,它意味着如果用户想要使用这个类,那么就要对它的父类也了如指掌,所以在项目中会带来可读性的问题,一般我们都会尽量选择用单继承去替代它. 使用多重继承过程容易碰到的问题就 ...
- 读书笔记_Effective_C++_条款四十六:需要类型转换时请为模板定义非成员函数
这个条款可以看成是条款24的续集,我们先简单回顾一下条款24,它说了为什么类似于operator *这样的重载运算符要定义成非成员函数(是为了保证混合乘法2*SomeRational或者SomeRat ...
- 读书笔记_Effective_C++_条款四十五:运用成员函数模板接受所有兼容类型
比如有一个Base类和一个Derived类,像下面这样: class BaseClass {…}; class DerivedClass : public BaseClass {…}; 因为是父类与子 ...
- 读书笔记_Effective_C++_条款四十一:了解隐式接口和编译期多态
从本条款开始,就进入了全书的第七部分:模板与泛型编程.模板与泛型在C++中是非常重要的部分,还记得本书第一章时,把C++视为一个联邦,它由四个州政府组成,其中一个政府就是模板与泛型了. 本条款是一个介 ...
- 读书笔记_Effective_C++_条款四十九:了解new_handler的行为
本章开始讨论内存分配的一些用法,C/C++内存分配采用new和delete.在new申请内存时,可能会遇到的一种情况就是,内存不够了,这时候会抛出out of memory的异常.有的时候,我们希望能 ...
- 读书笔记_Effective_C++_条款四十八:了解模板元编程
作为模板部分的结束节,本条款谈到了模板元编程,元编程本质上就是将运行期的代价转移到编译期,它利用template编译生成C++源码,举下面阶乘例子: template <int N> st ...
- 读书笔记_Effective_C++_条款四十二:了解typename的双重意义
顾名思义,typename有双重含意.只要你用过template,那么第一重含意一定知道,那就是声明模板的时候,我们既可以这样写: template <class T> 也可以这样写 te ...
- 读书笔记_Effective_C++_条款三十七:绝不重新定义继承而来的缺省参数值
先看下面的例子: enum MyColor { RED, GREEN, BLUE, }; class Shape { public: ; }; class Rectangle: public Shap ...
- 读书笔记_Effective_C++_条款二十七:尽量少做转型动作
有关转型的几种做法,已经在早些的博客中写过了.这里先简单回顾一下,再讲一讲effective中对之更深入的阐述. 转型可以按风格可以分成C风格转型和C++风格转型两大类,C风格转型很容易看到,因为我们 ...
随机推荐
- Ubuntu命令--CURL用法
curl命令是个功能强大的网络工具,支持通过http.ftp等方式下载文件.上传文件.还可以用来抓取网页.网络监控等方面的开发,解决开发过程中遇到的问题. 常用参数curl命令参数很多,这里只列出我曾 ...
- 提高tomcat的并发能力
1.Apache + Tomcat 结合起来用Apache负责静态页面,Tomcat负责动态页面,同时减少connectionTimeout的时间,以应对并发量大线程回收来不及的情况. 2.压力过大的 ...
- 秀才提笔忘了字:javascript使用requestAnimationFrame实现动画
requestAnimationFrame优于setTimeout/setInterval的地方在于它是由浏览器专门为动画提供的API,在运行时浏览器会自动优化方法的调用,并且如果页面不是激活状态下的 ...
- 插件~使用ECharts动态在地图上标识点
ECharts可以很方便的在网页上绘制地图,图表,并且可以提供下载图像,放大,缩小,拖动等功能,今天主要说一下它的地图类型(type:'map')是如何实现的. 首先在ECharts地图的坐标需要我们 ...
- 《Effective STL中文版》前言
<Effective STL中文版>前言 我第一次写关于STL(Standard Template Library,标准模板库)的介绍是在1995 年,当时我在More Effec ...
- 苹果App Store审核指南中文翻译(2014.9.1更新)
转:http://www.cocoachina.com/appstore/20140901/9500.html CocoaChina对<苹果应用商店审核指南>中文翻译最近一次更新时间为20 ...
- web前端基础——补充
1 布局和事件 布局效果如下(标题和内容都居中,两边留空白) 布局代码如下 <!DOCTYPE html> <html lang="en"> <he ...
- SSE技术详解:一种全新的HTML5服务器推送事件技术
前言 一般来说,Web端即时通讯技术因受限于浏览器的设计限制,一直以来实现起来并不容易,主流的Web端即时通讯方案大致有4种:传统Ajax短轮询.Comet技术.WebSocket技术.SSE(Ser ...
- Couldn't create temporary file to work with
Ubuntu中当你编译安装软件的时候可能会出现Couldn't create temporary file to work with,原因可能是: 1.权限问题 2.根目录下没有tmp文件夹 解决办 ...
- 为什么移动Web应用很慢?
前些日子,看到Herb Sutter在自己的博客中推荐了一篇文章<Why mobile web apps are slow>,在推荐里他这样写道: “I don’t often link ...