孙玲的空间先聊点实际的。很多人学 C++ 时都会遇到一个坎：刷题或者做项目的时候，明明知道“这里应该用一个容器”，却不知道怎么选；或者用了 vector 到处乱插，结果性能崩了才回头查文档。等到面试，又被问“vector 和 list 底层怎么实现的”“map 为什么是有序的”，一紧张就答不上来。这些问题说到底，其实不是“STL 用得不熟”，而是基础数据结构的底层认知没有和容器 API 对上账。
这篇东西我就按自己做项目、带新人时反复强调的路径来写：先梳理数据结构本身的核心逻辑，再逐个拆 STL 容器的底层机制、适用场景、复杂度代价，最后聊一些真正踩过的坑。全文默认你至少有基础的 C++ 语法能力，知道类、模板、指针是怎么回事，但即使你只是刚学完语法，也能跟着思路走一遍，因为我会把原理部分讲得很“白话”。如果你正在准备面试、考研，或者手头有个项目不知道该选什么容器，这篇应该能帮你省下不少查资料的时间。
1. 从本质上看数据结构：容器只是一层“包装纸”
1.1 为什么数据结构不是“理论知识”
我见过不少初学者把数据结构当纯理论课来背，背完“数组适合随机访问、链表适合插入删除”，然后一写代码就全凭感觉。实际上，数据结构解决的是非常朴素的问题：数据怎么组织，才能让增删改查尽量快。
举个例子，你写一个联系人列表，需求是“按姓名拼音顺序显示”。如果只存一个 string 数组，那每次插入新联系人都要移动后面所有元素，插入一个人的成本随人数线性增长；如果改用跳表或者平衡树，插入成本就变成对数级。同样是“存数据”，组织方式不同，性能差距就是几万条数据时肉眼可见的卡顿。
所以在开始看容器之前，我建议你先建立一个坐标系：数组（连续内存）、链表（节点串联）、树（层级组织）、哈希表（按关键码散列）。这四个是最核心的“存储骨架”，后面的 vector、list、map、unordered_map 本质上都是在这些骨架上加了 C++ 的封装和内存管理策略。理解了骨架，再看容器就是“哦，它内部原来是这样”，而不是死记 API。
1.2 四个基础结构的特点与使用倾向
先列一个我脑子里的对照表，这也是我面试别人时最常问的：
| 结构 | 物理存储 | 随机访问 | 中间插入/删除 | 适用气质 |
|---|---|---|---|---|
| 数组 | 连续内存 | O(1) | O(n) 需要搬移 | 大小固定、读多写少 |
| 链表 | 节点分散 | O(n) 必须遍历 | O(1) 只要改指针 | 频繁增删、无需随机访问 |
| 树 | 节点层级 | O(logn) | O(logn) | 要顺序性又要动态增删 |
| 哈希表 | 桶 + 链表/红黑树 | O(1) 平均 | O(1) 平均 | 只按 key 精确查找 |
注意，这里的“适用”不是绝对，而是帮你快速判断。比如数组虽然插入要搬移，但如果插入位置总是末尾，那它就是 O(1) 的，这也是 vector 最常见的用法。链表虽然中间插入 O(1)，但你得先找到那个位置，要找就得遍历，所以实际成本要结合“查找”一起算。
这些特性并不是由 C++ 发明的，而是由计算机的内存模型决定的。数组之所以随机访问快，是因为 CPU 可以根据基地址 + 偏移量直接算出目标内存地址；链表之所以插入快，是因为只需要修改相邻节点的指针，不需要搬动其他人的数据。明白了这一层，后面理解 STL 容器设计时的种种“奇葩”选择，比如 deque 为什么同时支持 O(1) 的随机访问和头尾插入，就顺理成章了。
需要模型API调用？ 免费领10W Token，多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 连续内存容器：vector 和 array
2.1 vector 的扩容机制到底是怎么工作的
vector 是 C++ 里出场率最高的容器，没有之一。它本质就是一个动态数组，支持 O(1) 的随机访问，末尾插入均摊 O(1)。这个“均摊 O(1)”是很多人没细想过的点：vector 不是每次 push_back 都重新分配内存，而是以倍增的方式预留空间。
当 size 达到 capacity 时，vector 会分配一块更大的内存（常见的增长因子是 2，也有实现用 1.5），然后把旧数据全部拷贝或移动过去，再释放旧内存。这就是为什么对 vector 进行插入操作时，迭代器可能会失效——因为底层数组换位置了。如果你提前知道大概要存多少数据，就应该用 reserve() 把容量预留出来，否则不断扩容会带来反复拷贝的开销。
来看一段我平时写代码的基准对比：
cpp复制#include <iostream>
#include <vector>
int main() {
const int N = 1000000;
std::vector<int> v1;
for (int i = 0; i < N; ++i) v1.push_back(i);
std::vector<int> v2;
v2.reserve(N); // 预留容量，避免多次扩容
for (int i = 0; i < N; ++i) v2.push_back(i);
std::cout << "v1 capacity = " << v1.capacity() << '\n';
std::cout << "v2 capacity = " << v2.capacity() << '\n';
return 0;
}
在我的机器上，不加 reserve 时 capacity 会变成 1048576，也就是经过大约 20 次扩容才到 1e6。每次扩容不仅分配新内存，还要搬移已有元素，数据量一大就会明显拖慢速度。加了 reserve 之后，整个循环就是纯写入，性能差距在百万数量级就能感觉到。
2.2 push_back 和 emplace_back 的选择
C++11 以后，emplace_back 成了很多人推荐的首选。它的优势是：可以直接传构造参数，在容器内部原地构造对象，省掉一次临时对象的拷贝或移动。
cpp复制#include <string>
#include <vector>
struct Person {
std::string name;
int age;
Person(std::string n, int a) : name(std::move(n)), age(a) {}
};
int main() {
std::vector<Person> people;
people.reserve(2);