Question

我正在用C编写一个数据结构库，我计划用于个人项目（我确实知道有可用的通用库，但我认为这将是一次很棒的学习经历）。在这样做的过程中，我创建了一个与内置的Python list实现（就暴露操作而言）非常相似的数据结构。

当我偶然发现qsort比较器函数遇到一些困难时，我正在为这个结构编写一些单元测试。我已经浏览了大量关于同一问题的SO回复，并且没有一个推荐的修复似乎有效。

下面给出的相关代码（其他代码因长度而省略，但如果可能需要，我很乐意将其引入）：

typedef struct glist glist;

struct glist {
    void **data;
    size_t len;
    size_t cap;
    int (*cmp)(void const*, void const*);
    void (*free)(void*);
};

static int list_test_comparator(const void *left, void const *right);

glist* glist_new(int (*cmpfn)(const void*, const void*), void (*freefn)(void*)) {
    glist *list = malloc(sizeof(glist));
    if (!list) {
        return NULL;
    }

    size_t cap = sizeof(void*) * 10;
    list->data = calloc(cap, cap);
    if (!list->data) {
        free(list);
        return NULL;
    }

    list->len = 0;
    list->cap = 10;
    list->cmp = cmpfn;
    list->free = freefn;
    return list;
}

void glist_sort(glist *list) {
    if ((!list) || (list->len == 0)) {return;}
    qsort(list->data, list->len, sizeof(void *), list->cmp);
}

static int list_test_comparator(const void *left, const void *right) {
    const char *l = left;
    const char *r = right;
    printf("Left: %s %p\n", l, left);
    printf("Right: %s %p\n", r, right);
    int res = strcmp(l, r);
    printf("Res: %d\n", res);
    return res;
}

/* Run by CUnit before and after each test case */
void list_test_setup(void) {
    list_test = glist_new(list_test_comparator, free);
}

void list_test_sort(void) {
    for (int i = 0; i < 15; i++) {
        char *some = "%d";
        char *next = malloc(20);
        CU_ASSERT_FATAL(next != NULL);

        sprintf(next, some, rand());
        CU_ASSERT(glist_append(list_test, next) == true);
    }

    /* Note that this is a CUnit test with setup function creating 
     * the structure with the above defined list_test_comparator func */
    glist_sort(list_test);

    int val;
    int prev = -1; /* rand() should always return value between 0 and RAND_MAX */
    for (int i = 0; i < 15; i++) {
        char *test = glist_get(list_test, i);
        sscanf(test, "%*s %d", &val);
        CU_ASSERT(val <= prev);
        prev = val;
    }
}

正如我上面提到的，我在类似问题中尝试了一些建议（取消引用关于演员的指针，将我的调用改为qsort等）。解除引用技巧const char *l = *(const char**)left;会导致段错（并且Valgrind进入无限循环）。

我甚至已经到了这一点（你可以在上面的比较器中看到一些），我开始在比较器之前和之内打印指针位置，我发现大多数指针位置都不一样。

部分输出：

/* Before sort */
282475249 0x7fb629c04f30
1622650073 0x7fb629c04f50
984943658 0x7fb629c04f70
1144108930 0x7fb629c04f90
470211272 0x7fb629c04fb0
101027544 0x7fb629c04fd0
1457850878 0x7fb629c04ff0
1458777923 0x7fb629c05010
2007237709 0x7fb629c05030
823564440 0x7fb629c05050
1115438165 0x7fb629c05200
1784484492 0x7fb629c053b0
74243042 0x7fb629c053d0
114807987 0x7fb629c053f0

/* In comparator */
Left: O?)? 0x7fb629c05070
Right: O?)? 0x7fb629c050a8
Res: -224
Left: ?O?)? 0x7fb629c050a8
Right: ?O?)? 0x7fb629c050e0
Res: -4
Left: 0O?)? 0x7fb629c05078
Right: 0O?)? 0x7fb629c05070
Res: -192

我对该问题的最佳猜测涉及这样一个事实：qsort不能得到关于我的内部数据结构中的内容的正确信息，因此它给了我不正确的指针偏移。

其他相关信息：

OS X 10.10.2

cc -v说

Apple LLVM version 6.0 (clang-600.0.57) (based on LLVM 3.5svn)
Target: x86_64-apple-darwin14.1.0
Thread model: posix

我的所有其他单元测试都通过了。这些内容包括基本的插入和删除，以及返回给定元素的索引的函数（使用上面的比较器）。

编辑：显示更多代码。

Answer 1

我认为你误解了比较器收到指针的内容。它接收指向保存数据的存储器的指针。因此，如果您的数据无效*，它会收到伪装为void *的真正无效**指针。

要解决此问题，请尝试以下代码：

static int list_test_comparator(const void *left, const void *right) {
    const void *leftptr = *(const void**)left;
    const void *rightptr = *(const void**)right;
    const char *l = leftptr;
    const char *r = rightptr;
    printf("Left: %s %p\n", l, left);
    printf("Right: %s %p\n", r, right);
    int res = strcmp(l, r);
    printf("Res: %d\n", res);
    return res;
}

我现在无法测试我的代码，因为代码中缺少glist_append和glist_get，但这就是qsort的使用方式。

qsort比较器分段故障

1 个答案: