快速排序在平均情况下，每次划分都能将数组分成大致相等的两部分，从而达到 O(n log n) 的时间复杂度。