iterator_traits 存在的作用与意义
2015-09-12 21:34
267 查看
1.关于迭代器有关类型的获取与iterator_traits:
有时候可能我们会需要知道迭代器的某些具体有关类型,如:迭代器所指对象的类型,两个迭代器之间距离的类型,迭代器解引用操作结果的类型,迭代器->操作结果的类型,以及迭代器本身的类型(单向,双向等)。因此,不同容器的迭代器都必须支持对上述迭代器有关类型的查询反馈,STL则采用内嵌类型声明的方式来实现对上述类型的返回。其中:value_type
: 迭代器所指对象类型
difference_type
:表示迭代器距离的类型
reference_type
:迭代器解引用操作结果的类型
point_type
:迭代器->操作结果的类型
iterator_category
:迭代器类型(由所支持操作决定)
假设有迭代器类型为 MyIter,YouIter,则其对上述类型获取的支持体现为:
template<class T> struct MyIter { typedef T value_type; //内嵌类型声明 typedef ptrdiff_t difference_type; //... }; template<class T> struct YouIter { typedef T value_type; typedef ptrdiff_t difference_type; //... }
此时,对与迭代器有关类型的获取(将与迭代器有关,是MyIter还是YouIter),即可通过下式完成:
template <typename T> void func(MyIter<T>& pointer) { typename MyIter<T>::value_type val = *iter; //注意此处的 typename 不可少 //.... } template <typename T> void func(YouIter<T>& pointer) { typename YouIter<T>::value_type val = *iter; //注意此处的 typename 不可少 //.... }
虽然此时能够获取迭代器的相关类型,但是必须知道迭代器(如,到底是 MyIter<T>::value_type 还是 YouIter<T>::value_type),而我们需要的是一个通用的接口IterCommon,使得对任意类型的迭代器Iter,都可以通过定义 IterCommon<Iter> 获取迭代器的相关类型。因此我们定义一个迭代器萃取机(iterator_traits),通过它,再增加一层封装,就可以对任意类型的迭代器获取到所需类型。其实现如下:
template<class Iterator> struct iterator_traits { typedef typename Iterator::value_type value_type; typedef typename Iterator::difference_type difference_type; typedef typename Iterator::reference_type reference_type; typedef typename Iterator::point_type point_type; typedef typename Iterator::iterator_category iterator_category; };
通过 iterator_traits 的封装,则对任意类型的迭代器,都可以直接获取相关类型信息,只要传递迭代器即可。而不是确切到具体迭代器。不用再次重载模板函数
template <typename Iterator> void func(Iterator iter) { iterator_traits<iter>::value_type val = *iter; }
2.iterator_traits 对内置指针的支持
我们通过在定义迭代器时要求其进行定义内嵌类型,并通过通用接口来访问这些内嵌类型,实现获取迭代器具体类型。但是原生指针(普通指针)不是类类型,无法为其定义内嵌类型,但是STL必须要接收原生指针作为一种迭代器。为了兼容原生指针,采取对 iterator_traits 的部分特化的方法来支持其相关操作,iterator_traits<T*> 可以指定此时 iterator_traits 的模板类型必须为原生指针类型。具体实现如下:
template<class T> struct iterator_traits < T* > { typedef T value_type; typedef ptrdiff_t difference_type; typedef T& reference_type; typedef T* point_type; typedef random_access_iterator_tag iterator_category; //随机访问迭代器类型 };
对指向 const 对象的原生指针,也需要进行局部特化处理,将相应类型定义为 const 类型
相关文章推荐
- codeforces 159D D. Palindrome pairs( manacher+dp )
- UVA 573 The Snail
- Linux学习之进程fork()、exec、exit()/_exit()、wait()/waitpid
- USACO 1.3 Barn Repair (快排+贪心)
- Terrain maps
- 广义表的head与tail的基本用法
- LeetCode Factorial Trailing Zeroes
- LeetCode Factorial Trailing Zeroes
- STL 中iterator_traits
- main函数和启动例程(Startup Routine)
- 深入解读Quartz的原理(job-jobDetail-Trigger-scheduler)
- rails学习笔记:维护商品信息任务A
- POJ 3411 Paid Roads
- feof 编辑 http://baike.baidu.com/link?url=9jDAPGbHghkBT0Wd_vYusfglfk8GnCUda921gIyMwheS6P-Gy-xP8Ep
- 使用行为树(Behavior Tree)实现游戏AI
- URL tailing slash
- hdu5029 Relief grain 点权树链剖分,线段树
- 【LeetCode】172. Factorial Trailing Zeroes
- Drainage Ditches---hdu1532(最大流, 模板)
- bundle update rails 报错处理