大顶堆插入后必须调用siftUp，因为新元素插在数组末尾（叶子位置），可能大于父节点，破坏“父≥子”性质；siftUp通过比较→交换→更新索引循环，沿父路径上浮至满足堆序或抵达根节点，父索引恒为(i-1)/2（0-indexed），时间复杂度O(log n)。
大顶堆插入后为什么必须调用 siftUp？
因为插入新元素默认加在数组末尾（逻辑上的叶子位置），它可能比父节点更大，破坏了“父节点 ≥ 子节点”的大顶堆性质。siftUp 就是让这个新元素沿着父路径不断上浮，直到它不再大于父节点，或到达根节点。
关键点在于：上浮不是无脑交换，而是「比较 → 交换 → 移动索引」的循环过程；且父节点索引固定为 (i - 1) / 2（整除），这是基于 0-indexed 数组的完全二叉树性质决定的。
siftUp 的标准实现逻辑和边界条件
假设堆用 std::vector<int></int> 存储，新元素已 push_back 到末尾，当前索引为 i：
- 只要
i > 0且heap[i] > heap[(i - 1) / 2]，就继续上浮 - 每次把
heap[i]和父节点heap[(i - 1) / 2]交换 - 然后令
i = (i - 1) / 2，继续检查新位置是否还需上浮 - 注意：整数除法自动向下取整，
(1-1)/2 == 0、(2-1)/2 == 0，所以左右子节点父索引一致，正确
示例片段（不依赖 STL，仅示意）：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
void siftUp(std::vector<int>& heap, int i) {
while (i > 0) {
int parent = (i - 1) / 2;
if (heap[i] <= heap[parent]) break;
std::swap(heap[i], heap[parent]);
i = parent;
}
}
常见错误：索引算错、比较方向反、漏判边界
这三个坑几乎覆盖 90% 的手写失败案例：
- 用
i / 2算父节点 → 错！0-indexed 下左子节点索引是2*i+1，反推父节点必须是(i-1)/2；否则i=1（左子）父变成 0（对），但i=2（右子）父变成 1（错，应为 0） - 写成
heap[i] < heap[parent]→ 这是小顶堆逻辑，大顶堆必须是> - 循环条件只写
heap[i] > heap[parent]，没加i > 0→ 一旦i==0进入计算(0-1)/2 == -0.5 → -1（有符号整数截断为 -1），越界访问 - 交换后没更新
i→ 死循环
性能与实际使用中的细节提醒
siftUp 时间复杂度是 O(log n)，因为最多上浮树高次；但它只在插入时触发，而删除堆顶用的是 siftDown（下沉），二者不能混用。
- STL 的
std::priority_queue内部就是大顶堆，默认调用push_heap，其底层就是封装好的siftUp，你不需要自己写——除非你在实现自定义容器或学习堆原理 - 如果批量插入 N 个元素，逐个
push是O(N log N)；更优做法是先存数组再make_heap（O(N)），它用的是自底向上的siftDown批量建堆 - 调试时可打印每步的
i和parent，尤其关注i == 1和i == 2时父索引是否都为 0
真正容易被忽略的是：上浮过程里「交换」和「索引更新」必须严格配对，且父索引公式不能凭感觉改。哪怕只错一次整除逻辑，整个堆结构就会在某次插入后悄然损坏，后续 pop 可能返回错误最大值。
