C++如何判断迭代器是否失效-C++-PHP中文网

c++标准未提供检测迭代器失效的接口，所有检测手段均不可靠且可能导致未定义行为；失效本质是底层状态指向非法内存，运行时无元信息可查，安全做法是编码阶段规避而非运行时判断。

c++如何判断迭代器是否失效

不能直接判断迭代器是否失效 —— C++ 标准没有提供任何 is_valid() 或类似接口，所有试图“检测”失效迭代器的手段都是不可靠的、非标准的，甚至本身就是未定义行为的源头。

迭代器失效的本质是底层指针/状态指向了已释放内存、已移动元素或根本不存在的位置。这种状态在语言层面不暴露给用户，运行时也无元信息可查。

vector 的迭代器失效高度依赖容量变化：只要发生 realloc（即 size() > capacity() 触发扩容），所有现存迭代器、指针、引用全部失效；否则只影响插入点及之后位置。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

push_back() 后，原 begin() 迭代器是否有效？→ 查 v.capacity() >= v.size() 之前值；但你无法回溯这个值，所以不能靠判断，只能靠预防
reserve(n) 能避免扩容类失效，但不能防止插入点后迭代器失效（例如 insert(it, x) 会使 it 及之后所有迭代器失效）
别试图用 it - v.begin() 算偏移再重算 —— 如果 it 已失效，减法本身已是 UB

节点式容器（list、map、set、unordered_map）的迭代器只在指向被删节点时失效，但很多人忽略 erase() 返回值的正确使用。

it = c.erase(it) 是唯一安全方式；写成 c.erase(it); ++it; 必然 UB，因为 it 已失效，++it 不合法
遍历中条件删除必须用 while + 手动控制迭代器前进：for (auto it = c.begin(); it != c.end(); ) { if (...) it = c.erase(it); else ++it; }
end() 迭代器本身也受修改影响：某些操作（如 vector::erase 最后一个元素）会让旧 end() 失效，不应长期缓存

与其纠结“怎么判断”，不如从设计上绕开问题。失效不是 bug，而是容器语义的一部分；应对它的核心是：操作后立即更新，或改用更鲁棒的访问方式。

修改容器前，若需后续访问某元素，优先保存索引（size_t pos = it - c.begin()）而非迭代器；对 list/map 则保存 key 或指针
批量删除统一用 remove_if + erase 惯式（vector）或 erase 返回值循环（所有容器）
调试阶段启用 STL debug mode（如 GCC 的 -D_GLIBCXX_DEBUG，MSVC 的 _ITERATOR_DEBUG_LEVEL=2），但它只报错，不帮你“判断”
对性能敏感场景，vector 预留空间 + 避免中间插入；list 改用 splice 替代反复 erase/insert