deque专为频繁首尾插入删除与随机访问混合场景设计,底层为分段连续缓冲区数组,首尾操作o(1)均摊,随机访问o(1)但常数较大,内存不连续且迭代器可能失效。
deque 不是 vector 的替代品,也不是 stack 或 queue 的简单升级;它专为频繁首尾插入/删除 + 随机访问混合场景设计,但随机访问性能略逊于 vector,且内存不连续。
deque 的底层结构和适用场景
deque 是分段连续的缓冲区数组(buffer array),每段固定大小(如 512 字节),通过映射数组(map)索引各段。这使得:
- 首尾
push_front()/pop_back()均为 O(1) 均摊时间,无内存重分配开销 - 中间插入(如
insert(iterator, value))仍是 O(n),且迭代器可能失效(仅在扩容 map 时失效,比 vector 更稳定) - 随机访问(
operator[]或at())是 O(1),但常数因子比 vector 大:需两次指针跳转(map 查段 + 段内偏移) - 不适合长期持有
iterator并跨操作使用——虽然 deque 迭代器比 list 稳定,但push_front()/push_back()仍可能使原有迭代器失效(C++20 起明确要求不使尾后迭代器失效,但前端仍不保证)
常用操作与易错点对比 vector 和 queue
deque 支持所有顺序容器通用接口,但部分行为和直觉不同:
-
front()/back()安全调用前提:必须非空,否则未定义行为(at(0)会抛std::out_of_range) -
erase(iterator)返回下一个有效迭代器(同 vector),但erase(first, last)后,原last迭代器及其之后所有迭代器均失效 - 不要用
queue<int deque>></int>时误调q.front()后直接q.pop()——这是正确用法;但若换成裸 deque,别写成d.pop_front(); d.front();(UB) -
resize(n)对 deque 是安全的:不足补默认值,超长则截断;但reserve(n)无效(deque 不提供reserve成员函数)
迭代器失效的真实边界在哪里
deque 迭代器失效规则比 vector 严格,但比 list 宽松。关键结论: