deque 简介
deque 是由一块一块的固定大小的连续空间构成(块与块之间是不连续),一旦有必要在deque的前端或尾端增加新的空间,便配置一块固定大小的连续空间,串联在整个duque的头端或尾端
deque的最大任务,便是在这些分块的固定大小连续空间上,维护其整体连续的假象,并提供随机存取的接口(随机迭代器),代价则是迭代器架构较为复杂
deque采用一块所谓的_M_map(注意,不是STL的map容器)作为主控,这里所谓_M_map是一小块连续空间,其中每个元素(此处称为一个节点,node)都是指针,指向另一段(较大的)连续线性空间,称为缓冲区,缓冲区才是deque的存储空间主体
deque 的布局
当我们不断插入6、7、8,此时 _M_cur 与 _M_last 指向同一位置,则我们重新购买一个大小为8的空间,作为新的缓冲区,进行初始化,_M_first指向空间首地址 _M_last 指向空间最后一个元素的后继,_M_cur 指向第一个元素地址,并且_M_node指向原本指向上一个空间的下一个位置
倘若_M_node指向的表也到达尾部,首先会将所有元素进行迁移,直到前面空的三个位置全部占满,则对其进行扩充至16,_M_map_szie = 8
同样不仅尾插会增加新的缓冲区,头插至_M_cur == _M_first,也会向前创建新的缓冲区
deque 和 vector 的区别
- deque 两端都能够快速插入和删除元素O(1),vector只在尾端进行插入和删除O(1)
- deque 的元素存取和迭代器操作会稍微慢一些,因为deque的内部结构会多一个间接过程
- deque 中的迭代器是特殊的智能指针,而不是一般指针,它需要在不同的区块之间跳转,因为deque使用不止一块内存(而vector必须使用一块连续内存)
- deque 不支持对容量和内存重分配实际的控制,除了首位两端安插、删除元素外,其他地方安插、删除元素都将导致元素pointer、reference、iterator失效,不过deque的内存重分配机制优于vector,因为deque不必在内存重分配时复制所有的元素
- deque 的内存区块不再被使用时,会被释放