下列排序算法中，哪种在空间复杂度上表现最优？

堆排序的空间复杂度为O(1)，属于原地排序，因此在空间复杂度上表现最优。归并排序的空间复杂度为O(n)，且需要额外的空间。插入排序和快速排序的空间复杂度均为O(1)和O(log n)。