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接收的是一个指向函数的指针，所以要使用该函数，它需要做的就是取消对该指针的引用。