为什么在Quicksort中进行分区之前将枢轴元素移动到数组的第一个或最后一个位置？

该霍尔分区方案是在概念上的问题的例子类似，不同的是初始枢转值可以从任何地方在阵列内作出，并且不执行特殊的端的情况下交换，当枢转值和枢轴指针将结束在Hoare分区期间处于正确位置。

这是一个快速排序的示例，该示例使用3的中位数，Hoare分区方案，排除与枢轴相邻且相等的元素（它们已经排序），并且仅对较小的分区使用递归将最坏情况的堆栈空间限制为O（log （n））。

void QuickSort(uint32_t a[], size_t lo, size_t hi) {
    while(lo < hi){
        size_t i = lo, j = (lo+hi)/2, k = hi;
        uint32_t p;
        if (a[k] < a[i])            // median of 3
            std::swap(a[k], a[i]);
        if (a[j] < a[i])
            std::swap(a[j], a[i]);
        if (a[k] < a[j])
            std::swap(a[k], a[j]);
        p = a[j];
        i--;                        // Hoare partition
        k++;
        while (1) {
            while (a[++i] < p);
            while (a[--k] > p);
            if (i >= k)
                break;
            std::swap(a[i], a[k]);
        }
        i = k++;
        // at this point, a[i] or a[k] or both == p  (pivot value)
        while(i > lo && a[i] == p)  // exclude middle values == pivot
            i--;
        while(k < hi && a[k] == p)
            k++;
        // recurse on smaller part, loop on larger part
        if((i - lo) <= (hi - k)){
            QuickSort(a, lo, i);
            lo = k;
        } else {
            QuickSort(a, k, hi);
            hi = i;
        }
    }
}