为何C编译器允许不同arity的函数指针之间进行强制转换？

核心结论 #

你观察到的编译通过是正常的，但这不代表你可以随意用转换后的指针调用函数，这类强转的正确性完全由开发者自己保障，调用不匹配的类型会触发未定义行为。

你测试的代码本身只是执行了函数指针类型转换，没有调用转换后的指针，完全符合C语言标准要求，所以编译器不会报错：

#include <stdio.h>

int main() {
    // function pointer declaration
    void *(*foo)(void *);
    // castings
    (int *(*)(int *, int *))foo;
    (int *(*)(float *, int *, char **))foo;
    (int *(*)(int, int))foo;
    return 0;
}

为什么C语言允许这类转换 #

C标准明确允许任意函数指针类型之间的互相转换，C11标准6.3.2.3第8条规定：

指向一种函数类型的指针可以转换为指向另一种函数类型的指针，再转换回原类型时，结果应当与原指针相等。如果转换后的指针用于调用的函数类型和实际被指向的函数类型不兼容，行为是未定义的。

设计这一特性的核心原因是C语言的设计哲学是信任程序员、优先保留灵活性，这类强转可以满足很多实用的开发场景：

• 通用回调框架开发：比如事件分发、异步任务调度这类场景，可以先把不同类型的回调函数统一存储为通用函数指针类型，调用时再根据业务场景转换为对应类型，只要开发者保证转换前后的类型和实际函数类型一致，就能正常运行，大幅降低框架的冗余代码。
• 底层系统编程：和内核、硬件交互、动态加载符号（比如dlsym获取函数地址）的场景下，本身无法在编译期确定函数的具体类型，需要手动做类型适配，函数指针强转是唯一的实现方式。

注意事项 #

• 函数指针强转本身只有语法层面的合法性，没有任何自动类型校验，转换后的指针调用前必须保证类型和实际指向的函数完全匹配，包括参数数量、参数类型、返回值类型、调用约定都要一致，否则会出现不可预期的运行错误。
• 普通业务开发中没有特殊需求不要随意使用这类强转，一旦类型匹配出错，排查难度非常高。

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