删除堆顶后必须调用SiftDown，因为用末尾元素填补堆顶会破坏堆序性，需通过比较并交换当前节点与其较大子节点来逐层下沉，直至满足父≥子的大顶堆性质。
大顶堆删除堆顶后为什么必须调用 SiftDown
因为删除堆顶（即取走 heap[0]）后，堆结构被破坏：数组首元素空缺，而堆的逻辑结构要求根节点必须是最大值、且每个父节点 ≥ 子节点。直接拿最后一个元素补上空位只是维持了完全二叉树的形状，但不保证堆序性——这个新根大概率比它的子节点小，必须向下调整才能恢复性质。
SiftDown 的标准实现逻辑和关键步骤
核心是“把当前节点和它较大的子节点比较，若小于，则交换；然后继续在子树中重复”。注意不是无脑跟左/右孩子 swap，而是先找较大者再判断：
- 从下标
i = 0（新补入的根）开始 - 计算左子节点下标
left = 2 * i + 1，右子节点right = 2 * i + 2 - 在
left和right中选出存在的、值更大的那个子节点下标largest - 如果
heap[i] ，交换二者，令 <code>i = largest，继续循环；否则结束
示例片段（基于 vector
void siftDown(vector<int>& heap, int i, int n) {
while (true) {
int largest = i;
int left = 2 * i + 1;
int right = 2 * i + 2;
if (left < n && heap[left] > heap[largest]) largest = left;
if (right < n && heap[right] > heap[largest]) largest = right;
if (largest == i) break;
swap(heap[i], heap[largest]);
i = largest;
}
}
// 删除堆顶：swap(heap[0], heap.back()); heap.pop_back(); siftDown(heap, 0, heap.size());
容易踩的边界错误和索引陷阱
绝大多数运行时越界或逻辑错乱都出在子节点下标计算和存在性检查上：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
-
left或right可能 ≥ 当前堆大小n，必须严格用< n判断，不能写成<= n-1（虽等价但易读性差、易笔误） - 只存在左子节点时（
right >= n），不能参与比较，否则访问非法内存——C++ 中vector::operator[]不做边界检查 - 使用
size_t作下标会导致2*i+1在 i 很大时溢出为极大正数，进而绕过< n检查；务必用带符号整型（如int）作索引 - 调用
siftDown时传入的n必须是删除后的堆长度，不是原始长度，否则会把已 pop 的元素重新卷入调整
std::priority_queue 里没有暴露 SiftDown 接口怎么办
std::priority_queue 是封装好的容器适配器，不提供手动下沉接口。如果你需要删堆顶并维持堆结构，只能靠「取顶 + 弹出」的组合操作：top() 获取最大值，pop() 自动完成底层 SiftDown——这个过程对用户透明，但底层正是按前述逻辑实现的。
若需自定义删除非堆顶元素（比如删中间某个值），std::priority_queue 无法胜任，必须手写堆或改用 std::make_heap/std::push_heap/std::pop_heap 配合 vector 管理。
下沉本身不难，难的是在任意修改后精准识别哪些位置可能失衡、是否需要从该点开始下沉而非上浮——多数人忽略这点，结果在删除后错误地调用 SiftUp。
