STL 源码分析 # stl_iterator & stl_iterator_base #

最新推荐文章于 2023-07-14 14:07:32 发布

JasonLeaster

最新推荐文章于 2023-07-14 14:07:32 发布

阅读量994

点赞数

分类专栏： The C++ Language 文章标签： c++ STL

本文链接：https://blog.csdn.net/cinmyheart/article/details/44986045

版权

The C++ Language 专栏收录该内容

10 篇文章 0 订阅

订阅专栏

STL 源码分析 # stl_iterator_base && stl_iterator #

这里能很清楚的看到各个基础类型的继承关系

template <class _Tp, class _Distance> struct input_iterator {
  typedef input_iterator_tag iterator_category;
  typedef _Tp                value_type;
  typedef _Distance          difference_type;
  typedef _Tp*               pointer;
  typedef _Tp&               reference;
};

struct output_iterator {
  typedef output_iterator_tag iterator_category;
  typedef void                value_type;
  typedef void                difference_type;
  typedef void                pointer;
  typedef void                reference;
};

template <class _Tp, class _Distance> struct forward_iterator {
  typedef forward_iterator_tag iterator_category;
  typedef _Tp                  value_type;
  typedef _Distance            difference_type;
  typedef _Tp*                 pointer;
  typedef _Tp&                 reference;
};


template <class _Tp, class _Distance> struct bidirectional_iterator {
  typedef bidirectional_iterator_tag iterator_category;
  typedef _Tp                        value_type;
  typedef _Distance                  difference_type;
  typedef _Tp*                       pointer;
  typedef _Tp&                       reference;
};

template <class _Tp, class _Distance> struct random_access_iterator {
  typedef random_access_iterator_tag iterator_category;
  typedef _Tp                        value_type;
  typedef _Distance                  difference_type;
  typedef _Tp*                       pointer;
  typedef _Tp&                       reference;
};

五个类的实现中都有

iterator_category 集中迭代器策略.
value_type 所谓的value_type是指迭代器所知对象的型别.任何一个打算与ＳＴＬ完美搭配的class　都应该定义自己的value_type
difference_type 　用来表示两个迭代器之间的距离，因此他也可以用来表示一个容器的最大容量．因为对于连续空间的容器而言，头尾之间的距离就是其最大容量．如果一个泛型算法提供计数功能，例如 STL的count(),其返回值就必须是迭代器difference type
pointer 指针啦..
reference 在C++中, 函数如果要传回左值, 都是以by reference的方式进行, 所以当p是一个mutable iterators时, 如果其value_type是T, 那么*p的型别不应该是T, 而应该是T&.

五个成员.

对于迭代器的策略,又有五种:

input iterator: 这种迭代器所知的对象不允许外界改变. read only

output iterator: write only

forward iterator: 允许写入型算法在此迭代器所形成的区间上进行读写操作.

bidirectional iterator: 可双向移动的迭代器.

random access iterator: 前面四种迭代器都只供应一部分指针运算能力(前三种只支持++, 第四种开始支持--,). 这里第五种random access iterator支持所有指针算术能力. p +n, p -n, p[n], p1- p2, p1 < p2

这里你能看到__advance 函数被各种重载. 五种迭代器里面, 四种都有相应的版本, 但是就是没有对于forward iterator的版本,