sgi stl 迭代器的设计

设计模式之iterator模式：提供一种方法使之能够遍历聚合物、容器的各个元素而无需显露聚合物的细节

STL迭代器设计意义：将算法与容器分开，以迭代器进行连接

例如STL中查找算法，传递正是迭代器与查找元素，其能对不同容器进行查找。

template <class InputIterator, class T>
InputIterator find(InputIterator first, InputIterator last, const T& value) {
  while (first != last && *first != value) ++first;
  return first;
}

迭代器的使用上，它被视为容器的指针，提供指针访问元素的众多操作符，这里的元素是指容器的元素。

operator--, operator++：其操作意味着迭代器所指位置的移动；

operator* ：是解引用而获得迭代器所指元素，从迭代器获得元素；

如list的迭代器解引用，其中返回链表元素值而不是链表节点

reference operator*() const { return (*node).data; }

operator->： 返回迭代器所指元素的指针，这是针对迭代器所指元素为类类型的情况

pointer operator->() const { return &(operator*()); }  // 或
pointer operator->() const { return &(**this); }

例如

struct item
{
     item(int i) : i(i) {}
     int i;
};
vector<item> v;
v.push_back(item(0));
vector<item>::iterator it = v.begin();
cout<<(*it).i<<endl;
cout<<it->i<<endl;

1 迭代器的相关类型(associated)

value_type： 迭代器所指类型，就是容器元素类型

difference_type：迭代器之间距离，一般是ptrdiff_t

reference：左值类型，意味着可以改变的值，迭代器所指引用

pointer：所指之物的地址，指针本身不能被改变，但是所指能被改变

iterator_category：迭代器类型：

迭代器类型的关系如下

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_tag : public bidirectional_iterator_tag {};

迭代器的标准写法：应该继承其

template <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;
};

注意其最后三个元素是默认的，所以只需指出前俩个参数

ref：STL源代码剖析