std::sort传自定义比较函数需满足compare概念，签名应为bool(const t&, const t&)；priority_queue的compare参数是类型而非实例，需用结构体或c++17的lambda实例初始化。
sort 传自定义比较函数必须是可调用对象
你写了个 bool cmp(int a, int b)，直接传给 std::sort(v.begin(), v.end(), cmp)，编译报错？常见原因是：函数指针类型不匹配或捕获了局部变量的 lambda 未显式声明为可调用。C++11 起 std::sort 要求第三个参数满足 Compare 概念——即调用时能接受两个参数并返回 bool，且不能有副作用。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 普通函数：确保签名是
bool (const T&, const T&)，比如bool cmp(const int& a, const int& b) { return a > b; } - lambda：若不捕获，直接用；若需捕获（如用到外部
vector或阈值），必须用[&]或[=]，且不能返回引用或 void - 结构体重载
operator()：适合复杂逻辑，注意成员变量是否 const-safe - 别传
&cmp——函数名本身已退化为指针，加取址符反而可能触发模板推导失败
priority_queue 的 Compare 类型必须是类型名，不是值
你写 priority_queue<int vector>, cmp></int> 报错？cmp 是函数名或 lambda 变量，但模板参数要的是类型。C++ 标准容器模板的第三个参数是「比较器类型」，不是比较器实例。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 用函数对象类型：定义
struct Greater { bool operator()(int a, int b) const { return a > b; } };，然后priority_queue<int vector>, Greater></int> - 用 lambda 类型：C++17 起支持
auto cmp = [](int a, int b) { return a > b; };+priority_queue<int vector>, decltype(cmp)> q(cmp);</int>——注意必须传实例初始化 - 别写
priority_queue<int vector>, cmp()></int>：括号是语法错误，类型后不能带() - 默认是最大堆；最小堆用
greater<int></int>，别手写a 当 Compare——那会变成最大堆（因为 priority_queue 默认用 less，而 less(a,b) 为 true 表示 a 应该排在 b 前面）
自定义比较函数里访问外部状态容易出悬垂引用
你在 lambda 里捕获了局部容器，塞进 sort 或 priority_queue，运行时崩溃或结果错乱？典型原因是：捕获了栈上变量的引用，而排序/建堆过程可能跨作用域，或容器被移动、析构后还在调用比较函数。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 优先按值捕获（
[=]）而不是引用捕获（[&]），尤其当被比较的数据生命周期短于容器本身 - 若必须引用外部数据（如全局配置、只读 lookup 表），确保该数据的生命周期覆盖整个排序/队列使用期
- 对
priority_queue，构造时传入的比较器实例若含引用，其绑定对象不能在队列存活期间销毁 - 调试技巧：在比较函数里加
assert(&some_ref != nullptr)，或打印地址，确认没悬垂
less/greater 和自定义 Compare 的语义必须严格弱序
你写了 return a 或 <code>return abs(a) ，结果 <code>sort 崩溃或 priority_queue 行为异常？C++ 要求 Compare 必须满足「严格弱序」：不可自反（comp(x,x) 必须为 false）、不可对称、传递，且等价类必须可划分。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 禁止用
、<code>==、!=作为比较逻辑主干；必须用或 <code>>构建单向关系 - 多字段比较别漏掉中间相等的情况，比如按
name升序、age降序，得写if (a.name != b.name) return a.name b.age; - 浮点数慎用
==判断相等再分支，优先用abs(a - b) 配合严格小于逻辑 - STL 不检查弱序性，出问题往往表现为段错误、无限循环或随机结果，很难定位
最常被忽略的是：以为“只要能编译、能跑通几个测试用例”就代表 Compare 正确。实际它必须数学上成立，否则行为未定义——不是“偶尔错”，而是“任何时候都可能崩”。
