C++ set插入是否会导致迭代器失效、影响范围for循环？

首先给出你示例中代码的完整分析，相关标准说明翻译、问题原因和解决方案如下： #

原始代码示例 #

set<int> candidates;
for (int candidate : candidates) {
  if (candidate == target) {
    candidates.erase(target);
  }
}

基础规则说明 #

• 你贴出的是insert函数的标准规则，和erase的迭代器失效逻辑不通用，该规则翻译如下：

插入操作不会使任何迭代器或引用失效。

如果插入成功，在元素存放在节点句柄中时获取的指向该元素的指针和引用会失效，而在提取该元素之前获取的指向它的指针和引用会变为有效。（自C++17起）

• std::set的erase迭代器失效规则：仅会使指向被删除元素的迭代器、指针和引用失效，其余未被删除元素的迭代器、指针和引用全部保持有效。

问题结论 #

你给出的代码会触发未定义行为，迭代器会失效，且会直接影响for-each循环的正常执行，原因如下：

1. C++的范围for循环是语法糖，编译后等价于如下逻辑：

auto&& range = candidates;
auto begin = range.begin();
auto end = range.end();
for (; begin != end; ++begin) {
  int candidate = *begin;
  // 循环体内容
}

2. 当循环遍历到值等于target的元素时，调用candidates.erase(target)会删除该元素，导致当前正在使用的迭代器begin直接失效。接下来循环执行++begin操作时，操作失效迭代器属于未定义行为，可能出现程序崩溃、漏掉后续元素、死循环等异常结果。

正确实现方式 #

方式1：使用迭代器遍历并接收erase返回值 #

std::set的erase函数传入迭代器时，会返回指向被删除元素下一个位置的有效迭代器，规避失效问题：

std::set<int> candidates;
auto it = candidates.begin();
while (it != candidates.end()) {
  if (*it == target) {
    it = candidates.erase(it);
  } else {
    ++it;
  }
}

方式2：C++20及以上版本使用std::erase_if #

标准库封装的安全删除接口，直接完成符合要求的元素删除：

std::erase_if(candidates, [target](int val) {
  return val == target;
});

内容的提问来源于stack exchange，提问作者user3499516