归并排序，使用的辅助空间为O（n）