std::set 默认升序，自定义排序需传入满足严格弱序的比较对象；仿函数类需重载 const operator()，参数为 const 引用，如 struct CompareById { bool operator()(const std::pair<int,int>& a, const std::pair<int,int>& b) const { return a.first < b.first; } };
std::set 默认按升序排列，要实现自定义排序，必须在定义时传入比较对象（仿函数、lambda 或函数指针），且该比较逻辑必须满足严格弱序（strict weak ordering）——否则行为未定义，常见表现是插入失败、迭代器混乱或程序崩溃。
如何定义并传入仿函数类
仿函数即重载了 operator() 的结构体或类，它能保存状态，比函数指针更灵活。注意：必须为 const 成员函数，且参数为 const 引用（避免拷贝、符合 set 内部调用约定）。
struct CompareById {
bool operator()(const std::pair<int, std::string>& a,
const std::pair<int, std::string>& b) const {
return a.first < b.first; // 按 first 升序
}
};
<p>std::set<std::pair<int, std::string>, CompareById> mySet;- 类型名必须完整写出：
std::set<T, Compare>，不能省略第二个模板参数 - 仿函数类无需实例化，
std::set内部会默认构造一个临时对象 - 若需带状态（如逆序开关），可在构造时传参，并在成员变量中保存
使用 lambda 作为比较器的限制与写法
lambda 可读性好，但因类型唯一且不可名状，不能直接用于模板参数；必须用 decltype 推导，或封装进 std::function（不推荐，有性能开销）。最实用写法是就地声明 + decltype：
立即学习“C++免费学习笔记（深入）”；
auto cmp = [](const int& a, const int& b) { return a % 10 < b % 10; };
std::set<int, decltype(cmp)> s1(cmp); // 必须显式传入实例！
<p>// 错误：未提供实例，编译失败
// std::set<int, decltype(cmp)> s2; // ❌- lambda 必须是无捕获（capture-less），否则类型不可默认构造
- 必须在定义容器时传入 lambda 实例（如
cmp），仅类型不足以构造 set - 每次定义新 set 都要重复写
decltype+ 实例，不适合复用场景
常见错误：违反严格弱序导致 undefined behavior
最典型的错误是把 <=、!= 或逻辑反向写成 > 而非 ! 关系。例如以下写法会导致插入异常甚至死循环：
// ❌ 危险！不满足 irreflexivity（a < a 必须为 false）
bool operator()(const T& a, const T& b) const {
return a.key <= b.key; // 错！应为 <
}
<p>// ❌ 危险！不满足 transitivity（传递性难保证）
bool operator()(const T& a, const T& b) const {
return std::abs(a.x - b.x) < 1e-5; // 浮点近似比较禁止用于 set- 永远只用
<定义顺序，不要用>、<=、== - 浮点数慎用作 key；若必须，应转为整数倍或用固定精度量化后比较
- 多字段比较务必用「字典序」：先比主键，相等再比次键，用
&&和||组合，别用?:简写漏掉分支
为什么不能运行时切换比较逻辑
std::set 的比较器在构造时绑定，其类型和行为已固化于红黑树结构中；修改比较规则相当于重构整棵树，标准库不支持。若需多种排序视图，正确做法是：
- 维护原始数据容器（如
std::vector），按需用std::sort+ 不同 lambda 排序 - 用多个
std::set各自配不同比较器，共享同一份数据（注意同步更新） - 改用
std::map<Key, Value>存主键，再用索引std::set<Key, Comp>维护排序关系
仿函数不是语法糖，它是 set 正确工作的契约基础——写错一个符号，整个容器就不可靠。
