堆排序是一种基于二叉堆数据结构的排序算法。它是利用了堆的性质，即父节点的值总是大于或等于（或小于或等于）其子节点的值。

堆排序的基本思想是首先将待排序的数组构建成一个最大堆（或最小堆），然后将堆的根节点与数组的最后一个元素交换，然后减小堆的大小，并重新调整堆，再将堆的根节点与数组的倒数第二个元素交换，如此循环直到堆的大小为1。

堆排序的过程可以分为两个步骤：建堆和调整堆。

建堆：将待排序数组构建成一个堆。建堆的过程可以从最后一个非叶子节点开始，依次往前进行。对于每个非叶子节点，通过比较父节点和两个子节点的值，将最大（或最小）的值交换到父节点位置，然后再对交换后的子节点进行调整。

调整堆：在建堆的基础上，将堆的根节点与数组的最后一个元素交换。然后减小堆的大小，并对根节点进行调整，使其满足堆的性质。再次将堆的根节点与倒数第二个元素交换，如此循环直到堆的大小为1。

堆排序的时间复杂度为O(nlogn)，其中n为数组的大小。它是一种不稳定的排序算法，因为在调整堆的过程中，相同值的元素可能会交换位置。