我们先来看一下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.