调用带有太多参数的函数时的GCC行为

Question

我刚刚注意到GCC的行为，这对我来说似乎很陌生（未与其他编译器一起检查过）。

如果我编译此代码：

#include <stdio.h> 

void foo(int i) 
{ 
    printf("Hello %d\n",i); 
} 

int main(){ 
    foo(1, 2); 
    return 0; 
} 

我会得到一个编译错误：

test.c:9:5: error: too many arguments to function ‘foo’ 

但如果我编译此代码：

#include <stdio.h> 

void foo() 
{ 
    printf("Hello\n"); 
} 

int main(){ 
    foo(1, 2); 
    return 0; 
} 

我没有得到任何错误或警告。

有人能解释我为什么吗？

我用gcc 4.6.3试用了一下手臂，无 - EABI-GCC 4.8.3

编辑：我编译所有的警告：gcc -Wall test.c

Answer 1

在C中，编写void foo()意味着foo带有未指定数量的参数。

为了指示功能foo()应该采取任何参数，你应该写void foo(void)

出于这个原因，你也应该使用的签名int main(void)。

Answer 2

打开你的警告！

void foo() 

是一种陈旧的ANSI C语言，它没有适当的原型来声明函数。如果你这样做，该函数的行为类似于void foo(...)，并允许任意数量的参数传递。

（在C++中，void foo()声明了一个null-arity函数，就像你期望的那样）。

Answer 3

我会争辩说，gcc应该在这里抱怨。艾蒂安的答案应该是正确的，如果f是一个extern原型，但（在C996.7.6.3§14在C11，6.7.5.3§14）实际段落讨论这一点读取方式（重点煤矿）：

标识符列表仅声明该函数参数的标识符。 作为函数定义的一部分的函数声明器中的空 列表指定 函数没有参数。函数声明器中的空列表不是该函数的 定义的一部分，它指定不提供有关参数数量或类型的信息。

clang（V3.4）确实发出警告（too many arguments in call to 'foo'）与你的文件，但会愉快地（默默）编译下面的两个文件：

foo.c的：

extern void foo(); 
int main(){ 
    foo(1, 2); 
    return 0; 
} 

吧。C：

#include <stdio.h> 
void foo (int x, int y, int z) { printf("Hello %d\n", z); } 

结果：

$ clang -o foo bar.c foo.c 
$ ./foo 
Hello 1405669720