std::list::erase不使其他迭代器失效但示例代码段错误咨询

你查到的std::list::erase迭代器失效规则是准确的：该操作只会让被擦除元素自身对应的迭代器、引用失效，其余元素的迭代器、引用，包括list的尾后迭代器都不会受影响。代码崩溃、无限循环的核心原因是两个逻辑错误，和迭代器失效规则本身无关：

• 擦除元素后未更新当前迭代器，对已失效的迭代器执行了自增操作
  当循环跑到i==1时，你传入erase的it指向值为10的元素，erase执行完成后，这个it就直接失效成为野迭代器。接下来for循环的步进逻辑会执行++it，对无效迭代器做自增属于C++标准明确的未定义行为：要么迭代器指向的内存位置混乱，永远无法匹配到end()导致无限循环，要么访问到非法内存地址直接触发段错误，也就是你看到的SIGSEGV信号报错。
• 提前缓存end迭代器的修改完全不解决核心问题
  因为std::list的erase不会让尾后迭代器失效，你提前存的end本身是合法值，但问题出在当前遍历用的it在erase后已经是无效野值，根本走不到正确的元素遍历路径上，自然不可能正常匹配到end终止循环。

std::list::erase会返回一个指向被擦除元素下一个位置的有效迭代器，你需要用这个返回值更新当前遍历的迭代器，同时注意擦除分支不要重复执行迭代器自增：

#include <iostream>
#include <list>

int main()
{
  std::list<int> lst;
  lst.push_back(5);
  lst.push_back(10);
  lst.push_back(20);

  // 不要在for循环头部写++it，自增逻辑放到循环体内控制
  for (auto it = lst.begin(); it != lst.end(); )
  {
    if (*it == 10) {
      it = lst.erase(it); // 用erase返回的有效迭代器更新it，此时it已经指向下一个元素
    } else {
      ++it; // 只有没执行擦除的时候，才需要手动自增迭代器
    }
  }

  for (auto el : lst)
  {
    std::cout << el << std::endl;
  }

  return 0;
}

遍历容器做擦除操作时，永远不要直接对传入erase的原迭代器做后续操作，必须接住erase返回的新迭代器继续遍历。额外用整数计数定位链表元素的写法本身没有语法错误，但链表不支持随机访问，靠计数遍历效率低，直接判断迭代器指向的值是更稳妥的写法。

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