如何让清理函数直接使用具体类型而非void*作为参数（函数指针场景）

没问题，这在C里完全能实现，核心就是通过适配层来抹平函数签名的差异，既让你的业务清理函数用清晰的具体类型，又满足泛型回调的要求。下面给你几种实用的方案：

方案1：手动写一个包装函数（最直观） #

这是最简单直接的方式：写一个只做类型转换的小函数，把void*转成你需要的struct bar*，再调用真正的清理函数：

// 你的目标清理函数，直接用具体类型，逻辑清晰
void bar_cleanup(struct bar *bar) {
    // 这里写实际的清理逻辑，比如释放成员、free(bar)等
    free(bar->name);
    free(bar);
}

// 适配foo_cleanup要求的void*签名的包装函数
void bar_cleanup_wrapper(void *data) {
    // 显式转换类型后调用真正的清理函数
    bar_cleanup((struct bar*)data);
}

// 使用时传入包装函数即可
foo_cleanup(my_foo_instance, bar_cleanup_wrapper);

这个方案完全符合C标准，没有任何不安全的隐式转换，编译器也不会出警告。包装函数只做类型转换，逻辑非常简单，可读性也强。

方案2：用宏自动生成包装函数（适合多类型场景） #

如果你有很多不同类型的清理函数，不想手动写一堆重复的包装代码，可以用宏来自动生成：

// 定义一个宏，自动生成适配void*的包装函数
#define MAKE_CLEANUP_WRAPPER(cleanup_func, target_type) \
void cleanup_func##_wrapper(void *data) { \
    cleanup_func((target_type*)data); \
}

// 定义你的业务清理函数
void bar_cleanup(struct bar *bar) {
    // 清理逻辑
}

// 用宏生成对应的包装函数
MAKE_CLEANUP_WRAPPER(bar_cleanup, struct bar)

// 使用时直接传生成的包装函数
foo_cleanup(my_foo_instance, bar_cleanup_wrapper);

这个宏会帮你自动拼接出包装函数的名字（比如bar_cleanup对应bar_cleanup_wrapper），省去了重复写转换代码的麻烦，适合有大量不同类型清理需求的场景。

为什么直接传bar_cleanup会报错？ #

补充个小知识点：C语言对函数指针的类型要求非常严格，void(*)(struct bar*)和void(*)(void*)是完全不同的函数指针类型，不能直接隐式转换——虽然有些编译器可能会放你一马，但会抛出警告，而且这是不安全的（比如某些架构下不同指针类型的大小或对齐规则可能不同，会导致调用出错）。所以通过包装函数做显式转换才是标准、安全的做法。

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