C++基础知识 -- vector、unordered_map 和 map扩容机制

在 C++ STL 中，vector、unordered_map 和 map 是三个核心容器，它们的底层实现机制直接影响性能和适用场景。以下是它们核心机制的详细解析：

---

一、vector 的扩容机制

1. 动态数组原理

vector 本质是一个动态数组，其内存空间连续，支持随机访问（O(1)时间复杂度）。当元素数量超过当前容量（capacity）时，会自动触发扩容。

2. 扩容步骤

1. 分配新内存：新容量通常是旧容量的 2 倍（GCC/Clang）或 1.5 倍（MSVC）。
2. 迁移数据：将旧内存中的数据逐个拷贝（或移动）到新内存。
3. 释放旧内存：销毁旧内存中的对象并释放内存。

3. 扩容因子选择

• 2 倍扩容：空间换时间，减少扩容次数，但内存碎片化风险更高。
• 1.5 倍扩容：平衡时间和空间，更高效利用内存（例如 MSVC 的实现）。
• 数学证明：通过摊还分析（Amortized Analysis），均摊时间复杂度为 O(1)。

4. 关键接口

vector<int> v;
v.reserve(100);  // 预分配容量，避免多次扩容
v.shrink_to_fit();  // 释放未使用的容量（C++11+）

5. 性能优化

• 避免频繁扩容：在已知元素数量时，优先使用 reserve()。
• 移动语义：C++11 后，扩容时优先移动而非拷贝对象（若对象支持移动语义）。

---

二、unordered_map 的哈希冲突解决

1. 哈希表基础

unordered_map 底层是哈希表，通过哈希函数将键映射到桶（bucket）。哈希冲突（不同键映射到同一桶）需特殊处理。

2. 冲突解决策略

STL 采用 拉链法（Separate Chaining），每个桶存储一个链表（或红黑树）。

(1) 拉链法流程

• 插入键值对：
  1. 计算键的哈希值 hash(key)。
  2. 定位到对应桶的链表。
  3. 遍历链表检查是否已存在相同键：
     • 若存在，更新值；
     • 若不存在，插入新节点。
• 查找键：类似插入过程，遍历链表查找。

(2) 链表优化

• C++11 后的改进：当链表长度超过阈值（如 8），链表转为红黑树（类似 Java HashMap），将查找时间复杂度从 O(n) 降至 O(log n)。

3. 负载因子与重哈希

• 负载因子（Load Factor）：负载因子 = 元素数量 / 桶数量。
• 自动扩容：当负载因子超过阈值（默认 1.0），触发重哈希（rehash）：
  1. 创建新的更大的桶数组（通常翻倍）。
  2. 将所有元素重新哈希到新桶中。

4. 性能调优

unordered_map<string, int> m;
m.reserve(1024);  // 预分配桶数量，减少 rehash 次数
m.max_load_factor(0.75);  // 设置负载因子阈值

---

三、红黑树在 map 中的应用

1. 红黑树特性

红黑树是一种自平衡二叉搜索树（BST），满足以下规则：

1. 颜色属性：每个节点非红即黑。
2. 根节点：根必须为黑色。
3. 叶子节点（NIL）：所有叶子节点（空节点）为黑色。
4. 红色节点限制：红色节点的子节点必须为黑色（即不能有连续红节点）。
5. 黑高一致性：从任一节点到其所有叶子节点的路径包含相同数量的黑色节点（黑高相同）。

2. 平衡性保障

• 通过 旋转（左旋/右旋） 和 节点颜色调整 维持平衡。
• 插入/删除操作的最坏时间复杂度为 O(log n)。

3. 为何 map 使用红黑树而非其他结构？

• 对比 AVL 树：

  特性	红黑树	AVL 树
  平衡严格度	宽松（黑高一致即可）	严格（左右子树高度差 ≤1）
  插入/删除速度	更快（旋转次数更少）	较慢
  查找速度	稍慢（树可能更高）	更快
  适用场景	频繁插入/删除（如 map）	频繁查找（如数据库索引）

• 选择红黑树的原因：map 需要频繁插入/删除键值对，红黑树在保证 O(log n) 操作的同时，减少了平衡调整的开销。

4. map 的操作实现

• 插入：按 BST 规则找到位置，插入后调整颜色和旋转。
• 删除：删除节点后，通过旋转和颜色调整恢复平衡。
• 查找：基于 BST 的二分查找。

5. 有序性优势

• 红黑树的中序遍历按键升序排列，因此 map 天然支持范围查询（如 lower_bound()）。

---

四、总结

• vector：动态数组，2 倍/1.5 倍扩容，优先预分配内存。
• unordered_map：哈希表 + 拉链法，负载因子触发重哈希，C++11 后优化为红黑树处理长链表。
• map：红黑树实现，平衡插入/删除效率与查找性能，天然有序。

理解这些机制有助于在开发中合理选择容器，优化性能并规避潜在问题（如 vector 的迭代器失效）。