关于失效迭代器的困惑：vector插入后迭代器为何判定无效？

已知vector内存连续存储，若未缩小容量或触发重分配，指向其元素的迭代器应保持有效。以下代码按此逻辑编写：

#include <iostream>
#include <vector>

int main()
{
    std::vector v = {1, 2, 3, 4, 5, 6, 7, 8, 9}; 
    auto i = v.begin() + 7;
    v.insert(v.begin() + 5, 10);
    if(v.capacity() > v.size()) {
        std::cout << *i << '\n';
    }
}

运行后控制台输出7，与预期一致，但根据规则：“所有指向插入点之前元素的迭代器不受影响，其余全部失效”，该代码被判定为错误。请问为何会被判定错误？无法理解代码会在何种情况下失败。

回答 #

首先要明确：C++标准对vector插入操作后的迭代器有效性有明确规定，而非依赖内存连续、未触发重分配这类观察到的实现细节。

你代码里的i指向原vector的第8个元素（值为8），插入操作在第6个元素前插入10，此时原插入点及之后的元素都会向后移动一位。虽然测试中vector容量足够、没触发重分配，内存仍连续，但标准明确说明：插入点之后的所有迭代器、指针、引用都会失效——不管有没有发生内存重分配。

当前测试能输出正确结果，只是因为你的编译器实现里，失效的迭代器恰好还指向原来的内存地址（元素后移后，原地址现在存的是7），这属于未定义行为。未定义行为意味着编译器可以任意处理，今天能正常输出，换个编译器、编译器版本，甚至调整编译优化选项，结果都可能完全不同：比如程序崩溃、输出乱码，或者执行其他不可预料的操作。

举个可能失败的场景：如果编译器做了激进优化，会根据标准认定i已经失效，直接跳过if里的输出逻辑，或者把*i替换成随机值；再或者，某些实现会在迭代器失效时标记状态，访问时直接触发断言失败导致程序终止。

所以你的代码违反了C++标准的规定，即便当前运行正常，本质上是错误的，属于依赖未定义行为的写法。

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