【C++ STL】deque

deque

1 deque的介绍

vector是单向开口的连续线性空间，deque是一种双向开口的连续线性空间。双向开口就是说deque支持从头尾两端进行元素的插入和删除操作相比于vector的扩容空间的方式，deque实际上更加贴切的实现了动态空间的概念。deque没有容量的概念，因为它是动态以分段连续空间组合而成，随时可以增加一段新的空间并连接起来。由于要维护这种整体连续的假象，并提供随机存取的接口，也就是说提供random access iterator，避开重新配置，复制，释放的轮回，代价是复杂的迭代器结构。也就是说如果非必要的话，我们尽量使用vector。vector和list在随机访问和插入删除的方面各有优劣，为均衡二者的特性，STL设计了一种容器叫做双端队列 deque。

双端队列deque是一种双端的、“连续”空间的数据结构。双端表示可以在头尾两端进行插入和删除，且时间复杂度为O(1)。

增删接口	解释
void push_back (const value_type& val)	尾插
void push_front (const value_type& val)	头插
void pop_back()	尾删
void pop_front()	头删
访问接口	解释
reference operator[] (size_type n)	随机访问
reference front()	头部元素
reference back()	尾部元素

2 deque的原理

deque 容器存储数据的空间是由一段一段等长的连续空间构成，各段空间之间并不一定是连续的，可以位于在内存的不同区域。

是由一个中控指针数组保存每个用来存储数据的小连续空间buffer的地址。类似于一个动态的二维数组，如下图所示：

从中控数组的中部开始使用，头插使用前面的buffer，尾插使用后面的buffer。头插就向前开辟，尾插就向后开辟。

• 头部操作无需挪动数据，头插头删效率高。
• 扩容只开辟buffer，空间浪费少。
• 中控数组扩容只拷贝指针，扩容代价低。
• 先计算所在buffer再计算buffer内位置，可以支持随机访问。

采用一块所谓的map作为主控，这里的map实际上是一块大小连续的空间，其中每一个元素我们称之为节点node，都指向了另一段连续线性空间，成为缓冲区，缓冲期才是deque的真正存储空间主体。通过建立 map 数组，deque 容器申请的这些分段的连续空间就能实现“整体连续”的效果。换句话说，当deque 容器需要在头部或尾部增加存储空间时，它会申请一段新的连续空间，同时在 map 数组的开头或结尾添加指向该空间的指针，由此该空间就串接到了 deque 容器的头部或尾部

如果单个buffer大小不固定，则需要迭代器支持随机访问，效率变低。

deque的迭代器有四个指针：

• cur指向buffer当前数据位置
• first指向buffer起始位置
• last指向buffer结束位置
• node反向指向本buffer在中控数组的位置

deque另外一个关键的就是它的iterator设计。deque中的iterator有四个部分，cur指向缓冲区现行元素。First指向缓冲区的头，last指向缓出去的尾（有时会包含备用空间），node指向管控中心。所以总结来说，deque数据结构中包含了指向第一个节点的iterator star和指向最后一个节点的iterator finist，一块儿连续空间作为主控map，也需要记住map的大小，已备判断何时配置更大的map。

问：如果 map 数组满了怎么办？

答：再申请一块更大的连续空间供 map 数组使用，将原有数据（很多指针）拷贝到新的 map 数组中，然后释放旧的空间。

3 deque的优劣

vector的缺点	deque
扩容消耗高，空间浪费，头插头删效率低	扩容消耗低，空间浪费不严重，头插头删效率高
vector的优点	deque
支持随机访问，连续空间缓存命中率高	支持伪随机访问，连续空间缓存命中率较高
list的缺点	deque
按需申请释放，不支持随机访问	申请次数少，支持伪随机访问
list的优点	deque
任意位置的插入删除效率高，按需申请不存在浪费	头尾插入删除效率高，空间浪费不严重

• vector是单向开口的连续区间，deque是双向开口的连续区间（可以在头尾两端进行插入和删除操作）
• deque没有提供空间保留功能，也就是没有capacity这个概念，而vector提供了空间保留功能。即vector有capacity和reserve函数，deque 和 list一样，没有这两个函数。

deque是在功能上合并了vector和list。

优点：

1. 随机访问方便，即支持[ ]操作符和vector.at()
2. 在内部方便的进行插入和删除操作
3. 可在两端进行push、pop

缺点：

1. ​ 占用内存多

deque颇具局限性，仅作了解。