如何在 C 中创建通用库函数？

Question

我想管理具有相同“通用”功能的各种实体。这些实体被示意性地声明为：

typedef struct {
  prefix_t pfx;
  int  i1;
  int  i2;
  int  i3;
} entity_t;

即用于内务处理的 typedef 结构前缀（包含链接指针、标志等）和有效负载。每个实体类型都有一个这样的类型声明。

管理函数只需要获取一个指向前缀的指针，这很容易，并且需要一个函数来“探索”有效负载以返回一个有意义的数量用于管理。

以二叉树管理为例：

void TreeInsert (prefix_t *a, prefix_t *b, int (*compare) (prefix_t *, prefix_t *));

在程序内部，我有这样的调用：

if (0 > compare(a, b)) {
   // a comes before b
} else {
  // a is the same as b or comes after
};

没关系。库函数编译没有错误也没有警告。

但很明显，比较函数不能只引用前缀。它需要探测有效载荷才能有用：

int comp_entity (entity_t *a, entity_t *b) {
   return a->i1 - b->i1;
}

编译器在以下行给出 comp_entity 警告：

TreeInsert (&a->pfx, &b->pfx, comp_entity);

由于库函数用于许多不同的“实体”，比较函数不能在调用时进行类型转换。不能为前缀键入比较函数的参数，否则无法访问有效负载。

我应该只为了将比较传递给库函数而定义一个特定的函数类型吗？比如：

typedef int (func_cast *) (prefix_t *, prefix_t*);

和

TreeInsert (&a->pfx, &b->pfx, (func_cast)comp_entity);

我宁愿避免这种情况。这可能吗？

注意：

我找到了create universal function pointer to any type C language 和How do I quiet the C compiler about a function pointer takes any number of arguments?，但他们没有提供解决方案。

Answer 1

您的比较函数知道真正的类型应该是什么，因此您将使用类型prefix_t * 声明参数并将参数转换为函数内部：

int comp_entity (prefix_t *a, prefix_t *b) {
   entity_t *ea = (entity_t *)a;
   entity_t *eb = (entity_t *)b;
   return ea->i1 - eb->i1;
}