必须为自定义结构体提供严格弱序比较逻辑才能放入std::set，最常用方式是重载const成员函数operator<，或使用外部比较器；忽略严格弱序将导致未定义行为。
不能直接往 std::set 里塞自定义结构体，必须提供比较逻辑——否则编译失败，报错 error: no match for 'operator<'。
为什么重载 operator< 是最常用方式
因为 std::set 默认用 std::less<Key> 比较，它内部调用 operator<。只要你的结构体定义了这个函数，就能无缝使用。
- 必须是
const成员函数，且参数为const&，避免拷贝和意外修改 - 必须满足严格弱序：比如按
age排序时，若a.age == b.age，不能直接返回false，得继续比name，否则相同age的多个对象会被视为“相等”，导致插入失败或丢失 - 不要在
operator<里做耗时操作（如字符串处理、IO），影响insert/find性能
示例：
struct Person {
int age;
std::string name;
bool operator<(const Person& other) const {
if (age != other.age) return age < other.age;
return name < other.name; // 避免 age 相同时无序
}
};
std::set<Person> s;
s.insert({25, "Alice"});
s.insert({25, "Bob"}); // ✅ 可插入，因 name 不同
用自定义比较器（Functor）更灵活
当你需要多种排序方式（比如一会儿按年龄、一会儿按姓名），或者结构体不能改（第三方库类型），就该用外部比较器。
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 比较器必须是可调用对象，通常写成
struct并重载operator()，且函数为const - 模板实例化时显式传入类型：
std::set<Person, CompareByName>，不能靠 ADL 自动推导 - Lambda 也可用，但要注意生命周期：局部 lambda 不能作为模板参数（C++17 起支持
auto模板参数，但受限于上下文）
示例：
struct CompareByName {
bool operator()(const Person& a, const Person& b) const {
return a.name < b.name;
}
};
std::set<Person, CompareByName> byNameSet;
常见错误：忽略严格弱序，导致行为未定义
一旦比较逻辑不满足反对称性或传递性，std::set 内部红黑树可能崩溃、迭代器失效、find 返回错误结果——这些 bug 很难复现，调试成本极高。
- 错误写法：
return age <= other.age;——<=不满足非自反性（a <= a为真，但 set 要求a < a必须为假） - 错误写法：只比
age，不处理相等情况 → 相同age的不同人被当作“等价”，第二次插入会被静默忽略 - 错误写法：在比较器里调用
std::cout或修改成员变量 → 违反const语义，且破坏纯比较逻辑
别和 unordered_set 搞混
std::set 是有序容器，依赖比较；unordered_set 是哈希容器，需要 hash 和 ==，完全两套机制。想用哈希，就得另写 std::hash<Person> 特化 + 重载 operator==，和这里的 operator< 或比较器无关。
真正容易被忽略的点是：哪怕你只打算按单字段排序，也得确认该字段是否足够区分所有合法对象；否则看似能编译、能运行，却在数据量变大后出现去重异常或遍历跳项——这是红黑树底层对比较结果的强假设所致。
