std::priority_queue模板参数顺序固定为<元素类型, 容器类型, 比较器类型>，缺一不可；默认大顶堆，小顶堆需用std::greater；自定义比较器须满足严格弱序且const operator()，lambda需用decltype+显式传参。
std::priority_queue的模板参数顺序不能错
默认情况下，std::priority_queue 是大顶堆（最大值在顶部），底层容器是 std::vector，比较器是 std::less。要自定义比较逻辑，必须显式写出全部三个模板参数，顺序固定为：std::priority_queue<t container compare></t>。漏掉中间的容器类型（哪怕用默认）会导致编译失败，比如写成 std::priority_queue<int std::greater>></int> 就会报错 —— 编译器会把 std::greater<int></int> 当作容器类型，而它根本不是容器。
常见错误现象：error: no type named 'value_type' in 'std::greater<int>'</int>。
- 必须写全：例如小顶堆整数 →
std::priority_queue<int std::vector>, std::greater<int>></int></int> - 如果用自定义类，容器不能省略，即使仍是
std::vector<mystruct></mystruct> - 比较器类型必须满足“可调用对象类型”，可以是函数对象、lambda 类型（需用 decltype 包裹）、或函数指针
用 lambda 写比较器时得用 decltype + 括号初始化
lambda 表达式是匿名类型，无法直接作为模板参数名写进 std::priority_queue 模板里。你不能写 std::priority_queue<int vector>, [] (int a, int b) { return a > b; }></int> —— 这语法非法。
正确做法是先定义 lambda 变量，用 decltype 提取其类型，再用该类型实例化队列，并在构造时传入 lambda 值：
立即学习“C++免费学习笔记（深入）”；
auto cmp = [] (int a, int b) { return a > b; };
std::priority_queue<int, std::vector<int>, decltype(cmp)> pq(cmp);
注意两点：一是变量 cmp 必须在队列声明前定义；二是构造时必须显式传入 cmp，否则编译不过（因为没有默认构造的 lambda 实例）。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- lambda 捕获列表必须为空（
[ ]），带捕获的 lambda 类型不可默认构造，也无法用于模板参数 - 若想复用同一 lambda 类型，建议封装成命名结构体，避免反复用 decltype
- 性能上无额外开销：lambda 作为函数对象，调用完全内联，和普通函数对象一致
自定义 struct 的比较器要重载 operator() 且注意逻辑方向
std::priority_queue 的比较器语义是“是否应将 a 排在 b 前面”，但实际判断的是：当 comp(a, b) == true 时，a 会被视为“优先级更低”，即 b 会更靠近队首。换句话说，这个比较器定义的是“小于”关系（严格弱序），而不是“谁该先弹出”。
比如你想让时间戳小的先处理（FIFO-like 小顶堆），比较器应返回 a.time > b.time（即“a 是否应排在 b 后面”），而不是 a.time 。
struct Task {
int id;
int time;
};
struct CompareTask {
bool operator()(const Task& a, const Task& b) {
return a.time > b.time; // 小 time 先 pop
}
};
std::priority_queue<Task, std::vector<Task>, CompareTask> pq;
- 成员函数必须是
const且接受const&参数，否则可能触发隐式拷贝或编译失败 - 若比较字段可能为负、或涉及浮点数，需确保严格弱序（比如不用
<=，避免相等时行为未定义） - 不推荐在
operator()中做耗时操作（如字符串比较、IO），会影响 push/pop 性能
std::greater 和 std::less 的行为容易反直觉
初看名字会觉得 std::greater<int></int> 是“让大的先出来”，其实是对的；但它底层调用的是 a > b，而 std::priority_queue 正是用这个结果来决定堆序 —— 所以 std::greater 确实构造小顶堆。问题在于，一旦换成自定义类型，很多人照着名字写 return a > b 却忘了：这个“>”必须是针对你关心的排序维度，且必须保持严格弱序。
典型翻车场景：对 std::string 用 std::greater<:string></:string> 得到字典序降序；但若想按长度排序，就不能直接套用 std::greater，必须自己写逻辑。
-
std::less<t></t>对应大顶堆（默认行为），std::greater<t></t>对应小顶堆 - 它们只对内置类型和已重载
operator</operator>的类型有效；没重载的自定义类型必须自己提供比较器 - 别依赖
std::greater的名字去猜行为，盯住“comp(a,b)==true⇒ a 在 b 下方”这一条就足够
最易被忽略的一点：比较器对象在队列整个生命周期中不能失效。如果用 lambda，它必须是局部静态或全局的；如果用临时对象（比如函数内创建又没绑定到变量），会导致未定义行为。
