vector插入或删除元素可能导致所有迭代器失效；deque头部尾部插入不影响，中间操作会失效；list/forward_list仅删除当前元素时该迭代器失效；map/set及unordered系列容器删除不影响其他迭代器。安全使用方法包括：1.使用erase返回的新迭代器；2.避免循环中修改结构；3.先收集修改位置再统一处理。可用const_iterator或索引访问规避失效问题，尤其适用于vector和deque。此外，优先使用remove_if+erase惯用法，或直接使用关联容器的erase(it++)方式。
在使用 C++ 标准库容器时，迭代器失效是一个常见的问题。尤其是在修改容器内容（如增删元素）的过程中，稍有不慎就可能导致访问非法内存，甚至程序崩溃。关键在于理解不同容器的迭代器失效规则，并在操作时采取正确的策略。
哪些操作会导致迭代器失效？
不同的 STL 容器对迭代器的处理机制不同，失效的情况也各不相同：
-
vector：插入或删除元素可能导致整个容器重新分配内存，从而使所有迭代器失效；尤其是当容量不足时调用
push_back或insert。 - deque：头部或尾部插入通常不会使所有迭代器失效，但中间插入或删除则会。
- list / forward_list：只有在删除当前迭代器指向的元素时才会导致该迭代器失效，插入不影响其他迭代器。
- map / set / unordered 系列容器：删除一个元素只让该迭代器失效，插入不影响已有迭代器。
了解这些规则是避免问题的第一步。
修改容器时如何安全使用迭代器？
要确保在修改容器时不触发未定义行为，可以采用以下几种方式：
- 使用返回新迭代器的方法：例如
erase()返回下一个有效迭代器。 - 避免在循环中同时修改结构并继续使用旧迭代器。
- 若必须多次修改，考虑先收集要修改的位置再统一处理。
以 vector 为例，在遍历过程中删除某些元素时，错误写法如下：
for (auto it = vec.begin(); it != vec.end(); ++it) {
if (should_remove(*it)) {
vec.erase(it); // 错误！ erase后 it 失效，后续 ++it 是未定义行为
}
}正确做法是利用 erase 返回的迭代器：
for (auto it = vec.begin(); it != vec.end(); ) {
if (should_remove(*it)) {
it = vec.erase(it); // erase 返回下一个有效迭代器
} else {
++it;
}
}这样可以保证每次操作后的迭代器始终合法。
哪些情况下可以用 const_iterator 或者索引代替？
如果你不需要通过迭代器修改元素，尽量使用 const_iterator，这能避免一些意外修改带来的副作用。此外，对于 vector 和 deque 这类支持随机访问的容器，有时用索引代替迭代器也可以规避部分失效问题。
比如：
for (size_t i = 0; i < vec.size(); ++i) {
// 用下标访问，vec[i] 比较稳定
}虽然这种方法不如迭代器灵活，但在某些场景下更安全、更直观。
需要注意的是：如果在循环中频繁扩容 vector（如 push_back），仍可能引发性能问题或其他间接影响。
小技巧和注意事项
- 在遍历并删除多个元素时，优先使用容器自带的
remove_if + erase惯用法（适用于 vector、string 等连续存储容器）。 - 对于 map、set 等关联容器，直接使用
erase(it++)是可行的，因为它们的迭代器在 erase 后仍然保持递增能力。 - 如果不确定某个操作是否会失效，可以查阅对应容器的文档，或者干脆“边查边改”——即每次修改后都重新获取迭代器。
基本上就这些。只要理解了不同容器的行为差异，并在编写代码时多留心迭代器的状态变化，就能有效避免这类问题。
