STL读书笔记--- 迭代器概念

一。概念

1）迭代器在设计模式中成为iterator模式，其定义为：提供一种方法，使他能够按顺序遍历某个聚合体（容器）所包含的所有元素，但又不需要暴露该容器的内部表现方式。

2）迭代器是一种类似指针的对象，他的工作也主要是内容提取(dereference)和成员的访问(member access)。因此其对应的两个重载操作符工作是：operator*和operator-> 。

二。常用迭代器类型

最常用的迭代器类型包括：value type, difference type, pointer, reference, iterator catagoly.

1）value type，是指迭代器所指对象的类型。

2）difference type，用来表示两个迭代器之间的距离，也可以表示一个容器的最大值。

3）reference type，意为迭代器所指之物的内容。在C++中如果函数要传回左值，都是以by reference的方式进行的。

4）pointer type，指向迭代器所指之物。在C++中，可以实现传回一个左值，令他代表pointer所指之物的地址。

5）iterator_category，表示迭代器的相应类型。在这之前，讨论迭代起器的分类：

      a. input iterator:该迭代器所指的对象不允许被外部改变，read only。

      b. output iterator:只允许写操作，write only。

      c. forward iterator:允许“写入型”的算法在此迭代器内进行读写操作。

      d. bidirectional iterator:提供双向移动操作。

      e. random access iterator: 增加指针算术能力。例如 ptr+n, ptr[n], ptr1-ptr2, ptr1<ptr2。

三。迭代器定义源码

 

//五种迭代器类型struct input_iterator_tag {};struct output_iterator_tag {};struct forward_iterator_tag : public input_iterator_tag {};struct bidirectional_iterator_tag : public forward_iterator_tag {};struct random_access_iterator_iterator_tag : public bidirectional_iterator_tag {};//std::iterator.自定义的迭代器应当继承下面这个iteratortemplate <class Category,   class T,  class Distance = ptrdiff_t,  class Pointer = T*,  class Reference = T&>struct iterator{typedef Category  iterator_category;typedef T         value_type;typedef Distance  difference_type;typedef Pointer   pointer;typedef Reference reference;};//特性萃取，获取各个迭代器的相应类型template <class Iterator>struct iterator_traits{typedef typename Iterator::iterator_category iterator_category;typedef typename Iterator::value_type        value_type;typedef typename Iterator::difference_type   difference_type;typedef typename Iterator::pointer           pointer;typedef typename Iterator::reference         reference;};

参考资料：《STL源码剖析》华中科大出版社