各C语言标准中带空括号的函数指针语义是什么？

针对你问的return-type (*pointer)()这种带空括号的函数指针，我来拆解下它在不同C标准里的语义，以及实际编译器中的行为：

1. 各C标准中的定义 #

• C89/C90：这种函数指针的语义是——它指向的函数可以接受任意数量、任意类型的参数。调用时编译器不会做参数个数或类型的检查，完全依赖开发者自己保证调用的正确性。
• C99及后续标准（C11、C17）：这个特性被标记为过时（obsolescent），标准明确建议使用带显式参数列表的函数指针（比如int (*fp)(int)）来确保类型安全。到C11里，它正式被列为过时特性，虽然多数编译器仍会兼容，但不推荐在新代码中使用。

2. GCC i386平台的特殊行为 #

在GCC的32位x86（i386）环境下，调用这类空括号的函数指针时，传入的“多余”参数会被忽略。这是由i386的栈帧和调用约定（cdecl）决定的：

• 调用函数时参数从右往左压栈；
• 对于空括号的函数指针调用，编译器只会根据被指向函数的实际定义读取栈上需要的参数，多余的参数会留在栈中，之后由调用者负责清理栈空间，所以不会影响程序执行，但这些额外参数的值不会被函数使用。

3. 示例代码验证 #

/* test.c */
#include <stdio.h>

int foo(int arg) {
    return arg;
}

int main(void) {
    int (*fp)() = foo;
    // 传入2个参数，但foo仅读取第一个
    int result = fp(100, 200);
    printf("Result: %d\n", result); // 输出100，第二个参数被忽略
    return 0;
}

编译运行这段代码，你会看到输出结果是100，直观验证了多余参数被忽略的行为。

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