当一个参数为常量时，更改 C 中函数指针的签名

Question

我想在 C 中使用快速排序，它的函数签名为 void qsort(void *base, size_t nitems, size_t size, int (*compar)(const void *, const void*))，但我的比较函数的签名是 int (*compar)(const void *, const void*, const int)，第三个参数在一次调用快速排序期间保持不变。

作为说明，假设我想根据不同的范数（例如 L0、L1、L2 和 Linifinity 范数）对向量数组进行排序。它实际上是哪个规范，作为第三个参数传递给比较函数，但在调用qsort 期间保持不变。是否可以像

这样的形式进行分配

//Function declaration for parametric comparison
int cmp3(int* a_vec, int* b_vec, int x);

// Somewhere in main
int (*cmp2)(int, int);
cmp2 = cmp3(int*, int*, 2);//2 could mean L2 norm

能够调用类似的东西

qsort(a, 100, sizeof(a), cmp2);

我知道这行不通，但我希望它能让我知道我想要完成什么。此外，由于不同比较方式的数量太大，无法进行不同的比较函数和调用 qsort。

Answer 1

这被称为partial function application，你只能用 C 中的包装器来实现这样的事情：

int cmp3(int *a, int *b) {
    return cmp2(a, b, 2);
} 

如果您正在研究偏函数应用程序或者映射或纯函数，您可能需要研究函数式编程语言，例如 Haskell。

Answer 2

主要问题是函数签名在调用之前需要堆栈中的 3 个元素。旧的 C 编译器很“聪明”，如果您没有传递足够多的参数，它们就会用空变量（归零）“完成”堆栈。

现在，如果您这样做（假设编译器接受），它将在堆栈中具有未定义值的第三个变量，而不是您期望的值。

您应该像之前的评论所说的那样做一个“代理”功能：

int cmp3(int *a, int *b) {
    return cmp2(a, b, 2);
}