erase后必须用返回值更新迭代器，正确写法是it = vec.erase(it)，因其返回指向被删元素后一位置的有效迭代器；若先++it再erase或erase后++it均导致未定义行为或漏删元素。
erase 后必须用返回值更新迭代器，不能 ++it
直接写 vec.erase(it)++ 或 ++it 后再 erase 是典型错误。因为 erase 会令当前 it 失效，而 ++it 对已失效迭代器操作是未定义行为，Linux 下可能暂时不崩溃，但 Windows/MSVC 或 ASan 检测下大概率报错 vector iterator not incrementable。
正确做法是让 it 接收 erase 的返回值——它天然指向被删元素的下一个有效位置：
for (auto it = vec.begin(); it != vec.end(); ) {
if (should_remove(*it)) {
it = vec.erase(it); // ✅ 安全：it 已重置为合法迭代器
} else {
++it; // ✅ 仅对未删除时递增
}
}
-
erase删除末尾元素时返回vec.end()，循环自然退出 - 若删的是中间元素，返回的是原
it + 1对应的新地址（内存前移后的位置） - 切勿在
erase后还执行++it，否则会跳过下一个元素（比如删掉 4 后it指向 5，再++it就直接到 6，漏掉 5）
用索引遍历 vector 避开迭代器失效更简单
如果只是按值或条件删元素，不用依赖迭代器语义，size_t i 索引方式反而更直白、不易出错：
for (size_t i = 0; i < vec.size(); ) {
if (vec[i] == 42) {
vec.erase(vec.begin() + i); // 删除后 size 变小，i 不变
} else {
++i;
}
}
- 删除时不改变索引变量
i，下一轮继续检查同一位置（因为后续元素已前移） - 没有迭代器生命周期管理负担，也不受扩容影响（
erase不扩容） - 注意：
vec.begin() + i在i >= vec.size()时非法，所以循环条件必须是i ，不能缓存初值
别用 range-for 配合 erase
for (auto& x : vec) 本质是隐式构造了 begin/end 迭代器，一旦在循环体内调用 vec.erase(...)，整个范围迭代器全部失效，后续循环体执行就是未定义行为。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
以下代码看似简洁，实则危险：
for (auto& x : vec) { // ❌ 错误：x 的引用可能悬空
if (x % 2 == 0) {
vec.erase(std::find(vec.begin(), vec.end(), x)); // 失效所有迭代器
}
}
- 即使你用
std::remove_if+erase组合，也得在 range-for 外完成，不能混用 - range-for 只适用于只读遍历；修改容器请回归传统 for 或算法接口
erase 返回值类型和兼容性要注意
std::vector::erase 返回 iterator，但 C++20 起 std::string::erase 和某些容器（如 std::deque）返回类型不同，std::string 返回的是 size_type（删掉的字符数），不是迭代器。
- 写通用模板时别假设所有
erase都返回迭代器，查文档确认 -
std::list::erase也返回iterator，但它的迭代器删除后其他迭代器仍有效，逻辑上比vector宽松 - 跨平台开发时，别依赖 Linux 下“失效迭代器还能凑合用”的行为，Clang/ASan 或 MSVC 会立刻暴露问题
end()、size() 或中间迭代器，在 erase 后都可能失效**。哪怕你没显式用迭代器，只要用了 vec[i] 就得确保 i 是实时判断的。 
