快速排序的分区操作可以保证每次都将数组分为两个等长的子数组。