Question

我正在C语言中实现通用的Shaker Sort算法，各种网站都以不断给我分段错误和其他错误的方式提供代码，但是在使用其他语言时效果很好。例如，this code没问题，如果我将其保留在C＃中，但是在将其适应于C之后它将停止工作。

这是我对上述代码的忠实改编的一个完整的工作示例：

#include <stddef.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>

// definition of a comparator interface needed by the sort function 
// to compare the values in the array passed as 'void *'
typedef int (*comparator)(void *, void *);

// implementation of the comparator interface for the int type
int int_comparator(void *a, void *b)
{
    int *aa = a;
    int *bb = b;
    return (*aa > *bb) - (*aa < *bb);
}

// generic swap, lacking error checking for the malloc call to keep things brief
void swap(void *a, void *b, size_t size)
{
    unsigned char *aa = a;
    unsigned char *bb = b;
    unsigned char *tmp = malloc(size);

    memcpy(tmp, aa, size);
    memcpy(aa, bb, size);
    memcpy(bb, tmp, size);
    free(tmp);
}

// takes the array, its length, the size of the type it contains, and a pointer 
// to a comparator function according to the type contained in the array
void shaker_sort(void *array, size_t length, size_t size, comparator cmp)
{
    // can't dereference a 'void *', so the array is 
    // now considered as a sequence of raw bytes
    unsigned char *arr = array;
    size_t start = 0;
    size_t end = length - 1;
    int swapped = 1;

    while (swapped) {
        swapped = 0;

        for (size_t i = start; i < end; i++) {
            // since we have a sequence of bytes, access to the original 
            // array elements happens by reading chunks of data of the
            // size of the type contained in the array
            if (cmp(&arr[i * size], &arr[i * size + size]) > 0) {
                swap(&arr[i * size], &arr[i * size + size], size);
                swapped = 1;
            }
        }

        if (!swapped) break;

        swapped = 0;
        end--;

        for (size_t i = end; i >= start; i--) {
            if (cmp(&arr[i * size], &arr[i * size + size]) > 0) {
                swap(&arr[i * size], &arr[i * size + size], size);
                swapped = 1;
            }
        }

        start++;
    }
}

int main(void)
{
    int arr[] = {3, 0, -4, 6, 1};
    size_t length = sizeof(arr) / sizeof(int);

    shaker_sort(arr, length, sizeof(int), int_comparator);

    for (size_t i = 0; i < length; i++) {
        printf("%d ", arr[i]);
    }

    puts("");
}

使用gcc -Wall -Wextra -pedantic -std=c11 test.c -o test进行编译是可以的，但随后会出现分段错误。快速运行valgrind --tool=memcheck --leak-check=full ./test表明，显然我正在使用未初始化的值，执行无效的读取以及其他便利设施。为了简洁起见，我不包含输出，但是您可以复制整个代码并重现我的确切结果。

现在，奇怪的是，如果我这样编写Shaker Sort的第二个for循环，则代码可以完美地与干净的valgrind输出一起工作：

for (size_t i = end; i > start; i--) {
    if (cmp(&arr[i * size], &arr[i * size - size]) < 0) {
        swap(&arr[i * size], &arr[i * size - size], size);
        swapped = 1;
    }
}

基本上，循环现在在位置start + 1处的元素处停止，并且不是将当前元素与其后继元素进行比较，而是将当前元素与其前任元素进行比较。就是这样，我什至不知道为什么原始格式的代码在C＃以及Java和其他语言中都可以使用，但是在C语言中需要进行一些小的调整。有人可以阐明这件事吗？

Answer 1

start和i未签名

    for (size_t i = end; i >= start; i--)

第一次start是0

我倒数到0，然后从0减去1，得到的其他值是无符号的，即大于或等于零，并且循环继续进行

改为执行此操作：

    for (size_t i = end; i > start; i--) {
        if (cmp(&arr[i * size - size], &arr[i * size]) > 0) {
            swap(&arr[i * size - size ], &arr[i * size], size);
            swapped = 1;
        }

    }

为什么此振荡器排序代码在C中不起作用

1 个答案: