关于《C语言算法精要》中Graph结构体match/destroy函数指针的疑问

1. 泛型值为何需要比较？ #

图的实现被设计为泛型结构，支持存储任意类型的数据（整数、字符串、自定义结构体等）。而图的核心操作（比如查找顶点、判断边是否存在、删除指定顶点）都需要判断两个数据是否相等。C语言本身没有通用的类型比较逻辑，所以通过const void*接收任意类型指针，让使用者提供适配具体数据类型的比较规则，以此实现泛型兼容。

2. 函数指针为何放在结构体中？ #

将match函数指针嵌入Graph结构体，是为了给每个图实例绑定专属的比较规则。比如一个存字符串的图和一个存自定义用户结构体的图，比较逻辑完全不同——字符串用strcmp，结构体可能需要对比特定成员字段。把函数指针放进结构体后，调用图的API（如查找、删除）时，内部会直接使用该指针指向的函数，无需每次传参，既简化了接口，也提升了封装性。

3. match函数的定义在哪里？ #

这个函数并非书中库实现的固定代码，需要你根据存储的数据类型自行定义。举两个常见例子：

• 存储字符串时的实现：

  int str_match(const void* key1, const void* key2) {
      return strcmp(*(const char**)key1, *(const char**)key2);
  }
  

• 存储整数时的实现：

  int int_match(const void* key1, const void* key2) {
      return *(const int*)key1 - *(const int*)key2;
  }
  

在初始化图时，把你写的这个函数地址赋值给Graph结构体的match成员即可。

4. destroy是否属于同类函数？ #

是的，destroy和match属于同一设计思路的函数指针。它的作用是释放图中存储的数据内存——因为图是泛型的，库无法预知你存储的数据是简单栈类型还是动态分配的（比如malloc出来的字符串），所以需要你提供自定义的销毁逻辑：

• 若存储的是栈上简单类型（如int），可以传NULL，表示无需额外释放；
• 若存储的是动态分配的字符串，可这样实现：

  void str_destroy(void* data) {
      free(data);
  }
  

将这个函数指针传给Graph的destroy成员后，调用graph_destroy时，内部会遍历所有顶点/边，用该函数释放对应数据。

为什么destroy也要放在结构体中？ #

和match的原因一致：让每个图实例适配自身存储的数据类型。不同数据的释放方式差异很大，把销毁逻辑绑定到结构体中，既让图的销毁API能通用处理任意类型数据，也保证了封装性——使用者只需在初始化时配置一次，后续调用销毁接口无需重复传参。

内容的提问来源于stack exchange，提问作者Yuri Teixeira Mendes