堆排序的最坏情况时间复杂度为O(n log n)。它通过构建最大堆或最小堆，然后重复提取堆顶元素来实现排序。