C语言堆排序实战：从数组建堆到完整排序（附避坑指南）

C语言堆排序实战：从数组建堆到完整排序（附避坑指南）

如果你正在准备一场技术面试，或者正在为一个嵌入式项目编写高效的内存排序模块，那么“堆排序”这个词大概率已经在你眼前晃过好几次了。它不像冒泡排序那样直观易懂，也不像快速排序那样名声在外，但它在时间复杂度稳定性和空间效率上的表现，却让它在特定场景下成为无可替代的选择。很多开发者初次接触堆排序时，往往会被其“堆”的概念和复杂的调整算法吓退，要么是代码写出来效率低下，要么是在升序降序的选择上栽了跟头。这篇文章，我们就来彻底拆解堆排序，从最底层的数组视角出发，一步步构建出高效的排序算法，并重点剖析那些教科书里不会细讲，但实际编码中一定会遇到的“坑”。

1. 理解堆排序的核心：数组与二叉树的视角转换

堆排序的精髓，在于它巧妙地利用了“堆”这种数据结构，而实现堆，并不需要我们去动态开辟节点、构建指针链表。在C语言中，一切都可以在原始的数组上完成。这是一种典型的“逻辑结构”与“物理存储”分离的思维。

堆的本质是一棵完全二叉树，它满足一个关键性质：对于大顶堆，每个节点的值都大于或等于其子节点的值；对于小顶堆，则每个节点的值都小于或等于其子节点的值。而完全二叉树有一个极其友好的特性：它可以完美地映射到一个连续数组上。

给定一个数组 a[]，我们可以建立如下映射关系：

• 数组下标 i 的元素，其父节点下标为 (i-1)/2（整数除法）。
• 其左孩子下标为 2*i + 1。
• 其右孩子下标为 2*i + 2。

注意：这个映射关系是整个堆排序算法的基石。所有“向上调整”、“向下调整”的操作，都是基于数组下标计算来完成的，无需任何指针操作。

例如，对于数组 [4, 10, 3, 5, 1]，其逻辑上的完全二叉树形态和数组存储的对应关系如下：

有了这个认知，我们就把一个抽象的“树”问题，转化为了具体的“数组下标计算与交换”问题。堆排序的过程就清晰了：第一步，将无序数组调整成一个堆（建堆）；第二步，利用堆顶元素极值的特性，反复取出堆顶，并重新调整剩余部分为堆，从而完成排序。

2. 建堆的艺术：向上调整与向下调整的深度对比

建堆是堆排序的第一步，也是性能差异产生的关键环节。主流方法有两种：向上调整建堆 (AdjustUp) 和 向下调整建堆 (AdjustDown)。很多初学者会混淆两者的使用场景，导致写出时间复杂度退化的代码。

2.1 向上调整建堆：模拟插入过程

向上调整的思路非常直观：假设数组的前 i-1 个元素已经构成了一个有效的堆，那么当第 i 个元素加入时，我们只需要将其与父节点比较，如果不符合堆序（例如在大顶堆中，子节点大于父节点），就交换它们，并继续向上比较，直到满足堆的性质或