堆排序使用了二叉堆这种数据结构，是一种时间复杂度较优的比较排序算法。它的思路是先把要排序的数据构造成一个二叉堆，然后不断取出堆顶元素（最大值或最小值），再重新调整剩下的元素使之成为一个新的堆，重复这个过程直到所有元素都有序为止。