失效迭代器允许执行哪些操作？

首先直接给出结论：那个脚注只明确了解引用失效迭代器是未定义行为（UB），但绝不意味着其他操作（递增、递减、复制等）就是安全的——这些操作同样可能属于未定义行为。

原因如下：

• 迭代器失效的本质是该迭代器已不再指向容器内的有效元素，或脱离了所属容器的有效迭代器范围。C++标准对失效迭代器的几乎所有操作都没有定义合法行为，那个脚注只是单独强调了解引用这个最容易引发直接内存错误的场景，并非对其他操作的合法性背书。
• 具体到常见操作：
  • 复制/赋值失效迭代器：虽然部分编译器下可能不会立刻崩溃，但标准不保证这种操作的安全性。比如vector扩容后失效的迭代器，内部可能保存着已释放内存的地址，复制这类迭代器的行为没有标准定义，属于UB。
  • 递增/递减失效迭代器：移动失效迭代器的操作完全没有意义，且可能触发内存访问违规、破坏容器内部状态，同样是UB。
  • 甚至比较操作：将失效迭代器与其他迭代器（包括有效迭代器）比较，结果也是不确定的，属于UB。

需要明确的是：C++标准中所有关于迭代器操作（递增、递减、复制、比较等）的合法行为，都是建立在迭代器有效的前提下的。一旦迭代器失效，所有依赖其有效性的操作都失去了标准的行为保障。

解引用已失效的迭代器的效果是未定义的（undefined）。

这个脚注只是失效迭代器危险操作的一个例子，而非安全操作的清单。

实践建议：迭代器失效后，应立即丢弃该迭代器，不要再对其执行任何操作。如果需要继续操作容器，重新通过容器的成员函数（如begin()、end()或find()等）获取有效迭代器。

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