STL源码剖析---deque

我们先来看一下deque的底层结构长什么样子：

 

start 指向头的迭代器(_M_start)

finish 指向尾部的下一个位置的迭代器(_M_finish)

cur 指向当前元素

first 指向当前buffer内的第一个元素

last 指向单钱buffer的最后一个元素

node 指向当前buffer的指针

map_size node的个数

由图结合源代码可知：

1.buffer的控制器是一个以二倍增长的vector，其中vector中存放的都是指针，即buffer的地址

2.比如Abuffer现在满了，我要继续向deque中插入数据，那么底层会重新开辟一个buffer，并且将新buffer的地址存放在控制器中，然后更新first迭代器指向新的buffer.

向A容器中push元素相当于是push_front，从图中的顺序是从右向左，依次填满buffer.

3.比如Bbuffer现在增加了好多元素，继续添加时需要到下一个buffer中，添加元素的顺序是从左向右的，看起来像是vector的push_back操作.

当Ebuffer都被填满时，同样会再申请一个buffer，将buffer的地址存放到控制器中，将last iterator迭代器更新指向新的buffer.

4.当控制器被放满后，会申请一个二倍大小的新控制器，将原先的控制器内容拷贝到新的控制器中，这里的拷贝不是一般的随意拷贝，而是 将原来的控制器中的内容拷贝到新的控制器的中间位置，以保证左右俩边尽可能的均匀增长。

5.实际上图上的map是个二级指针，指向控制器

C++STL声称deque是连续的空间，并且他会像连续的容器一样确实提供了[]的运算符重载函数，我们也可以看到还可以在不同的buffer（node）上跳来跳去，以及可以像普通指针一样p+n，类似这样的操作。

这一切都归功于deque强大的迭代器：

迭代器包括什么内容：四个指针

1.node                   指向的是控制器节点的指针

2.last                      

   first    first和last唯一的确定了某个buffer的边界，就是由他们的值 来决定要不要跳到前一个buffer或者下一               个buffer中

3.cur     标识当前所指向的元素

deque默认使用的迭代器是随机存取迭代器

一些常用的接口是怎么实现的：

1.insert

2.operator[]

3.front

4.back

5.operator *

6.operator++()                前置++

7.operator++(int)

8.operator--()

9.operator+=()

10.operator-=()

1.

 

2.

3.