因为std::priority_queue不暴露内部存储，无法复用内存、避免分配、嵌入比较逻辑或观察堆布局；手写二叉堆需正确实现sift-up/sift-down，注意索引计算、边界检查、交换后更新索引及比较器语义一致性。
为什么不用 std::priority_queue 而要自己写？
因为需要控制底层行为：比如想复用已有数组内存、避免动态分配、支持自定义比较逻辑嵌入结构体、或调试时需直接观察堆数组布局。标准容器封装太深，std::priority_queue 不暴露内部存储，无法做这些事。
自己实现一个基于数组的二叉堆（max-heap 或 min-heap）模板，核心就两个操作：push 和 pop，关键在上浮（sift-up）和下沉（sift-down）逻辑。
sift_down 的索引边界怎么算才不出错？
数组下标从 0 开始时，父节点是 (i-1)/2，左子节点是 2*i+1，右子节点是 2*i+2。很多手写堆在这里越界——尤其当右子不存在时，只检查左子是否越界还不够，必须显式判断 right 。
- 下沉时先比较左子，再看右子是否存在且更大（max-heap）或更小（min-heap）
- 交换后继续下沉新位置，不能只换一次就停
- 终止条件是：当前节点比两个子节点都满足堆序（max-heap 下 ≥ 两者），或已无子节点
示例片段（max-heap 下沉）：
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
void sift_down(int i, int size) {
while (true) {
int largest = i;
int left = 2 * i + 1;
int right = 2 * i + 2;
if (left < size && comp(data[left], data[largest])) largest = left;
if (right < size && comp(data[right], data[largest])) largest = right;
if (largest == i) break;
std::swap(data[i], data[largest]);
i = largest;
}
}模板参数怎么设计才能兼容自定义类型和比较器？
必须支持三类参数：元素类型 T、容器类型（默认 std::vector<T>）、比较器 Compare（默认 std::less<T>）。否则没法用 std::string 或自定义结构体。
- 比较器必须是可调用对象，不能硬编码
<；否则struct Person { int age; };就没法按age排 - 数组存储用
Container模板参数，方便后续替换为std::array或裸指针 - 构造函数接受初始容量或迭代器范围，但别自动分配——让用户决定何时/如何初始化底层存储
声明示例：
template <typename T,
typename Container = std::vector<T>,
typename Compare = std::less<T>>
class PriorityQueue { ... };插入时 sift_up 为什么比 sift_down 更容易写错？
上浮是从末尾往上走，父节点索引是 (i-1)/2，这个除法对负数不安全——但下标 i 永远 ≥ 0，所以没问题。真正坑点在于：循环条件写成 i > 0 是对的，但很多人漏掉「交换后要更新 i」，导致死循环。
- 每次交换后，
i必须更新为父节点索引，否则永远卡在原地 - 比较逻辑要和
sift_down一致：用comp(child, parent)判断是否需要上浮（max-heap 下就是child > parent） - 不要在上浮中途提前 return；必须走到根或满足堆序为止
常见错误写法：if (comp(data[i], data[(i-1)/2])) { swap(...); } —— 缺少 i = (i-1)/2 更新，后续不再进入循环。
实际使用中，最易被忽略的是比较器语义一致性：如果 Compare 是 std::greater<T>，那这就是 min-heap，所有上浮/下沉里的大小判断方向都要反过来，但逻辑结构完全不变。写模板时别在内部硬写 > 或 <，只依赖 comp(a, b) 的返回值含义。
