C++ set使用iterator调用erase的两种写法差异及运行原因问询

C++ set迭代器调用erase的两种写法差异解析 #

你之前对erase迭代器失效的理解是完全正确的：set作为关联容器，调用erase后，指向被删除元素的迭代器会直接失效，其他迭代器的有效性不受影响，对失效迭代器做任何操作都属于未定义行为。两种写法的核心区别是迭代器递增和erase操作的执行顺序不同。

正确写法 s.erase(it++); 的执行逻辑 #

后置自增运算符it++的内部执行逻辑是：

1. 先保存当前迭代器的临时副本，指向当前要删除的元素
2. 将原迭代器it向后移动一位，指向当前元素的下一个有效位置
3. 返回之前保存的临时副本作为it++表达式的结果

所以erase(it++)的实际执行顺序是：

• 先完成it的自增，此时it已经指向了下一个安全的位置
• 再把指向待删除元素的临时副本传给erase执行删除操作，被销毁失效的只有这个临时副本，原it完全不受影响，因此可以正常运行。

错误写法的执行逻辑 #

s.erase(it);
it++;

执行顺序是：

1. 直接把当前it传给erase，删除元素的同时it直接失效
2. 对已经失效的it执行递增操作，触发未定义行为，因此会出现运行异常。

拓展：更易读的安全写法 #

C++11及更高版本的标准中，set::erase会直接返回被删除元素的下一个有效迭代器，你也可以写成下面的形式，可读性更高，也避免了对后置自增逻辑的依赖：

while (it != s.end()) {
    it = s.erase(it);
}

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