不能边遍历边erase，因erase使迭代器失效且未用其返回值更新，导致越界；正确做法是erase-remove惯用法或C++20 ranges::erase_if。
为什么不能边遍历边erase
直接用 for (auto it = v.begin(); it != v.end(); ++it) 遇到匹配就调 v.erase(it)，会导致迭代器失效——erase 返回的下一个有效迭代器被你丢弃了，++it 就踩内存。常见表现是程序崩溃、跳过元素或无限循环。
根本原因是 std::vector::erase 会移动后续所有元素，原 it 指向的位置已无效，而 ++it 仍按旧布局递增，必然越界。
- 错误写法：
for (auto it = v.begin(); it != v.end(); ++it) if (*it % 2 == 0) v.erase(it); - 正确做法：必须用
erase的返回值更新迭代器，即it = v.erase(it)；但这样逻辑绕，易漏写，且效率低（每次删都搬移后段）
erase-remove惯用法怎么写才不翻车
核心是两步分离：先用 std::remove 把要删的元素“挤”到末尾，再用 erase 一次性截掉。注意：std::remove 不真的删，只是重排，返回新逻辑结尾，所以必须配对 erase。
关键点在于：传给 remove 的谓词逻辑必须和你想要“删除”的条件完全一致；否则留下的不是你要的。
立即学习“C++免费学习笔记（深入）”；
- 删偶数：
v.erase(std::remove_if(v.begin(), v.end(), [](int x) { return x % 2 == 0; }), v.end()); - 删空字符串：
v.erase(std::remove(v.begin(), v.end(), ""), v.end());（用remove而非remove_if） - 误用陷阱：写成
v.erase(v.begin(), std::remove_if(...))—— 这会删掉开头一段，完全反了
lambda捕获与性能要注意什么
如果判断条件依赖外部变量（比如阈值、容器、状态），必须在 lambda 中正确捕获。但别无脑用 [&]：若 vector 生命周期短于 lambda（比如传给异步函数），引用捕获会悬垂。
std::remove_if 是顺序遍历，O(n)，没有额外分配；但 vector 的 erase 后半段仍是 O(k×m)（k 个待删，m 是平均后移长度）。若删除比例高（>30%），考虑用 std::stable_partition + resize 或换用 std::list（仅当频繁删中间且 size 大）。
- 安全捕获阈值：
[threshold=5](int x) { return x > threshold; }（值捕获） - 避免悬垂：
[vec_ref = std::ref(some_vec)](int x) { return vec_ref.get().count(x); } - 不要用
std::remove_if处理vector<bool></bool>—— 它是特化代理类，迭代器行为异常，改用手工循环或vector<char></char>
替代方案：C++20 ranges::erase_remove_if 实战效果
C++20 提供了更直观的写法：std::ranges::erase_if(v, [](int x) { return x 。它内部封装了 erase-remove，语义清晰，且支持所有 range（包括子视图），无需手动传 begin/end。
但要注意：MSVC 19.30+、GCC 11+、Clang 12+ 才完整支持；项目若需兼容旧标准，别贸然切过去。另外，它不改变算法复杂度，只是语法糖。
- 启用方式：确保编译选项含
-std=c++20，并包含<algorithm> - 不能用于 const 容器，也不能用于 map/set —— 它只针对可变序列容器
- 调试时仍建议先用传统 erase-remove，确认逻辑正确后再换 ranges 版本
erase_if 看似省事，但编译器支持和团队熟悉度才是落地门槛。别为了语法简洁牺牲可维护性。 
