C++ std::priority_queue 默认是大顶堆,因其第三个模板参数默认为 std::less,它通过 a < b 判定“b 更大则优先”,符合最大堆语义;改用小顶堆必须显式指定 std::greater<int> 作为比较器类型,而非仅修改 push 或 top 逻辑。

默认是大顶堆,想用小顶堆或自定义优先级,必须显式传入比较器,不能只改 push 或 top 逻辑。
为什么 priority_queue 默认是大顶堆?
C++ 标准库的 std::priority_queue 底层用的是最大堆(max-heap),即 top() 返回最大元素。它的第三个模板参数默认是 std::less<t></t>,而 std::less 在调用 operator< 时,会让“更大的值”被优先弹出——这正是大顶堆行为。
常见误解:以为把 vector 换成 deque 或改 compare 函数体就能翻转顺序。错。关键在比较器语义是否与堆维护逻辑一致。
-
std::less<int>→ 等价于a < b,堆中“b 比 a 大”时 b 更靠前 → 大顶堆 -
std::greater<int>→ 等价于a > b,堆中“b 比 a 小”时 b 更靠前 → 小顶堆 - 自定义仿函数/lambda 必须满足严格弱序(strict weak ordering),且返回
true表示“左操作数应排在右操作数之后”(即右操作数优先级更高)
小顶堆怎么写?别漏掉第三个模板参数
直接用 std::greater 最稳妥。注意:它不是函数对象实例,而是类型名,要写在模板参数里;如果只写 priority_queue<int, vector<int>, greater<int>> 而不加 std:: 前缀,会编译失败(除非 using 声明)。
立即学习“C++免费学习笔记(深入)”;
priority_queue<int, vector<int>, greater<int>> min_heap; // ✅ 小顶堆 min_heap.push(3); min_heap.push(1); min_heap.push(4); // top() == 1
- 不能只写
priority_queue<int, vector<int>, greater<>>(C++20 才支持类模板参数推导,且需编译器开启 C++20) - 不能把
greater<int>()(带括号的实例)塞进模板参数——那是构造函数调用,不是类型 - 容器类型(第二个参数)不能省略,即使你只想换比较器
自定义结构体的优先级:仿函数比 lambda 更实用
lambda 无法作为模板参数(类型不可名状),所以不能直接用于 priority_queue 模板声明。必须用仿函数(functor)或函数指针(不推荐)。
struct Task {
int id;
int priority;
bool operator<(const Task& rhs) const { return priority < rhs.priority; }
};
// ❌ 错误:仍按 operator< 构建大顶堆(高 priority 先出)
priority_queue<Task> 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<Task>, CompareLowPriority> q2;
- 仿函数的
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 包装仿函数,很容易悬垂——优先队列内部不管理比较器生命周期,只保存其副本。


















