STL 源碼分析 # stl_iterator & stl_iterator_base #

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的版本,