带有指向空指针的qsort

Question

qsort在这里工作，但是如果数组v每个成员都占用sizeof(void *) ，为什么qsort期望sizeof(int) ？

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

int comp(const void *pa, const void *pb)
{
    int a = *(int *)pa;
    int b = *(int *)pb;

    if (a > b)
        return +1;
    else
    if (b > a)
        return -1;
    else
        return 0;
}

int main(void)
{
    int i, a[] = {3, 1, 2, 0, 4};
    void **v;

    v = malloc(sizeof(void *) * 5);
    for (i = 0; i < 5; i++) {
        v[i] = &a[i];
    }
    for (i = 0; i < 5; i++) {
        printf("%d\n", *(int *)v[i]);
    }
    qsort(v[0], 5, sizeof(int), comp); // why sizeof(int) if v is void **
    printf("Sorted:\n");
    for (i = 0; i < 5; i++) {
        printf("%d\n", *(int *)v[i]);
    }
    free(v);
    return 0;
}

Answer 1

qsort(v[0], 5, sizeof(int), comp); // why sizeof(int) if v is void **

您传递给qsort要排序的内存块的开始地址是

v[0] = &a[0]

的初始元素的地址a ，这样就排序是阵列a ，而不是它的初始元件块v点。 a的元素是int ，因此sizeof(int)是正确的大小。

如果要对指针数组进行排序，则需要将数组中的第一个元素的地址&v[0]或简单地v传递给qsort 。 然后当然，size参数必须是sizeof (void*) ：

qsort(v, 5, sizeof(void*), cmp);

但是为此，您不能使用已有的比较功能，需要

int cmp(const void *pa, const void *pb) {
    int a = *(int*)(*(void**)pa);
    int b = *(int*)(*(void**)pb);

    if (a > b)
        return +1;
    else
    if (b > a)
        return -1;
    else
        return 0;
}

或类似的东西。 由于从qsort传递到比较函数的是要比较的对象的地址，因此我们需要一种间接方式来获取要比较的指针，并且由于这里我们要根据指针所指向的int值来比较指针，因此我们需要第二种间接获取指向的int 。