C语言void*泛型参数下函数指针转换及返回值兼容问题咨询

问题1 函数指针强制转换的安全边界 #

这类转换不属于C标准规定的合法行为，仅在同时满足以下所有条件时可以在特定架构下稳定运行，安全边界如下：

• 所有具体操作函数与通用函数指针类型的调用约定完全一致：例如均使用默认C调用约定（cdecl），不存在stdcall、fastcall等约定混用的情况。
• 目标架构上所有对象指针的表示、传参方式完全一致：主流x86、ARM、RISC-V架构均满足该条件，void*、A_t*、B_t*等对象指针长度相同，参数传递时都按单指针宽度处理，不会出现参数解析错位。
• 具体函数的参数类型与实际传入的指针类型匹配：即通用层传入的void*指针，确实是从对应具体函数接收的结构体指针转换而来，不存在类型错配。
• 通用函数指针与具体函数的参数限定符一致：例如具体函数参数是const A_t*，通用函数指针参数也必须是const void*，不能出现限定符不匹配的情况。

注意：上述条件仅为实践层面的安全边界，严格来说这种直接转换调用的行为属于C标准未定义行为，更合规的实现方式是为每个具体函数写一层适配 wrapper，不需要任何强转即可完全符合标准要求，示例如下：

static void free_A_wrapper(void *obj) {
    free_A((A_t*)obj);
}
static void print_A_wrapper(void *obj) {
    print_A((A_t*)obj);
}
// 调用时直接传wrapper函数即可
myfunc(a, free_A_wrapper, print_A_wrapper);

问题2 不同返回值的兼容性 #

不能，这种做法属于C标准明确规定的未定义行为，没有任何安全保证：

• 函数返回值的处理由架构ABI约定，例如x86_64架构下int返回值会存入rax寄存器，返回void的函数不会操作该寄存器，如果你把返回void的函数强转为返回int的指针调用，拿到的返回值是完全不确定的垃圾值。
• 即使你在通用层不接收返回值，只要调用时的函数指针类型与实际函数的返回值类型不匹配，依然属于未定义行为，极端场景下可能出现栈损坏、寄存器污染等问题。

如果需要统一返回值，依然可以通过wrapper适配实现，示例如下：

static int free_A_wrapper(void *obj) {
    free_A((A_t*)obj);
    return 0; // 无返回值的函数统一返回默认值
}
static int free_B_wrapper(void *obj) {
    return free_B((B_t*)obj); // 本身返回int的函数直接透传返回值
}

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