MAX-HEAPIFY的输入为数组A和下标i, 当A[i]不符合最大堆的序列是，调整A[i]中元素的顺序，直至符合要求。

如图所示：

/*
堆排序算法实现
*/
#include<iostream>using namespace std;int HeapSize = 10;  // 暂定为这个数，假设需要排序的数有10个/*
这三个过程在一个好的堆排序中通过内联和宏实现
*/
//父结点
int Parent(int i)
{return i/2;
}//左子结点
int Left(int i)
{return 2*i;
}//右子节点
int Right(int i)
{return 2*i+1;
}// 维持大顶堆void MaxHeapify(int A[], int i)
{int largest;    //临时变量存放A[i]及左右子树的最大值的下标int l = Left(i); //用l存放A[i]的左子树int r = Right(i); //用r存放A[i]的右子树// 判断A[i]与其左子树的大小// 将其中的最大值赋给largestif(A[l] > A[i] && l < HeapSize){largest = l; }else{largest = i;}// 判断A[i]与其右子树的大小// 将其中的最大值赋给largestif(A[r] > A[largest] && r <= HeapSize){largest = r;}// 如果largest不是父结点A[i],则交换A[largest]与A[i]的位置int temp;if(largest != i){temp = A[i];A[i] = A[largest];A[largest] = temp;// 继续向下一层的子树寻找MaxHeapify(A, largest);}
}// 建堆
void BuildMaxHeap(int A[], int i) // n为数组的长度，省去了算法描述的第一步
{//每一次迭代开始时，结点i+1,i+2,...,n都是大顶堆的根for(i = i/2; i > 0; i--){MaxHeapify(A, i);}
}// 实现堆排序
/*
这里A数组从1开始计数，也就是A【0】元素不要。
取A[1,..,n]
调用函数HeapSort(A, HeapSize);
*/ 
void HeapSort(int A[], int n)
{int temp;BuildMaxHeap(A, n); // 构造大顶堆for(int i = n; i > 1; i--){//将最后一个元素与堆的第一个元素交换位置temp = A[1];A[1] = A[i];A[i] = temp;// 堆的=规模随之缩小1个HeapSize = HeapSize-1;// 重新维持堆MaxHeapify(A,1);}}

注： 这里只是简单实现了《算法导论》中的算法。有些地方就偷工减料了。