17370845950

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

为什么不能直接用 vector::erase 遍历时删除？

因为迭代器失效：调用 erase 后，被删元素之后的所有迭代器（包括 it 本身）都可能失效。继续 ++it 就是未定义行为，常见表现是跳过元素、崩溃或无限循环。

remove_if + erase 是标准惯用法

remove_if 不真删，而是把不满足条件的元素往前搬，返回一个新逻辑尾迭代器；再用 erase 一次性删掉后面那段“垃圾区”。这是唯一安全、高效、符合 STL 惯例的做法。

示例：删除所有偶数

std::vector v = {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，因为第一次重排后原顺序已乱，第二次判断可能误伤。

正确做法：合并逻辑到一个谓词里

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 返回值当成了被删元素个数（其实是新尾迭代器）。这两个点一错，程序就静默出错。