正确删除set元素需用erase返回值更新迭代器，因erase会使原迭代器失效；remove_if不适用于set；范围删除应优先用lower_bound/upper_bound；lambda参数须为const引用以匹配set的const迭代器解引用。
用 erase 配合迭代器遍历时不能直接 ++it
直接写 for (auto it = s.begin(); it != s.end(); ++it) 然后在循环里调用 s.erase(it) 会导致 it 失效，下一次 ++it 行为未定义——这是最常踩的坑。C++ set::erase(iterator) 删除后会令该迭代器失效，且不保证返回下一个有效迭代器（这点和 list 不同）。
正确做法是使用 erase 的返回值：它返回被删元素之后的下一个有效迭代器。所以要写成：
for (auto it = s.begin(); it != s.end(); ) {
if (condition(*it)) {
it = s.erase(it); // erase 返回下一个有效迭代器
} else {
++it;
}
}
remove_if 不适用于 std::set
std::remove_if 是为可随机访问或支持赋值覆盖的容器设计的（如 vector），它通过移动元素来“逻辑删除”，再配合 erase 清理尾部。但 set 是基于红黑树的有序关联容器，元素不可赋值、不可移动覆盖，remove_if 对它完全无效，编译都过不了。
别尝试：
立即学习“C++免费学习笔记（深入）”；
// 错误！set 没有 remove_if 支持，这段代码无法编译 s.erase(std::remove_if(s.begin(), s.end(), condition), s.end());
批量删除建议用 lower_bound + upper_bound 范围擦除
如果条件是“删除所有大于 5 且小于 10 的元素”，本质是按值范围删除，这时用 lower_bound 和 upper_bound 获取迭代器区间，再一次性 erase(first, last)，效率比逐个判断高得多（O(log n) 定位 + O(k) 删除 k 个元素，而非 O(k log n)）。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
例如：
int low = 5, high = 10; auto first = s.lower_bound(low); auto last = s.upper_bound(high); s.erase(first, last);
注意：upper_bound(high) 返回第一个 > high 的位置，所以 [first, last) 正好覆盖所有满足 low ≤ x ≤ high 的元素（前提是 set 存的是可比较类型）。
lambda 捕获与 const 正确性问题
在循环中用 lambda 判断时，如果捕获了局部变量（比如 [&x]），要注意 set 迭代器解引用得到的是 const value_type&，所以 lambda 参数必须声明为 const T& 或 auto（C++14+），否则可能编译失败：
int threshold = 42;
s.erase(std::remove_if(s.begin(), s.end(),
[threshold](const int& v) { return v > threshold; }), // 必须加 const &
s.end());
不过再次强调：上面这行对 set 无效，仅作 const 正确性示意。实际仍得用带返回值的 erase 迭代模式。
真正容易被忽略的是：哪怕条件看似简单（比如“删除所有偶数”），只要不是连续区间，就只能逐个判断；而每次 erase 都涉及树节点重平衡，频繁删除小对象时性能开销比想象中大。能合并成范围删的，尽量合并。
