唯一靠谱做法是std::remove_if+erase组合：remove_if仅重排保留元素并返回新尾迭代器，erase再物理截断，二者缺一不可；直接遍历调用erase会导致迭代器失效、跳项且时间复杂度退化为O(n²)。
用 std::remove_if + erase 是唯一靠谱做法
直接调用 vector::erase 遍历删除会跳过相邻元素，这是新手最常踩的坑。C++ 标准库不提供“边遍历边删”的安全接口，必须用「移除-擦除」惯用法（erase-remove idiom）。核心是：std::remove_if 把满足条件的元素挪到末尾并返回新逻辑结尾，再用 erase 一次性切掉那段内存。
它不是真删，只是重排；真正释放内存靠 erase。漏掉这一步，数据还在、size 不变、只是位置乱了。
-
remove_if要求谓词返回bool，且不能修改元素本身（否则行为未定义） - 谓词可以是 lambda、函数指针或仿函数，捕获变量需注意生命周期（比如引用外部容器要确保不析构）
- 对
vector<int></int>这类 trivial 类型，remove_if是 O(n) 时间 + 常数额外空间；对大对象，移动构造开销需实测
复杂条件怎么写进谓词里？别硬塞 if-else
所谓“复杂”，往往是多字段判断、依赖外部状态、或需要查表。这时候 lambda 捕获是最自然的选择，但要注意值捕获还是引用捕获。
比如要删掉所有 age > 30 且 score 的学生，同时排除黑名单 ID：
立即学习“C++免费学习笔记（深入）”；
std::vector<Student> students = {/* ... */};
std::set<int> banned_ids = {101, 205, 311};
<p>students.erase(
std::remove_if(students.begin(), students.end(),
[&banned_ids](const Student& s) {
return s.age > 30 && s.score < 60 && banned_ids.count(s.id);
}),
students.end()
);- 用
[&banned_ids]引用捕获，避免拷贝std::set；若banned_ids在 lambda 生命周期内可能被修改，就得加mutable并谨慎处理 - 谓词里不要调用可能抛异常的函数（如
at()），否则remove_if可能处于中间态，难以恢复 - 如果条件涉及浮点比较（比如
abs(x - target) ），务必写清楚 epsilon，别用 <code>==
为什么不用 std::erase_if（C++20）？
std::erase_if 看起来更直白，但它只在 C++20 起才成为标准算法，且仅对 std::vector、std::deque 等少数容器重载。如果你项目还卡在 C++14 或 C++17，它根本不可用。
即使可用，也要注意：它底层仍是调用 remove_if + erase，性能没差别；但部分老编译器（如 GCC 9.3 之前）对 erase_if 的 SFINAE 支持不稳，模板推导可能失败。
- 跨平台项目慎用，CI 流水线若混用 Clang/GCC/MSVC，容易出现“本地能跑线上挂”
- 若容器是自定义类型，
erase_if不一定有特化，而remove_if+erase总是通用的 - 调试时，分开写
remove_if和erase更容易打断点观察迭代器位置
删除后迭代器失效问题怎么避？
只要用了 erase，所有指向被删元素及之后元素的迭代器全部失效——这不是 bug，是 vector 内存连续性的必然结果。常见误操作是删完继续用旧迭代器遍历。
正确做法只有一条：删完就当整个容器“重置”，所有旧迭代器作废。如果业务逻辑必须边删边处理剩余元素，得改用索引或反向遍历：
// ❌ 错误：迭代器失效后还 ++it
for (auto it = v.begin(); it != v.end(); ++it) {
if (should_delete(*it)) v.erase(it); // it 失效！下一次 ++it 行为未定义
}
<p>// ✅ 正确：用索引，或 erase 返回下一个有效迭代器
for (auto it = v.begin(); it != v.end(); ) {
if (should_delete(*it)) it = v.erase(it); // erase 返回下一个
else ++it;
}- 反向遍历（
for (int i = v.size()-1; i >= 0; --i)）可避免迭代器失效干扰，适合简单索引条件 - 若删除后还需访问剩余元素，优先选
remove_if+erase两步分离，而不是在循环里混用 - 调试时可在
remove_if后加断言：assert(std::is_partitioned(v.begin(), v.end(), [](auto& x){return !pred(x);}))，验证重排是否符合预期
最易被忽略的是谓词中隐式拷贝：比如捕获一个大对象用值捕获，每次调用都拷贝一次；或者 lambda 捕获了 this 却没检查对象是否已析构。这些不会报错，但会让性能陡降或引发 UBSAN 崩溃。
