// 堆排序 // 初始调用BuildMaxHeap将a[1..size]变成最大堆 // 因为数组最大元素在a[1]，则可以通过将a[1]与a[size]互换达到正确位置 // 现在新的根元素破坏了最大堆的性质，所以调用MaxHeapify调整， // 使a[1..size-1]成为最大堆，a[1]又是a[1..size-1]中的最大元素， // 将a[1]与a[size-1]互换达到正确位置。 // 反复调用Heapify，使整个数组成从小到大排序。 // 注意：