不传递参数比较函数如何工作

Question

我想对 struct 数组进行排序，但是在理解比较函数的逻辑时，我感到困惑的是，当它在不传递参数的情况下调用 qsort() 函数时，比较函数是如何工作的

在 Windows 上的代码块上使用 GCC：

代码

int compare(const void * a, const void * b);

struct cricketers
{
  int avrun;
  char name[30];
  int age;
  int notm;
}india[Max] = {
  122, "Sachin Tendulkar", 30, 67,
  97, "Virendra Sehwag", 35, 56,
  66, "Irfan Pathan", 32, 45,
  153, "Yusuf Pathan", 36, 21,
  101, "Yuvaraj Singh", 32, 45,
};

int main()
{
  int i;
  qsort(india, 5, sizeof(struct cricketers), compare);

  for (i = 0; i < 5; i++)
  {
    printf("Name : %s", india[i].name);
    printf("\nAge : %d", india[i].age);
    printf("\nTotal Test Matches played : %d", india[i].notm);
    printf("\nAverage Run : %d\n\n\n", india[i].avrun);
  }
  _getch();
  return 0;
}

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

Answer 1

函数qsort在内部调用比较函数，传递给它的指向数组的两个元素的空指针。

根据 C 标准（6.7.2.1 结构和联合说明符），结构的第一个成员的地址等于结构类型的整个对象的地址。

15 在结构对象中，非位域成员和单元 位域所在的地址按顺序增加 在其中声明它们。 指向结构对象的指针， 适当转换，指向其初始成员（或者如果该成员是 一个位域，然后到它所在的单元），反之亦然。 结构对象内可能有未命名的填充，但在其 开始。

因此，例如参数a 转换为int * 类型的值会产生结构的数据成员int avrun 的地址。

尽管如此，这个表达式(*(int*)a - *(int*)b) 可能会由于有符号整数的溢出而调用未定义的行为。

我会这样写比较函数。

int compare( const void *a, const void *b )
{
    const struct cricketers *left  = ( const struct cricketers * )a;
    const struct cricketers *right = ( const struct cricketers * )b;

    return ( right->avrun < left->avrun ) - ( left->avrun < right->avrun ); 
}