STL 之 deque

vector 是单向开口的连续线性空间，deque 则是㆒种双向开口的连续线性空间。 所谓双向开口，意思是可以在头尾两端分别做元素的安插和删除动作，如图 4-9。 vector 当然也可以在头尾两端做动作（从技术观点），但是其头部动作效率奇差， 无法被接受。

                           

deque 和 vector 的最大差异，㆒在于 deque 允许于常数时间内对起头端进行 元素的安插或移除动作，㆓在于 deque 没有所谓容量（capacity）观念，因为 它是动态㆞以分段连续空间组合而成，随时可以增加㆒段新的空间并链接起来。 换句话说，像 vector 那样「因旧空间不足而重新配置㆒块更大空间，然后复制 元素，再释放旧空间」这样的事情在 deque 是不会发生的。也因此，deque 没 有必要提供所谓的空间保留（reserve）功能。

虽然 deque 也提供 Ramdon Access Iterator，但它的迭代器并不是原生指标，其 复杂度和 vector 不可以道里计（稍后看到源码，你便知道），这当然在在影响 了各个运算层面。因此，除非必要，我们应尽可能选择使用 vector 而非 deque。 对 deque 进行的排序动作，为了最高效率，可将 deque 先完整复制到㆒个 vector 身㆖，将 vector 排序后（利用 STL sort 算法），再复制回 deque。

deque 是连续空间（至少逻辑看来如此），连续线性空间总令我们联想到 array 或 vector。array 无法成长，vector 虽可成长，却只能向尾端成长，而且其所 谓成长原是个假象，事实㆖是 (1) 另觅更大空间、(2) 将原数据复制过去、(3) 释 放原空间 ㆔部曲。如果不是 vector 每次配置新空间时都有留㆘㆒些余裕，其「成 长」假象所带来的代价将是相当高昂。

deque 系由㆒段㆒段的定量连续空间构成。㆒旦有必要在 deque 的前端或尾端增 加新空间，便配置㆒段定量连续空间，串接在整个 deque 的头端或尾端。deque 的 最大任务，便是在这些分段的定量连续空间㆖，维护其整体连续的假象，并提供 随机存取的界面。避开了「重新配置、复制、释放」的轮回，代价则是复杂的迭 代器架构。

受 到 分 段 连 续 线 性 空 间 的 字 面 影 响 ， 我 们 可 能 以 为 deque 的 实 作 复 杂 度 和 vector 相比虽不㆗亦不远矣，其实不然。主要因为，既曰分段连续线性空间，就 必须有㆗央控制，而为了维护整体连续的假象，数据结构的设计及迭代器前进后 退等动作都颇为繁琐。deque 的实作码份量远比 vector 或 list 都多得多。

deque 采用㆒块所谓的 map（注意，不是 STL 的 map 容器）做为主控。这里所 谓 map 是㆒小块连续空间，其㆗每个元素（此处称为㆒个节点，node）都是指标， 指向另㆒段（较大的）连续线性空间，称为缓冲区。缓冲区才是 deque 的储存空 间主体。SGI STL 允许我们指定缓冲区大小，默认值 0 表示将使用 512 bytes 缓 冲区。