C - 归并排序的归并部分

Question

我是合并排序的新手，正在尝试创建一个。我的合并排序没有对我发送的数组进行排序，我不知道为什么。这是所有代码的链接http://pastebin.com/M4RUzhUa

这是我的归并排序函数

void merge_sort(int array[], int low, int high) {
        int middle = (low + high) / 2;

        if(low < high) {
                merge_sort(array, low, middle);
                merge_sort(array, middle+1, high);
                merge(array, low, middle, high);
        }
}

这是我的（更新的）合并函数

void merge(int array[], int low, int middle, int high) {
int size,left,right,i, j;
size = high - low + 1;
int array1[high];

left = low;
right = middle + 1;
i = low;

while ((left<=middle) && (right<=high)) {
        if(array[left] < array[right]) {
                array1[i] = array[left];
                left++;
                i++;
        }
        else {
                array1[i] = array[right];
                right++;
                i++;
        }
}
while (left <= middle) {
        array1[i] = array[left];
        left++;
        i++;
}
while (right <= high) {
        array1[i] = array[right];
        right++;
        i++;
}
for (j = low; j < i; j++) {
        array[j] = array1[j];
}
}

在我的程序中，输入数组是

9 3 2 1 5

输出是

0 1 2 3 5

第一个元素发生了我无法弄清楚的事情

Answer 1

更新代码的新 cmets：

看起来您正在跳出阵列的末端。一种测试方法是在数组周围添加一些保护变量，如下所示：

#define NUM_OF_INTS 5
#define DEBUG 1
int main()
{
    int frontguard=-500;
    int numbers[NUM_OF_INTS];
    int backguard=-600;
    int i;

    srand(0);
    //Fill the array
    for( i = 0; i < NUM_OF_INTS; i++ )
    {
        //Use random numbers
        //numbers[i] = rand()%10000;    

        //Use reverse sorted list
        numbers[i] = NUM_OF_INTS-i;         

        //Use sorted list
        //numbers[i] = i;
    }

    if (DEBUG == 1) printf( "Unsorted list\n" );
    if (DEBUG == 1) printarray( numbers, 0, NUM_OF_INTS/2, NUM_OF_INTS );   
    if (DEBUG == 1) printf( "frontguard=%04d, backguard=%04d\n", frontguard, backguard);

    merge_sort( numbers, 0, NUM_OF_INTS );

    if (DEBUG == 1 ) printf( "\nSorted list\n"); 
    if (DEBUG == 1) printarray( numbers, 0, NUM_OF_INTS/2, NUM_OF_INTS );   
    if (DEBUG == 1) printf( "frontguard=%04d, backguard=%04d\n", frontguard, backguard);

    return 0;
}

printarray 是我编写的一个辅助函数，用于漂亮打印数组中发生的事情

void printarray( const int arr[], const int low, const int middle, const int high )
{
    int i;
    for (i = low; i < high; i++ )
    {
        if( i == low )
            printf( "   L%04d", i );
        else if( i == middle )
            printf( "   M%04d", i );
        else if( i == (high-1) )
            printf( "   H%04d", i );
        else 
            printf( "   *%04d", i );        
    }
    printf( "\n" );
    for( i = low; i < high; i++ )
        printf( "    %04d", arr[i] );
    printf( "\n" );
}   

如果您没有/不想要调试器，通常必须创建一些辅助调试函数，例如这样才能让您的代码正常工作。不要害怕编写一些一次性代码来了解您的代码在做什么！在这种情况下，我不需要L/M/H这条线，但花时间还是值得的。我建议在您的代码中保留这些类型的函数，并注释掉（使用#define，例如 DEBUG），以防将来的维护者需要它们。

这是你的函数的输出：

Unsorted list
   L0000   *0001   M0002   *0003   H0004
   0005    0004    0003    0002    0001
frontguard=-500, backguard=-600

Sorted list
   L0000   *0001   M0002   *0003   H0004
    -600    0001    0002    0003    0004
frontguard=-500, backguard=0005

您可以看到backguard 被覆盖并“窃取”到您的输出中。 （这种行为在不同的 CPU 架构、C 实现和运行细节上可能会有所不同，顺便说一句。）问题是您从 main() 调用 merge_sort 并使用 high 作为数组的大小（在本例中为 5），但是 merge_sort 期望 high 是数组中的最后一个有效索引（numbers[4] 是最后一个数组项）。修改main()为

    merge_sort( numbers, 0, NUM_OF_INTS-1 );

并针对已排序、反向排序和随机的数字数组对其进行测试。

---

原始cmets：

首先，您应该收到分段错误，而不仅仅是错误排序的数据。

    size = high - low + 1;
//create a helper array and set it equal to the input array
    int array1[size];
    for (i = low; i <= high; i++) {
            array1[i] = array[i];
    }

想想当低不为零时会发生什么。假设 l=6，m=6，h=7。您将帮助器数组的大小设置为 2，但您使用 i=6 访问它，因此您正在丢弃堆栈。

最简单的解决方法是声明int array1[high];。它的内存效率很低，但它使其余代码保持简单，这确实更有价值。

其次，你的 for 循环索引超出了数组的末尾，你需要使用 i

    for (i = low; i < high; i++) {

这些将修复您的分段错误。修复此问题后，您的输出中仍会收到垃圾数据。

您的中间 else-if 语句永远不会被执行 - 任何等效数据都将被第一个 if 语句覆盖。

您的 while 循环无法正确处理退化情况。它需要检测两个列表中的一个是否已被完全消耗，如果是，则复制另一个列表的其余部分。

另外，while 循环需要单独的跟踪变量用于低、中和输出数组。您不能同时将 currentLow 用于 low 和输出数组。

最后，在测试排序时，随机数据是不够的（尤其是大小为 5 的数据），您应该始终测试已排序和反向排序列表的完全退化情况。