为何vector添加元素会失效迭代器，删除元素的代码却能正常运行？

首先得明确：你贴的这段代码其实存在未定义行为，它能“正常运行”只是依赖编译器实现的巧合，并非标准规定的安全写法。

先讲vector erase的核心特性 #

当你调用erase(iter)删除单个元素时：

• 传入的迭代器iter会直接失效，同时所有指向被删除元素之后位置的迭代器也会失效——因为vector是连续内存容器，删除元素后，后面的元素会整体向前移动一位，原来的迭代器指向的内存位置要么被新元素覆盖，要么已经不属于vector的有效范围。
• 但erase会返回一个有效迭代器，指向被删除元素的下一个位置，这才是标准规定的安全更新方式。

为什么你的代码看似能运行？ #

在某些编译器实现中，失效的迭代器b刚好指向了元素前移后的新位置（比如原来的b指向元素1，删除后元素2移到这个位置，b的地址没变，刚好指向2），所以循环看起来能正常执行。但这完全是巧合，换个编译器或环境，可能直接崩溃，或者遍历出错误结果——标准没有规定失效迭代器的行为，这属于未定义行为。

正确的安全写法 #

必须用erase的返回值更新迭代器，保证每次操作后迭代器都是有效的：

std::vector<int> a = {1,2,3,4,5,6};

auto b = a.begin();

while (b != a.end()){
    
    if (*b%2 != 0)
        b = a.erase(b); // 用返回值更新迭代器，获取下一个有效位置
    else
        b++;
}

补充：为什么添加元素会让所有迭代器失效？ #

vector的内存是预分配的，当添加元素导致容量不足时，会重新申请一块更大的内存，把原元素拷贝过去后释放旧内存。此时所有指向旧内存的迭代器、指针、引用都会失效，因为旧内存已经被系统回收了。

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