STL — Deque容器

1、deque容器基本概念

vector容器是单向开口的连续内存空间，deque则是一种双向开口的连续线性空间。所谓的双向开口，意思是可以在头尾两端分别做元素的插入和删除，当然，vector容器也可以在头尾两端插入元素，但是在其头部操作效率奇差(单向开口，需要移动数据)，无法北接受。

Deque容器和vector容器最大的差异，一在于deque允许使用常数项时间对头端进行元素的插入和删除。二在于deque没有容量的概念，因为它是动态的以分段连续空间组合而成的，随时可以增加一段新的空间并链接起来，换句话说，“像vector那样，旧空间不足而重新分配一块更大的空间，然后复制元素，再释放旧空间“。这样的事情不会在deque身上发生。也因此，deque没有必要提供所谓的空间保留(reserve)功能。

虽然deque容器也提供了Random Access Iterator，但是它的迭代器并不是普通的指针，其复杂度和vector不是一个量级，这当然影响各个运算的层面。因此，除非有必要，我们应该尽可能的使用vector，而不是deque。对deque进行排序操作，为了最高效率，可将deque先完整的复制到一个vector中，对vector容器进行排序，在复制会deque。

2、deque容器实现原理

deque容器事连续的空间，至少逻辑上看来如此，连续现行空间总是令我们联想到array和vector，array无法增长，vector虽可增长，却只能向尾端增长，而且其增长其实是一个假象，事实上是(1)、请更大的空间(2)、原数据复制到新空间(3)、释放原空间。如果不是vector每次申请新的空间时都留有余地，其增长假象所带来的代价是非常昂贵的。

deque是一段一段的定量的连续空间构成，一旦有必要在deque前端或者尾端增加新的空间，便申请一段连续定量的空间，串接在deque的头端或者尾端。deque最大的工作就是为维护这些分段连续的内存空间的整体性，并提供随机存取的接口，避开了重新申请空间，复制，释放的轮回，代价就是复制的迭代器架构。

既然deque是分段连续内存空间，那么就必须有中央控制，维持整体连续的假象，数据结构的设计及迭代器的前进后退操作颇为繁琐。deque代码实现远比vector或list多得多。

deque采取一块所谓的map（注意：不是STL的map容器）作为主控，这里所谓的map是一小块连续的内存空间，其中每一个元素（此处称为了一个结点）都是一个指针，指向另一段连续性内存空间，称作缓冲区。缓冲区才是deque的存储空间的主体。