C语言中函数指针省略参数类型初始化的编译行为疑问

核心原因：无原型函数指针的规则与GCC默认编译行为 #

你代码里的void (*foo)()是无原型函数指针——这类指针不携带参数数量、类型的信息。而f的类型是void(*)(int)（有原型的函数指针）。

在C标准中，旧版本（如C89）允许有原型的函数指针赋值给无原型的函数指针；GCC 9.4.0在默认编译模式下（未开启-Wall/-Wextra或指定-std=c99+标准）不会对这种情况触发警告，这就是代码能正常编译的原因。

调用foo(10)能正确输出的本质是：函数调用时的参数传递栈布局和实际函数f的要求完全匹配——你传递的int类型参数，正好是f期望接收的类型，所以执行没有问题。

不同参数场景的差异解释 #

• 当f参数改为float时出现警告：无原型函数指针调用时，参数会触发默认参数提升——float会被提升为double，但f实际需要接收float，类型不匹配，GCC能检测到这种潜在错误，因此发出警告。
• f多int参数时无警告且正常运行：默认参数提升对int类型无影响（提升后仍是int），你传递的参数类型、栈布局和f的要求完全匹配；同时GCC默认模式下不会检查无原型函数指针的参数数量，所以编译运行都正常。
• 最后一个参数改为float时出现警告：同样是默认参数提升导致的类型不匹配——传递的float被提升为double，但f期望接收float，GCC检测到后触发警告。

补充：如何触发你预期的警告 #

如果开启严格编译选项，比如执行：

gcc -Wall -Wextra -std=c99 your_code.c

GCC就会输出你预期的“不兼容指针类型初始化”警告。

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