c - Qsort的内部实现

Question

qsort 被声明为

void qsort (void* base, size_t num, size_t size,
            int (*compar)(const void*,const void*));

我想知道 qsort 如何实现反射属性。我的意思是它如何调用我们传递的名称的函数？

Answer 1

qsort接收一个指向函数的指针，接收两个指针并返回int，仅此而已。这个指针被称为compar。调用此函数所需的所有 qsort 都类似于：

(*compar)(base+i, base+j);

哪里i和j是 的偏移量base。真的就是这么简单。您可以在 K&R 第二版，第 5.11 节，第 120 页中看到一个可能的实现：

void qsort(void *v[], int left, int right, int (*comp)(void *, void *)) {
    int i, last;
    void swap(void *v[], int, int);

    if (left >= right)
        return;
    swap(v, left, (left + right)/2);
    last = left;
    for (i = left+1; i <= right; i++)
        if ((*comp)(v[i], v[left]) < 0) /* Here's the function call */
            swap(v, ++last, i);
    swap(v, left, last);
    qsort(v, left, last-1, comp);
    qsort(v, last+1, right, comp);
}

Answer 2

接收的是qsort一个指向函数的指针，所以为了使用该函数，它需要做的就是取消对该指针的引用。