为何遍历容器同时修改属于不良实践？以std::vector操作为例

你运行的第一段代码碰巧得到了预期输出，但本质上存在未定义行为，这得从std::vector的底层实现和迭代器失效规则说起：

1. std::vector的底层本质 #

std::vector是基于连续内存数组实现的，所有元素在内存里紧挨着存放。当你删除其中一个元素时，容器会把被删除元素后面的所有元素往前移动一位填补空缺，同时容器的实际大小（size()）减1。

2. 第一段代码的问题所在 #

当你在循环里执行numbers.erase(it)时：

• 这个操作会失效所有指向被删除元素及之后位置的迭代器——包括当前的it。因为原位置的元素已经被后面的元素覆盖，迭代器指向的内存位置不再属于容器的有效元素范围。
• 执行完erase后，循环会继续执行++it，但此时it已经是失效的迭代器，对失效迭代器进行自增操作属于未定义行为。

为什么这次能得到正确结果？因为未定义行为的表现完全不可预测——可能在当前编译器、运行环境下碰巧没出问题，但换个场景（比如容器元素更多、删除的是中间靠后的元素），大概率会出现程序崩溃、输出乱码或者其他异常结果。

3. 为什么erase-remove惯用法是正确的 #

numbers.erase(std::remove(numbers.begin(), numbers.end(), 3), numbers.end());

这个写法的核心逻辑是：

• std::remove会遍历容器，把所有不等于3的元素移到容器前半部分，返回一个指向“逻辑末尾”的迭代器（最后一个保留元素的下一个位置）。这个过程中所有迭代器的使用都是安全的，它只是移动元素，不会改变容器容量（capacity()），也不会提前导致迭代器失效。
• 最后erase只删除从逻辑末尾到容器实际末尾的元素，这个操作只会影响末尾的迭代器，不会干扰前面已经处理过的部分，完全符合容器的迭代器使用规则。

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