一、前言：序列式容器整体概览
我们完整学习了模板与泛型编程，知道STL全部容器都是类模板。STL容器分为两大类别：序列式容器 与关联式容器。
序列式容器：元素位置由插入顺序决定，元素本身不做排序，包含vector、list、deque。string本质也是序列容器，属于字符特化版本。
关联式容器：元素按照key自动排序，底层通常红黑树/哈希表，例如map、set、unordered_map，留给后续章节讲解。
vector、list、deque是业务代码出现频率最高的容器，面试最爱考察：扩容、迭代器失效、随机访问、插入删除性能差异。很多同学只会调用API，不懂底层，写代码经常踩迭代器崩溃、内存浪费的坑。
本篇把三大序列容器从底层结构、行为细节到工程选型一次性讲透。
二、vector动态数组底层原理与扩容机制
2.1 vector底层结构
vector底层是一段连续堆内存，等价于动态数组。内部维护三个指针：
-
_Myfirst：数组起始地址 -
_Mylast：有效元素末尾（size位置） -
_Myend：内存空间末尾（capacity位置）
size：当前存储元素个数；capacity：已经分配的总内存容量。size ≤ capacity。
2.2 vector扩容原理（面试必背）
当push_back新元素，如果size == capacity，空间满，触发扩容：
-
分配一块更大的连续堆内存（gcc下扩容倍数2倍，MSVC约1.5倍）
-
将旧内存所有元素拷贝到新空间，调用元素拷贝构造
-
释放旧堆内存
-
更新内部三个指针，插入新元素
⚠️ 扩容不是原地扩展，是重新分配一块全新内存。旧内存会被释放，原来指向旧内存的迭代器、指针、引用全部失效。
2.3 reserve与resize区别，极易混淆
| 接口 | 作用对象 | 行为说明 |
|---|---|---|
| reserve(n) | capacity容量 | 只预分配内存，不创建元素，不改变size；不能缩小容量 |
| resize(n) | size有效元素 | 修改有效元素数量，多出位置执行默认构造；缩小时销毁尾部元素 |
工程优化技巧：已知数据总量，优先调用reserve预分配，避免多次扩容拷贝，大幅提升性能。
三、vector迭代器失效完整场景
vector迭代器本质是普通元素指针，内存发生变化就会失效。
3.1 会引发迭代器失效的操作
-
**插入insert / push_back：**如果触发扩容，全部迭代器失效；不扩容，插入点之后迭代器失效。
-
**erase删除元素：**删除点之后全部迭代器失效，元素向前拷贝覆盖。
-
**clear：**全部迭代器失效，销毁所有元素，不释放capacity内存。
3.2 经典错误代码（erase遍历删除踩坑）
erase调用后，原迭代器已经失效，不能再做自增操作；erase会返回被删除元素的下一个有效迭代器。
四、list双向链表底层结构
std::list底层是双向循环链表，内存不连续。每一个节点存储：前驱指针prev、后继指针next、元素数据。
list核心特性
-
不支持随机访问，不能用\[\]运算符，访问中间元素必须遍历O(n)
-
任意位置insert、erase仅O(1)时间，只要拿到节点迭代器
-
插入操作不会失效任何迭代器；只有被erase的那个迭代器失效，其余保持有效
-
内存碎片化，每个节点除数据还要保存两个指针，额外内存开销大
list适合频繁在中间做插入删除，不需要随机访问的场景。
五、deque双端队列底层原理
deque不是真正完全连续内存，它是分段连续空间 + 中控数组map实现。
-
实际数据存放在多块独立缓冲区；
-
中控数组map存放每一块缓冲区的起始地址；
-
支持首尾两端O(1)快速插入删除；
-
对外提供类似连续数组的迭代器，支持++、--，支持随机访问，但效率弱于vector。
deque扩容只需要新增缓冲区，不需要拷贝已有元素。首尾push/pop性能优秀。
缺陷：中间位置insert/erase需要移动大量元素，效率差。
STL容器适配器stack、queue默认底层就是deque。
deque迭代器失效规则
-
首尾push_back/push_front：迭代器不会失效；
-
中间insert、erase：所有迭代器失效；
六、三大序列容器性能对比与选型
| 特性 | vector | list | deque |
|---|---|---|---|
| 底层结构 | 连续数组 | 双向链表 | 分段缓冲区+中控数组 |
| 随机访问\[\] | ✅支持 O(1) | ❌不支持 O(n) | ✅支持，略慢 |
| 尾部push_back | 大部分O(1)，扩容O(n) | O(1) | O(1) |
| 头部插入 | O(n)，全部元素移动 | O(1) | O(1) |
| 中间插入删除 | O(n)元素拷贝移动 | O(1)（已有迭代器） | O(n) |
| 内存开销 | 极小，仅存元素 | 大，每个节点两个指针 | 中等，多块缓冲区+中控数组 |
| 迭代器失效 | 扩容/插入删除大量失效 | 仅erase对应迭代器失效 | 中间操作全部失效，首尾push不失效 |
| 典型使用场景 | 绝大多数业务，优先选用vector | 频繁中间增删，无需随机访问 | 需要头尾快速增删；queue/stack适配器底层 |
💡工程经验：业务开发优先选vector，CPU缓存友好，内存紧凑，性能最好。不要上来就用list，链表缓存命中率很低。
七、工程开发高频踩坑汇总
坑1：vector循环push_back不reserve，频繁扩容带来大量拷贝，性能低下
如果能预估数据规模，务必reserve预留容量，减少扩容拷贝。
坑2：保存vector迭代器、指针、引用，后续触发扩容，野内存访问程序崩溃
一旦发生扩容，旧迭代器全部作废；如果需要长期持有元素引用，优先list，或者保存下标而不是迭代器。
坑3：erase遍历删除写法错误，直接对失效迭代器执行++，程序直接crash
记住erase返回下一个有效迭代器，不要继续使用原来迭代器。
坑4：混淆resize和reserve，误以为reserve会创建元素，直接访问下标越界崩溃
reserve只是分配内存，size不变，不能访问v5这类下标。
坑5：滥用list，明明可以vector，却用链表，CPU缓存失效性能暴跌
链表节点散落在堆内存各处，CPU预读失效，遍历速度远慢vector。
八、大厂面试真题问答
Q1 vector扩容过程？为什么扩容一般不是原地扩容？
vector底层连续数组，原有内存后面不一定有空闲连续内存，无法原地扩展；必须申请更大一块全新连续堆内存，拷贝旧元素，释放旧内存。gcc按2倍扩容，MSVC1.5倍。扩容会导致全部旧迭代器失效。
Q2 reserve和resize区别是什么？
reserve修改capacity，只分配内存，不构造对象，size不变；resize修改size，会构造或者销毁元素，可以改变有效元素数量。reserve无法缩小vector容量。
Q3 vector、list迭代器失效有什么区别？
vector一旦扩容全部迭代器失效；insert/erase后，被操作点之后迭代器失效。list只有erase的那个迭代器失效，insert不会令任何迭代器失效。
Q4 deque底层原理是什么，为什么queue默认底层用deque？
deque分段缓冲区，中控数组管理各个缓冲区地址，头尾插入删除O(1)，不需要拷贝全部元素。queue只需要头尾操作，不需要中间访问，deque完美适配queue需求。
Q5 业务开发，什么时候不推荐用vector？
需要频繁在容器中间插入删除大量元素，并且元素数量巨大；同时需要长期持有元素指针/迭代器，害怕扩容失效，这种场景可以考虑list。绝大多数普通业务优先vector。
九、今日总结
完整吃透三大序列容器：
✅ vector底层连续数组、size/capacity、扩容机制
✅ reserve与resize本质区别，性能优化技巧
✅ vector迭代器失效全部场景，erase正确遍历删除写法
✅ list双向循环链表特性、优缺点与适用场景
✅ deque分段缓冲区+中控数组底层原理，容器适配器底层
✅ vector/list/deque完整对比表格，工程选型标准
✅ 高频踩坑点与面试标准答案