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 s, поэтому sizeof(int) - верный размер.

Если вы хотите отсортировать массив указателей, вам необходимо передать адрес первого элемента в этом массиве, &v[0] или просто v - qsort. Тогда, конечно, размер аргумент должен быть 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.