带有 void* 参数转换的函数指针

Question

我不知道如何查找它，即使标题令人困惑，即使我对我要查找的内容也感到困惑，而且这个问题肯定已经被问过，但它是如此具体，所以这里有一点上下文：

int comparison(const int* a, const int* b) {
    return *a - *b;
}

int main(int argc, char const *argv[])
{
    int arr[3] = {1,6,-2};
    qsort(arr,3,sizeof(int),comparison);
    return 0;
}

好吧，它确实有效，但是编译器给了我一个警告，因为 qsort 想要一个类型的函数：

int(*)(const void*, const void*) 

比较是类型的函数：

int(*)(const int*, const int*) 

我想知道为什么编译器不满意，因为它只需要转换地址。甚至应该很高兴为 void* 指针提供类型。这真的很糟糕吗？像未定义的行为或什么？还是只是编译器在抱怨什么？

Answer 1

在已经给出了其他原因之后，还有另一个原因。从历史上看，void * 和 int * 有不同的位排列的平台，我听说过一个 void * 和 int * 大小不同的平台。该函数指针转换并不总是有效。

  const int *ia = (const int *)a;
  const int *ib = (const int *)b;

可能不会编译成ia = a;，而是像ia = a >> 1这样的东西；所以真的必须有一个地方来存放这些说明。

Answer 2

为什么他（编译器）不高兴。

qsort() 需要 int (*)(const void *a, const void *b) 类型的功能点，而不是 int (*)(const int *a, const int *b)。编译器可以猜测它的 OK 并进行强制转换，但编译器对此类问题发出警告会更有效率。

或者只是编译器抱怨什么？

通过温暖你，你可以确定问题的程度。

---

除了@Alex Reynolds好的答案，注意*a - *b可能会溢出，导致比较错误。

改为：

int comparison(const void *a, const void *b) {
  const int *ia = (const int *)a;
  const int *ib = (const int *)b;
  return (*ia > *ab) - (*ia < *ib);
}

优秀的编译器能够识别(p>q) - (p<q) 习语并生成高效代码。

Answer 3

qsort 函数将您未传递的类型的函数作为其参数之一。所以你需要改变它。

在比较器内部，您可以将指针重新转换为所需的类型。

此外，您需要 dereference 将要传递给比较器函数的 const int 指针的值：

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

static int 
comparator(const void *a, const void *b) 
{
    return *(const int *)a - *(const int *)b;
}

static void
printArr(int arr[], int n) 
{ 
    int i; 
    for (i = 0; i < n; ++i) {
        printf("%d ", arr[i]);
    } 
} 

int
main(int argc, const char **argv)
{
    int arr[3] = {1, 6, -2};
    qsort(arr, 3, sizeof(int), comparator);
    printArr(arr, 3);

    return EXIT_SUCCESS;
}