std::priority_queue通过第三个模板参数传自定义比较函数，默认为std::less（大顶堆），需显式指定比较器类型并传入实例，不可仅重载operator
std::priority_queue怎么传自定义比较函数
默认情况下 std::priority_queue 是大顶堆（最大值在顶部），但它的比较逻辑完全由第三个模板参数控制，不是靠重载 operator 就能自动生效的——很多人卡在这一步。
必须显式传入一个可调用类型（函数对象、lambda 或函数指针）作为模板参数，且该类型需满足「严格弱序」：对任意 a、b，comp(a, b) 为 true 表示 a 应排在 b 之后（即 b 优先级更高）。
常见错误是写成 std::less<t></t> 就以为能控制顺序，其实 std::less 只是对 operator 的封装；若结构体没定义 <code>operator，编译直接失败。
- 正确写法（以结构体
Task按priority升序排列，即小顶堆）：struct Task { int id; int priority; }; auto cmp = [](const Task& a, const Task& b) { return a.priority > b.priority; }; std::priority_queue<Task, std::vector<Task>, decltype(cmp)> pq(cmp); - 若用类仿函数，注意必须有
operator()且为const：struct CompareTask { bool operator()(const Task& a, const Task& b) const { return a.priority > b.priority; // 小顶堆 } }; std::priority_queue<Task, std::vector<Task>, CompareTask> pq; - 不能只写
std::priority_queue<task std::vector>, std::greater<task>></task></task>——除非你已为Task定义了operator>，否则编译不过
结构体里不重载operator
可以，而且推荐不重载。重载 operator 会把语义绑定死（比如所有容器都按 priority 排），但实际中同一结构体可能在不同场景按不同字段排序（如按 deadline、按 cost）。硬编码比较逻辑反而降低复用性。
立即学习“C++免费学习笔记（深入）”；
真正需要的是「按需定制」：每次声明 priority_queue 时单独指定比较逻辑，互不影响。
- 如果结构体字段多，lambda 写起来冗长，就封装成命名的仿函数类，比全局
operator 更清晰 - 避免在结构体内写
friend bool operator ——这会让 <code>std::sort等也受干扰，且无法支持多字段组合排序（比如先按 priority，相等时按 id） - 若真要用
operator，确保它表达的是该类型的「自然序」，否则后续调试会混乱
为什么按 priority 升序却要写 a.priority > b.priority
这是最容易混淆的点：std::priority_queue 的第三个模板参数是「Less-than-like comparator」，但它实际定义的是「谁该被压到下面」。标准库文档明确说：若 comp(a, b) == true，则 a 会被认为「优先级低于」b，因此 b 在堆顶。
所以要实现小顶堆（最小 priority 在顶），就得让「较小的 priority 值」对应更高的优先级，即当 a.priority > b.priority 时，b 应该更靠近顶部。
- 记口诀：「返回 true 表示左边该排在右边下面」
- 验证方式：手写两个元素，代入你的 lambda，看 true 是否出现在「低优先级元素在前」时
- 别依赖直觉，每次不确定就用两个元素手动跑一遍逻辑
性能和内存要注意什么
std::priority_queue 底层是 std::vector，所有操作都是基于堆算法（push/pop 是 O(log n)），但自定义比较本身几乎无开销——现代编译器能内联 trivial lambda 和仿函数。
真正影响性能的是比较函数是否轻量。如果比较逻辑涉及字符串比较、函数调用或内存访问，会显著拖慢 push/pop。
- 避免在比较函数里做深拷贝、IO、锁、或调用虚函数
- 结构体建议用
const&接收，尤其字段多或含大对象时 - 如果比较字段是索引（如 int id），直接比就行；如果是
std::string字段，考虑存 hash 或用std::string_view（C++17+） - 不要为了省事把整个结构体塞进
std::tuple再用std::get比较——可读性差，且 tuple 构造有额外成本
operator 就一劳永逸。堆的行为只认你传进去的那个 callable，别的都无关。 
