默认大顶堆需改用std::greater<int>作比较器并包含<functional>头文件；自定义类型应写仿函数而非重载operator<；priority_queue不支持遍历，底层容器选择vector更优。
默认是大顶堆，怎么改成小顶堆
priority_queue 默认按 std::less 比较，所以是大顶堆（顶部最大）。要变小顶堆，必须显式指定比较器为 std::greater，且类型需完整写出——不能只写 greater，否则编译失败。
常见错误：漏掉模板参数或写错头文件。必须包含 <functional> 才能用 std::greater；只写 greater<int> 不加 std:: 命名空间也会报错。
-
priority_queue<int, vector<int>, greater<int>> pq;✅ 正确写法 -
priority_queue<int, vector<int>, greater<>❌ C++17 起支持，但老编译器（如 GCC 7）不认 -
priority_queue<int, vector<int>, greater>❌ 缺少模板实参，编译不过
自定义类型的小顶堆怎么写比较器
对结构体或类，不能直接用 greater<T>，得自己提供可调用对象。最稳妥的是写一个仿函数（重载 operator()），或者用 lambda（C++11 后支持，但 priority_queue 不接受 lambda 类型，只能用于构造时传入）。
关键点：priority_queue 的比较器语义是“如果 a 应该排在 b 后面，则返回 true”，也就是“a 是否应位于 b 下方”。小顶堆要求小的在上，所以逻辑是 a > b（即当 a 大于 b 时，a 应该沉下去）。
立即学习“C++免费学习笔记（深入）”；
struct Node {
int val;
bool operator<(const Node& rhs) const { return val > rhs.val; } // 注意：这是反直觉的！
};
priority_queue<Node> pq; // 这样写也能实现小顶堆，靠重载 < 实现“大于”逻辑
更清晰的做法是显式传比较器：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 用仿函数：
struct cmp { bool operator()(const Node& a, const Node& b) { return a.val > b.val; } };，然后priority_queue<Node, vector<Node>, cmp> pq; - 避免重载
operator<：它会影响其他容器（比如set<Node>）的默认行为，容易引发隐式 bug
为什么 push/pop 性能没问题，但遍历不行
priority_queue 是适配器，底层用 vector 或 deque，但**不提供迭代器接口**，也不能用下标访问。想“看全部元素”或“按顺序遍历”，只能不断 top() + pop()，但这会破坏原堆。
常见误操作：试图用 for (auto x : pq) 或 pq[0] —— 都会编译失败。没有 begin()/end()，也没有 operator[]。
- 调试时临时导出：新建 vector，循环
while (!pq.empty()) { v.push_back(pq.top()); pq.pop(); } - 若需频繁遍历，说明设计可能有问题——priority_queue 适合“只关心极值”的场景，不适合当有序容器用
- 底层容器（如 vector）的数据顺序不等于堆序，直接访问内部
c成员（非标准，不可靠）属于未定义行为
注意 std::priority_queue 的底层容器选择
第三个模板参数是比较器，第二个才是底层容器，默认是 vector<T>。有人误以为换 deque 能改善性能，实际几乎没差别——堆操作（push/pop）的复杂度由算法决定（O(log n)），和底层容器的随机访问/插入效率关系不大。
真正影响的是内存局部性和扩容行为：
- 用
vector：连续内存，cache 友好；但push可能触发 realloc - 用
deque：无 realloc 风险，但节点分散，访问慢一点；且某些 STL 实现中deque的push_back常数因子更高 - 除非明确有大量动态增容且对 realloc 敏感，否则别换，默认
vector就够了
小顶堆本身不难，难的是记清比较器语义、不滥用遍历、不混淆底层容器职责。写完记得测一下空堆 top()——未定义行为，必须先 empty() 判断。
