为何将int(*g)(int)赋值给int(*h)(char)会引发错误？

先看你给出的代码片段：

int (*f)(int);
int (*g)(int);
int (*h)(char);
f = g; // 合法
h = g; // C中警告，C++中报错

咱们一步步来解释这里的核心逻辑：

函数指针的类型本质 #

函数指针的类型是由返回值类型和完整的参数类型列表共同决定的。f和g的类型完全一致——都是「指向接受int参数、返回int的函数的指针」，所以它们之间的赋值在C和C++里都是合法的，这很好理解。

为什么h = g会有差异？ #

这里的关键误区是：你提到的char隐式转换为int是函数调用时的参数传递规则，和函数指针的类型匹配规则是两码事。

• 在C语言中，标准允许这种“参数类型不同的函数指针赋值”，但这属于「约束违反」——编译器会给出警告（提醒你这可能有风险），但不会直接报错。原因是C的设计哲学更偏向灵活性，允许一些不严格但实际调用可能能工作的操作：比如你真的通过h调用指向的函数时，传入的char会被自动提升为int，实际执行是没问题的，但编译器还是会警告你指针类型不匹配的问题。
• 在C中，类型系统要严格得多。函数指针的类型必须完全匹配（参数类型、数量、返回值都得一致），哪怕参数之间可以隐式转换也不行。因为C把函数指针的签名（参数+返回值）看作一个不可分割的类型标识，不允许这种跨类型的隐式赋值——直接判定为类型不兼容，所以编译报错。

简单总结：函数指针的类型匹配看的是参数的类型本身，不是参数值能不能转换。C给了灵活性但加警告，C++则直接严格禁止这种不匹配的赋值。

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