为何GCC未对声明与定义不一致的函数生成编译警告？

先理清楚咱们手里的三个代码文件的情况：

各文件代码一览 #

• file.c（实现文件）：

#include <stdint.h>
void foo(int i) {
    if(i>0) bar();
}

这里的关键是：这个文件没有包含对应的头文件file.h。

• file.h（头文件）：

#ifndef FILE_H
#define FILE_H
void foo(void);
#endif // FILE_H

（你写的#endif FILE_H是个小笔误，正确写法应该是#endif或者带注释的#endif // FILE_H，不过不影响核心问题）

• main.c（主文件）：

#include "file.h"
int main(void) {
    foo();
}

接下来咱们拆解GCC不警告的原因：

1. GCC默认编译选项的“保守性” #

默认情况下，GCC只会做最基础的语法错误检查，对于这类跨文件的函数声明-定义不匹配问题，属于“类型兼容性”范畴，默认不会主动检查。它不会自动关联不同文件里的函数声明和定义，除非你明确开启对应的警告选项。

2. 分文件编译的“信息隔离” #

C语言是分文件独立编译的：

• 编译main.c时，它看到的是头文件里void foo(void)的声明，调用foo()完全符合这个声明，所以编译器不会挑错；
• 编译file.c时，因为没包含头文件，编译器只知道这里定义了一个void foo(int i)的函数，但它不知道其他文件里还有一个void foo(void)的声明——毕竟编译单个文件时，编译器看不到其他文件的内容，自然不会发现两者不匹配。

而链接阶段呢？C语言的链接器是基于函数名字（这里都是foo）来匹配的，它不会检查函数的参数类型或者返回值是否一致，所以链接器也不会报错，只会留下一个运行时的未定义行为隐患。

3. 需要手动开启特定警告才能检测到问题 #

如果你想让GCC捕捉到这个问题，需要开启对应的警告选项：

• 用-Wall（开启大部分常用警告）编译所有文件：编译file.c时会触发-Wmissing-prototypes警告，提示“函数‘foo’没有原型”；
• 或者直接用-Wstrict-prototypes、-Wprototype这类更针对性的选项，也能检测到声明和定义不匹配的问题。

简单说就是：默认情况下GCC没那么“啰嗦”，要让它帮你揪出这类隐藏问题，得告诉它要更严格一点~

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