std::set自定义比较必须是严格弱序，因模板参数要求类型而非值，需提供满足严格弱序的可调用对象类型：comp(a,a)恒假，comp(a,b)与comp(b,c)为真则comp(a,c)必真，且不可循环。
为什么 std::set 的自定义比较必须是“严格弱序”
直接传一个普通函数或 lambda 给 std::set 不行，因为模板参数要求的是**类型**，不是值。你得提供一个可调用对象的类型（比如仿函数类、std::function 类型，或 C++20 的 auto 模板参数），且该类型必须满足严格弱序（strict weak ordering）：即对任意 a、b、c，comp(a, a) 必须为 false；若 comp(a, b) 和 comp(b, c) 为真，则 comp(a, c) 也必须为真；同时不能出现循环比较（如 a 、<code>b 、<code>c 同时成立）。违反这点会导致 <code>insert、find 行为未定义——常见现象是元素“消失”或 find 返回 end() 即使它明明在容器里。
三种写法：仿函数类、lambda 类型推导、C++20 auto 模板参数
最稳妥的是定义仿函数类：
struct ByLength {
bool operator()(const std::string& a, const std::string& b) const {
return a.length() < b.length(); // 注意：不能用 <=
}
};
std::set<std::string, ByLength> s;
如果用 lambda，必须显式指定类型（C++11/14）：
- 不能直接写
std::set<int, [](int a, int b){return a > b;}>—— lambda 类型不可名状，编译不过 - 得用
decltype提取类型：auto cmp = [](int a, int b) { return a > b; }; std::set<int, decltype(cmp)> s(cmp); - C++20 起支持模板参数为
auto：std::set<int, decltype([](int a, int b){return a > b;} )> s;，但依然要传实例（构造时需带实参）
比较函数捕获外部变量时的陷阱
如果比较逻辑依赖运行时数据（比如按某个阈值截断字符串再比较），必须用可拷贝的捕获方式，并确保生命周期安全：
立即学习“C++免费学习笔记（深入）”；
- 用
[=]或[val]捕获值没问题，但[&ref]危险——若set生命周期长于ref，后续比较会读悬垂引用 - 若捕获的是
std::shared_ptr或std::string等，注意拷贝开销；频繁插入时可能成为性能瓶颈 - 不要在比较函数里修改外部状态（比如计数器），
set可能多次调用它且顺序不确定
示例（安全）：
int threshold = 5;
auto cmp = [threshold](const std::string& a, const std::string& b) {
return a.substr(0, threshold) < b.substr(0, threshold);
};
std::set<std::string, decltype(cmp)> s(cmp);
和 std::map 自定义键比较的区别
std::set<T, Comp> 的 Comp 是对 T 类型本身比较；而 std::map<K, V, Comp> 的 Comp 是对键类型 K 比较——两者模板参数位置一致，但语义对象不同。容易混淆的是：如果你把 std::pair<int, std::string> 当作 set 元素，比较函数必须接受两个 std::pair；若误写成只比较 int 字段，会导致相同 int 值的不同 pair 被视为重复而拒绝插入。
真正关键的细节是：比较函数签名必须是 bool(const T&, const T&)，哪怕 T 是自定义结构体，也不能省略 const 引用——否则无法绑定到 set 内部的 const 元素。
