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＆amp; 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收到的是一个指向函数的指针，所以它为了使用该函数而需要做的就是对指针进行解除引用。