std::make_heap仅构建最大堆而非完成排序,需配合std::sort_heap或std::pop_heap才能实现完整堆排序;默认建最大堆,升序需显式传std::greater()且比较器必须一致。

std::make_heap 为什么不是“堆排序”的全部
它只建堆,不排序。调用 std::make_heap 后,容器里是最大堆(根最大),但元素没按升序/降序排好——你得自己反复弹出堆顶再调整,才能完成排序。
- 常见错误:以为
std::make_heap+std::sort_heap是可选组合,其实后者必须紧跟在前者或std::pop_heap之后用,否则行为未定义 - 使用场景:适合需要多次插入+取最大值的中间过程(比如 Top-K 流式计算),而不是一次性排完就扔
- 性能影响:建堆是 O(n),但完整堆排序(建堆+逐个弹出)是 O(n log n),和
std::sort相当,但常数更大、缓存不友好
std::make_heap 的参数和方向容易搞反
它默认建**最大堆**,即 *first 是最大值。想升序排列(最小值在前),得传 std::greater<int>()</int> 作为第三个参数。
- 错误现象:用了
std::make_heap(v.begin(), v.end())后调std::sort_heap(v.begin(), v.end()),结果是降序——这不是 bug,是默认行为 - 升序堆排序写法:
std::make_heap(v.begin(), v.end(), std::greater<int>()); std::sort_heap(v.begin(), v.end(), std::greater<int>());</int></int> - 注意:比较器必须一致,建堆和排序时漏写或写错一个,结果完全不可预测
std::pop_heap 和 std::push_heap 配合 make_heap 才算真正用起来
单独用 std::make_heap 几乎没意义;它和 std::pop_heap、std::push_heap 是一套协作接口,用来维护动态堆结构。
-
std::pop_heap不删除元素,只是把最大值换到末尾,然后对剩余部分重新堆化;你要手动v.pop_back()才算真正移除 -
std::push_heap要求:新元素已插在容器末尾,且其余部分仍是合法堆——否则结果未定义 - 典型误用:
v.push_back(x); std::push_heap(v.begin(), v.end());✅ 正确;v.insert(v.begin(), x); std::push_heap(...)❌ 插错位置,堆结构被破坏
用 std::priority_queue 通常比手搓 make_heap 更安全
除非你在做算法题、写底层容器或有特殊内存布局要求,否则直接用 std::priority_queue 更省心。
立即学习“C++免费学习笔记(深入)”;
-
std::priority_queue内部自动管理堆逻辑,不会出现“忘了传比较器”或“pop 后没 pop_back”这种低级错误 - 兼容性无差别:它底层就是用
std::make_heap/std::push_heap实现的,性能几乎一样 - 容易被忽略的点:它的
top()是 const 引用,不能原地改;要修改堆中某个元素?得整个重建——这点和手写堆一样麻烦










