vector的push_back会触发迭代器失效，因其底层连续内存扩容时重分配、拷贝并释放旧内存，使所有原有迭代器指向地址作废，解引用或递增将导致未定义行为。
vector 的 push_back 为什么会触发迭代器失效？
因为 std::vector 底层是连续内存，当容量不足时，push_back 会重新分配更大内存块、拷贝旧元素、释放旧内存。所有原有迭代器（包括 begin()、end()、中间任意 it）指向的地址全部作废。
- 失效后继续解引用或递增（如
*it或++it）—— 行为未定义，常见表现是程序崩溃或读到垃圾值 - 即使没立即崩溃，也不能假设“它看起来还能用”—— 这是典型未定义行为的陷阱
-
reserve()可以提前预留空间，避免扩容；但只要没调用过reserve()或预留不足，push_back就仍可能失效
erase 后的迭代器为什么不能直接 ++it？
在 vector 和 String 中，erase(it) 会删除该位置元素，并把后续所有元素前移。此时 it 已无效，而 erase 返回的是**下一个有效位置的迭代器**，这才是安全的继续点。
- 错误写法：
for (auto it = v.begin(); it != v.end(); ++it) { if (*it == x) v.erase(it); // it 失效，++it 是未定义行为 } - 正确写法：
for (auto it = v.begin(); it != v.end(); ) { if (*it == x) it = v.erase(it); // 接收返回值，it 指向下一个有效位置 else ++it; } -
list和forward_list的erase也返回迭代器，但只对被删节点失效；其余迭代器仍有效 —— 这和 vector 本质不同
哪些操作一定导致迭代器失效？
不是所有容器行为都一样。失效规则取决于底层实现：
-
vector：任何改变大小的操作都可能失效 ——push_back、pop_back（仅end()失效）、insert、erase、resize、clear；swap不失效（c++11 起是移动语义，不重分配） -
deque：头/尾插入删除通常不使其他迭代器失效（但标准不保证中间插入）；erase仅使被删位置及之后的迭代器失效 -
list/forward_list：只有被erase的节点迭代器失效；插入、拼接、sort等都不影响其他迭代器 -
map/set（红黑树）：仅erase使对应节点迭代器失效；插入、clear不影响其他迭代器
怎么检查迭代器是否已失效？
C++ 标准不提供运行时检测接口 —— 迭代器失效是纯逻辑问题，编译器不会报错，调试器也很难直接提示。你只能靠设计规避，而不是事后检查。
立即学习“C++免费学习笔记（深入）”；
- 避免长期持有迭代器：比如循环中不要把
begin()存成变量后反复用，尤其在循环体里修改容器 - 用索引代替迭代器：对
vector，有时size_t i更安全（只要不越界，索引不会“失效”，只是值可能变） - 启用调试模式：GCC 的
-D_GLIBCXX_DEBUG或 MSVC 的_ITERATOR_DEBUG_LEVEL=2可在 debug build 中捕获部分失效访问（但非 100% 覆盖，且仅限 debug） - 别依赖 “没崩就等于对”：未定义行为可能在优化级别变化、换平台、加日志后突然暴露
真正麻烦的不是记住哪条规则，而是那些看似无害的链式调用 —— 比如 v.erase(v.begin() + i)，你以为 v.begin() 是稳定的，却忘了 + 得到的临时迭代器在 erase 后立刻变成悬空指针。