STL源码剖析学习笔记

deque的迭代器

        

        deque的迭代器除了一些型别定义，主要有以下四个数据成员：

typedef T** map_pointer;

T* cur;
T* first;
T* last;
map_pointer node;

        deque的主要的数据成员：

protected:
    iterator start;
    iterator finish;
    map_iterator map;
    size_type map_size;

         可以看到deque维护了两个迭代器。迭代器的node指向连续空间map某一个元素，first和last指向某个缓冲区的起始和结束，而cur指向当前元素。deque的两个迭代器的cur有特别意义，start.cur指向第一个缓冲区的第一个元素的位置，finish.cur指向最后缓冲区的最后一个元素的位置。所以两个迭代器的first,last和node很可能完全一样（同一个缓冲区）,cur才是区分他们的根本。而迭代器其实提供给外界的假象就是它是一个连续空间，iterator的行为就像是cur的行为。所以iterator ite，在++时，只需把cur++即可；在两个迭代器相减时只需把两者的cur相减；比较两个迭代器是否相等时，只需看二者cur是否相等，当然，以上的大前提是一定要考虑是否跨缓冲区间！即迭代器默默维护的first,last,node。

        要注意的是start和finish元素增长的方向是相反的，一个是last---->first,一个是first----->last。