c++oding="utf-8" ?>
c++ std::priority_queue 默认是大顶堆，因其第三个模板参数默认为 std::less，它通过 a
默认是大顶堆，想用小顶堆或自定义优先级，必须显式传入比较器，不能只改
push或top逻辑。为什么 priority_queue 默认是大顶堆？
C++ 标准库的
std::priority_queue底层用的是最大堆（max-heap），即top()返回最大元素。它的第三个模板参数默认是std::less<t></t>，而std::less在调用operator 时，会让“更大的值”被优先弹出——这正是大顶堆行为。常见误解：以为把
vector换成deque或改compare函数体就能翻转顺序。错。关键在比较器语义是否与堆维护逻辑一致。
std::less<int></int>→ 等价于a ，堆中“b 比 a 大”时 b 更靠前 → 大顶堆std::greater<int></int>→ 等价于a > b，堆中“b 比 a 小”时 b 更靠前 → 小顶堆- 自定义仿函数/lambda 必须满足严格弱序（strict weak ordering），且返回
true表示“左操作数应排在右操作数之后”（即右操作数优先级更高）小顶堆怎么写？别漏掉第三个模板参数
直接用
std::greater最稳妥。注意：它不是函数对象实例，而是类型名，要写在模板参数里；如果只写priority_queue<int vector>, greater<int>></int></int>而不加std::前缀，会编译失败（除非 using 声明）。priority_queue<int vector>, greater<int>> min_heap; // ✅ 小顶堆 min_heap.push(3); min_heap.push(1); min_heap.push(4); // top() == 1 </int></int>
- 不能只写
priority_queue<int vector>, greater></int>（C++20 才支持类模板参数推导，且需编译器开启 C++20）- 不能把
greater<int>()</int>（带括号的实例）塞进模板参数——那是构造函数调用，不是类型- 容器类型（第二个参数）不能省略，即使你只想换比较器
自定义结构体的优先级：仿函数比 lambda 更实用
lambda 无法作为模板参数（类型不可名状），所以不能直接用于
priority_queue模板声明。必须用仿函数（functor）或函数指针（不推荐）。struct Task { int id; int priority; bool operator q1; // ✅ 正确：用仿函数反转逻辑（低 priority 先出） struct CompareLowPriority { bool operator()(const Task& a, const Task& b) const { return a.priority > b.priority; // 注意：这里 return true 表示 a 应排在 b 后面 → b 优先级更高 } }; priority_queue<task vector>, CompareLowPriority> q2; </task>
- 仿函数的
operator()返回true，表示第一个参数“优先级更低”，会被堆沉到下面- 不要依赖
operator 重载来控制优先队列行为——它只影响默认比较器，一旦指定第三个参数，就完全忽略它- 若字段多（如先比 priority，相等再比 id），仿函数里手动写清楚逻辑，避免
tie引发的临时对象开销性能和兼容性陷阱：容器选择与移动语义
priority_queue第二个模板参数默认是vector，但有人会想换成deque来避免 realloc。别这么做——deque的随机访问常数因子更大，make_heap/push_heap等算法对deque支持差，GCC libstdc++ 甚至可能静默降级为低效路径。
- 保持默认
vector，除非你明确测出内存碎片是瓶颈，且愿意自己封装 heap 操作- 存大型对象时，确保类型支持移动（或至少有 noexcept 移动构造），否则每次
push可能触发深拷贝- 用
emplace替代push构造对象，避免临时对象；但注意：如果比较器捕获了外部状态（比如闭包），就不能用 lambda，只能回退到仿函数+成员变量最易被忽略的一点：比较器对象在队列整个生命周期内必须有效。若用绑定局部变量的
std::function包装仿函数，很容易悬垂——优先队列内部不管理比较器生命周期，只保存其副本。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
