不能边遍历边用erase(key)删除，因会令迭代器失效导致崩溃；必须用erase(iterator)并用其返回值更新迭代器，如it = m.erase(it)，该方式安全且适用于map和unordered_map。

不能边遍历边用 erase(key) 删除，会直接导致迭代器失效、程序崩溃；必须用迭代器自身的 erase() 返回值推进。

为什么 map::erase(key) 在循环里会崩

调用 map::erase(key) 会销毁对应节点，所有指向该节点的迭代器立即失效。而 for 循环中常用的 it++ 是在 erase 后执行的——如果 it 已经被 erase 失效，it++ 就是未定义行为（常见 crash 或跳过元素）。

• 错误写法：

  for (auto it = m.begin(); it != m.end(); ++it) {
      if (should_delete(it->first)) {
          m.erase(it->first); // ⚠️ it 仍指向已释放节点，下一轮 ++it 崩溃
      }
  }

• 根本问题：key 删除接口不提供迭代器安全推进能力

正确做法：用 erase(iterator) 并接收返回值

map::erase(iterator) 是唯一安全的删除方式，它会返回下一个有效迭代器（C++11 起），可直接用于循环变量更新。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

• 标准写法：

  for (auto it = m.begin(); it != m.end(); ) {
      if (should_delete(it->first)) {
          it = m.erase(it); // ✅ 返回下一个有效迭代器，it 不再指向原位置
      } else {
          ++it;
      }
  }

• 注意：不能写成 it = m.erase(it++) —— it++ 返回临时副本，erase 删除的是旧位置，但 it 自增后可能越界
• 该模式适用于 std::map、std::unordered_map，但不适用于 std::vector（后者 erase 返回的是同一位置的新迭代器）

想批量删？别手写循环，用 remove_if + erase 惯用法（C++20 起更简洁）

C++20 引入 std::erase_if，专为关联容器批量删除设计，语义清晰且无迭代器管理负担。

• C++20 写法：

  std::erase_if(m, [](const auto& p) { return should_delete(p.first); });

• C++11/14 可模拟：

  auto it = m.begin();
  while (it != m.end()) {
      if (should_delete(it->first)) {
          it = m.erase(it);
      } else {
          ++it;
      }
  }

• 性能提示：std::erase_if 对 map 是 O(n log n)，和手写循环一样；但代码意图明确，不易出错

最易忽略的一点：如果删除逻辑依赖于 value 计算，且 value 是指针或引用类型，要确认它没在删除前被意外修改或释放——迭代器本身不保 value 的生命周期，只保节点结构有效。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！