这个 C 语法是什么意思？

Question

这是来自我正在使用的“神奇”数组库。

void
sort(magic_list *l, int (*compare)(const void **a, const void **b))
{
    qsort(l->list, l->num_used, sizeof(void*),
         (int (*)(const void *,const void *))compare);
}

我的问题是： qsort 的最后一个参数到底在做什么？

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

qsort 采用 int (*comp_fn)(const void *,const void *) 因为它是比较器参数，但此排序函数采用带有双指针的比较器。不知何故，上面的行将双指针版本转换为单指针版本。有人可以帮忙解释一下吗？

Answer 1

这正是您引用的强制转换的作用：它将类型的指针转​​换

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

为类型的指针，

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

后者是 qsort 所期望的。

在质量较差的代码中经常会遇到类似的情况。例如，当有人想要对 int 数组进行排序时，他们通常会编写一个比较函数来接受指向 int * 的指针

int compare_ints(const int *a, const int *b) {
  return (*a > *b) - (*a < *b);
}

，并且当需要实际调用 >qsort 他们强制将其转换为正确的类型以抑制编译器的抱怨

qsort(array, n, sizeof *array, (int (*)(const void *,const void *)) compare_ints);

这是一种“黑客”，会导致未定义的行为。显然，这是一种不好的做法。您在示例中看到的只是同一“黑客”的不太直接的版本。

在这种情况下，正确的方法是将比较函数声明为

int compare_ints(const void *a, const void *b) {
  int a = *(const int *) a;
  int b = *(const int *) b;
  return (a > b) - (a < b);
}

，然后在不进行任何强制转换的情况下使用它。

qsort(array, n, sizeof *array, compare_ints);

一般来说，如果希望将它们的比较函数用作 qsort（以及类似函数）中的比较器，应该使用 const void * 参数来实现它们。

Answer 2

qsort 的最后一个参数是将采用双指针的函数指针转换为采用 qsort 将接受的单指针的函数指针。这只是一个演员阵容。

Answer 3

在大多数硬件上，您可以假设指针在硬件级别上看起来都是相同的。例如，在具有平面 64 位寻址指针的系统中，指针将始终是 64 位整数。对于指针到指针或指针到指针到指针的指针也是如此。

因此，无论使用什么方法来调用带有两个指针的函数，都适用于任何带有两个指针的函数。指针的具体类型并不重要。

qsort 一般地对待指针，就好像每个指针都是不透明的一样。所以它不知道也不关心它们是如何取消引用的。它知道它们当前的顺序，并使用比较参数来计算出它们应该采用的顺序。

您使用的库大概保留了指向指针的指针列表。它有一个比较函数，可以比较两个指针与指针。因此它会将其传递给 qsort。它只是在语法上比例如更好

qsort(l->list, l->num_used, sizeof(void*), compare);

/* elsewhere */

int compare(const void *ptr1, const void *ptr2)
{
    // these are really pointers to pointers, so cast them across
    const void **real_ptr1 = (const void **)ptr1;
    const void **real_ptr2 = (const void **)ptr2;

    // do whatever with real_ptr1 and 2 here, e.g.
    return (*real_ptr2)->sort_key - (*real_ptr1)->sort_key;
}

Answer 4

它正在转换一个函数指针。我想原因是比较可以应用于取消引用的指针，而不是它们指向的任何指针。

Answer 5

(int (*)(const void *,const void *))compare 是一种 C 风格转换，用于将函数指针 compare 转换为具有两个 的函数指针const void * 参数。

Answer 6

最后一个参数是函数指针。它指定它接受一个指向返回 int 的函数的指针，并接受两个 const void ** 参数。