以下哪种排序算法在平均情况下的时间复杂度为O(n log n)，且空间复杂度为O(1)？

堆排序的平均时间复杂度为O(n log n)，且其空间复杂度为O(1)，因为它是一个原地排序算法。归并排序的空间复杂度为O(n)，而快速排序的空间复杂度取决于递归深度，最坏情况下为O(n)，但平均情况下可能更优。