Quicksort分区功能的参数

Question

因此，我一直在尝试编写基于堆栈的quicksort函数，该函数调用分区函数。 partition（）的标头如下：

int partition(void **A, int n, void *pivot, int (cmp)(void *, void *));

其中，A是数组，n是数组的大小，pivot是枢轴的值（不是索引）。

我当前对partition的调用是：

partition(&A[low_int], high_int + 1, A[low_int+(high_int-low_int)/2], cmp)

上面，我的低和高值是迭代快速排序中使用的经典“ l”和“ h”，其中l从最低索引开始，而h从最高索引开始。 然后，这些值随着函数的继续而改变。

我将在下面发布我的分区函数：

int 
partition(void **A, int n, void *pivot, int (cmp)(void *, void *)) {
    int k;

    int i = 0;
    for (int j = 0; j <= n-2; j++) {
        if (cmp(A[j], pivot) <= 0) {
            i++;
            swap(A, i, j);
        }
    }
    swap(A, i+1, n-1);
    k = i + 2;
    return k; //k is the first value after the pivot in partitioned A

}

我的问题是决定我对partition（）的调用的输入。 对于第一个参数，我选择了＆A [low_int]，因为我没有使用“ left”作为输入之一，因此正在尝试创建一个指针，以稍后实质上启动数组。 第三个参数（如果是透视），我一直在尝试选择该范围内的元素，但是此参数和参数1一直导致我的代码返回未排序的数组或无限运行。

请问这里有我做错了什么以及如何解决它的帮助吗？

我已尝试包含所有相关代码，但是如果我错过了任何重要内容，或者不清楚我写的内容，还是需要更多信息，请告诉我。 谢谢

Answer 1

考虑一下low_int为1000且high_int为2000且数组在2000处结束时会发生什么。现在给它提供数组B = &A[1000]和值2001。值2001使它访问元素B[2001-1] = B[2000] = A[3000] 。 它正在访问数组。

您不应该为第二个参数使用诸如high_int - low_int + 1类的东西吗？ 注：我还没有验证您的代码没有关闭的情况的一个错误的说法high_int - low_int + 1 ，但无论如何，在我看来，你应该从其减去low_int从high_int 。

另一种选择是给它A ， low_int和high_int 。