使用没有原型的旧式函数的 C 编译器的行为

Question

当我的程序由两个文件组成时：

main.c

#include <stdio.h>

int main(void) { 
     printf("%lf\n",f());   
     return 0;
 }

func.c

double f(int a) {
 return 1;
}

编译器不显示任何错误。

当我的程序仅包含一个文件：

main.c

#include <stdio.h>

int main(void) { 
     printf("%lf\n",f());   
     return 0;
 }

double f(int a) {
 return 1;
}

Visual C++ 2008 编译器显示以下错误：

Error 2 error C2371: 'f' : redefinition; different basic types d:\temp\projects\function1\function1\1.c 8 function1

任何人都可以解释这一奇怪的行为吗？

Answer 1

C 将假设一个函数具有原型 int func();除非你另有说明。（请注意，在 C 中 int func(); 和 int func(void); 是不同的东西）

在第二种情况下，你调用 f() ，其中编译器没有看到任何原型，因此假设它是 int f(); 。稍后它会看到您对 f() 的定义，它具有不同的原型 - 并发出错误。

在 1. 情况下不会发生这种情况，因为它们位于不同的编译单元中。

Answer 2

这两个程序都是错误的。

如果范围内没有原型，编译器会假定函数返回 int 并采用未指定数量的参数。

让我们稍微更改一下您的文件：

$ cat func.c
double f(int a) {
    return 1.0;
}
$ cat main.c
#include <stdio.h>

int main(void) { 
    double d = f();
    printf("%lf\n", d);
    return 0;
}

当我编译它时，gcc 会警告我（Visual C++ 也应该如此，在一致模式下）。但让我们忽略这个警告。

$ gcc -std=c99 -pedantic -W -Wall func.c main.c -o test
func.c:1: warning: unused parameter 'a'
main.c: In function 'main':
main.c:4: warning: implicit declaration of function 'f'
$ ./test
0.000000

它没有打印 1，而是打印 0。这是因为编译器假设 f() 返回一个 int，并且赋值 d = f(); 将“int”转换为double。编译器仍然编译代码，因为它无法判断 f() 没有按照（隐式）声明的方式定义。但是标准并不要求编译上述程序，因此编译器可能会拒绝它（例如尝试使用 gcc -Werror！）

如果我们将所有内容都放在一个文件中：

$ cat func.c >>main.c
$ gcc -std=c99 -pedantic -W -Wall func.c main.c -o test
main.c:4: warning: implicit declaration of function 'f'
main.c: At top level:
main.c:9: error: conflicting types for 'f'
main.c:4: error: previous implicit declaration of 'f' was here
main.c:9: warning: unused parameter 'a'

现在编译器会看到冲突，并给出错误消息。但是，编译器不需要拒绝上述程序，它可能会也可能不会。

大多数编译器不会拒绝第一个程序，因为它们不知道您在另一个翻译单元中是否有正确的函数 f() 定义。他们拒绝第二个计划，因为他们知道你不知道。

Answer 3

您的第一个示例从不使用 func.c 所以我不确定编译器对 f() 做了什么，因为它没有定义。

在第二个示例中，我不知道为什么不能有两个具有不同签名的函数，但您没有调用您定义的函数。您可以不带参数调用 f()，但您定义的 f 采用 int，这使其成为不同的函数。