不能直接用 vector::erase 遍历时删除,因 erase 会导致后续迭代器失效,继续 ++it 将引发未定义行为;应使用 remove_if + erase 组合:前者重排保留元素并返回新逻辑尾迭代器,后者一次性删除“垃圾区”,安全高效且符合 STL 惯例。

为什么不能直接用 vector::erase 遍历时删除?
因为迭代器失效:调用 erase 后,被删元素之后的所有迭代器(包括 it 本身)都可能失效。继续 ++it 就是未定义行为,常见表现是跳过元素、崩溃或无限循环。
remove_if + erase 是标准惯用法
remove_if 不真删,而是把不满足条件的元素往前搬,返回一个新逻辑尾迭代器;再用 erase 一次性删掉后面那段“垃圾区”。这是唯一安全、高效、符合 STL 惯例的做法。
示例:删除所有偶数
std::vectorv = {1, 2, 3, 4, 5, 6}; v.erase( std::remove_if(v.begin(), v.end(), [](int x) { return x % 2 == 0; }), v.end() ); // v 变成 {1, 3, 5}
-
remove_if返回的是“新末尾”,不是被删元素的迭代器 - 必须配对使用
erase,否则只是重排,size 不变 - lambda 捕获需谨慎:若需访问外部变量,用
[&]或显式捕获,避免悬垂引用
删除多个不同条件时别嵌套 remove_if
比如既要删偶数又要删大于 10 的数——不要写两遍 remove_if,因为第一次重排后原顺序已乱,第二次判断可能误伤。
立即学习“C++免费学习笔记(深入)”;
正确做法:合并逻辑到一个谓词里
v.erase(
std::remove_if(v.begin(), v.end(), [](int x) {
return x % 2 == 0 || x > 10;
}),
v.end()
);
- 复杂条件优先在 lambda 内部组合,而非多次搬运数据
- 若条件来自运行时配置,可提前构造好谓词对象,避免重复计算
- 注意短路求值:
||和&&在 lambda 中仍生效
性能与移动语义的影响
对于非 trivial 类型(如含指针、资源的类),remove_if 会调用多次移动构造/赋值。如果类型移动代价高,且容器很大,要考虑是否值得——有时倒序遍历 + 单次 erase 反而更快(尤其只删少量元素时)。
- 内置类型、小结构体:放心用
remove_if+erase - 大对象或自定义移动开销大的类:先
std::partition或手写反向循环 +erase可能更优 - 永远不要假设
remove_if是“零成本抽象”——它确实重排内存,不是纯逻辑操作
erase 这一步,或者把 remove_if 返回值当成了被删元素个数(其实是新尾迭代器)。这两个点一错,程序就静默出错。











