C语言如何将带多参数的函数作为参数传入for_each遍历函数

你当前写的for_each实现无法正常支持多参数处理函数，存在两个核心错误：

• 代码里用的__va_arg_pack()是GCC/Clang的私有内置扩展，不属于C标准规范，换用MSVC等其他编译器会直接编译失败，可移植性极差。
• 这个内置宏只能在自身是可变参数的函数内部使用，作用是透传当前函数收到的可变参数包；但你写的for_each本身没有定义可变参数列表，根本拿不到用户要传给处理函数的额外参数，逻辑上完全不成立，哪怕在GCC环境下也会跑出未定义行为。

C语言里做遍历回调的通用、标准、类型安全的实现方式是上下文指针传参，这也是所有主流C项目（比如Linux内核、各类基础库）采用的方案，完全兼容所有C编译器，没有兼容问题。

核心思路 #

不给回调做可变参数支持，而是给回调和for_each都加一个void*类型的上下文参数：用户需要给处理函数传多少个自定义参数，就把这些参数打包成一个结构体，把结构体指针作为上下文传入for_each，遍历的时候for_each会把这个指针原封不动传给每个节点的处理函数，处理函数内部把指针转回对应的结构体类型就能拿到所有自定义参数。

实现代码 #

// 定义节点处理函数的类型签名：入参为当前遍历到的节点、用户传入的上下文指针
typedef void (*list_node_handler)(linked_list_node* node, void* user_ctx);

void for_each(linked_list* list, list_node_handler handler, void* user_ctx) {
  // 空指针直接返回，增加处理函数的空判断避免崩溃
  if (list == NULL || list->head == NULL || handler == NULL) {
    return;
  }

  for (linked_list_node* node = list->head; node != NULL; node = node->next) {
    handler(node, user_ctx);
  }
}

使用示例 #

比如你需要给处理函数传两个额外参数：阈值、结果计数指针，只需要把这两个参数封装成结构体即可：

// 封装要传给处理函数的自定义参数
typedef struct {
  int threshold;
  int* greater_count;
} count_param;

// 节点处理逻辑：统计值大于阈值的节点数量
void count_greater_node(linked_list_node* node, void* user_ctx) {
  count_param* param = (count_param*)user_ctx;
  if (node->value > param->threshold) {
    (*param->greater_count)++;
  }
}

// 调用示例
int main() {
  linked_list* list = /* 这里放你自己的链表初始化、插入节点逻辑 */;
  int result = 0;
  count_param ctx = {
    .threshold = 6,
    .greater_count = &result
  };
  // 遍历执行统计
  for_each(list, count_greater_node, &ctx);
  // 遍历完成后result就是符合要求的节点数
  return 0;
}

不推荐的可变参数版本 #

如果你一定要用可变参数形式（非常不推荐，没有类型检查，极易写出内存错误），可以借助<stdarg.h>的标准宏实现，注意回调需要接收va_list类型的参数列表，不能直接写省略号参数：

#include <stdarg.h>
typedef void (*list_node_va_handler)(linked_list_node* node, va_list args);

void for_each_va(linked_list* list, list_node_va_handler handler, ...) {
  if (list == NULL || list->head == NULL || handler == NULL) {
    return;
  }

  va_list main_args;
  va_start(main_args, handler);
  for (linked_list_node* node = list->head; node != NULL; node = node->next) {
    // 每个节点都要拷贝一份参数列表，避免遍历下一个节点时参数指针偏移失效
    va_list node_args;
    va_copy(node_args, main_args);
    handler(node, node_args);
    va_end(node_args);
  }
  va_end(main_args);
}

这个版本的缺陷非常明显：编译器不会检查你传入的参数类型、数量和处理函数里取出的参数是否匹配，一旦写错就会触发未定义行为，没有特殊需求不要用。

内容的提问来源于stack exchange，提问作者Uriel Rivas