归并排序需要O(n)的额外空间。