先把你的代码和编译命令放出来，方便大家定位问题：

代码文件 #

test.c

#include "a.h"
#include <stdio.h>
int main(){
 int x = a();
 printf("%d\n", x);
}

a.h

int a();

a.c

#include <stdio.h>
void a(int a) {
 printf("%d\n", a);
}

编译命令：

$ gcc -o test test.c a.c

这事儿得从C语言的历史遗留特性和GCC的默认行为两方面拆解：

1. 旧式函数声明的模糊性
   你在a.h里写的int a();是C89标准里的旧式非原型声明——注意，它的意思不是“这个函数没有参数”，而是“我暂时不知道这个函数的参数数量和类型”。这种声明是为了兼容早期无类型检查的C代码，GCC默认会认可这种写法，不会去验证后续函数定义的参数是否和声明匹配。

如果换成现代的原型声明int a(void);（明确表示无参数），GCC就能立刻察觉到参数不匹配的问题了。

2. 默认编译模式的宽松性
   GCC默认的编译选项是非常“宽容”的，它不会主动检查这类“不规范但能勉强运行”的代码问题：

• 对于返回值不匹配（声明int，定义void），默认模式下会忽略这个矛盾，甚至帮你做隐式类型转换（但实际上a()没有返回值，x会拿到栈里的随机值，运行结果完全不可控）；
• 对于参数数量不匹配（调用时不传参数，定义要求传int），因为旧式声明不限制参数，GCC也不会报错。

3. 如何让GCC提示这些问题
   只要开启更高的警告级别，GCC就会把这些问题揪出来。比如用-Wall开启常用警告，或者-Wpedantic严格遵循C标准：

$ gcc -Wall -o test test.c a.c

运行这个命令，你会看到一堆警告，比如返回值类型不匹配、函数调用参数数量不符等，这才是我们写代码时该用的严谨编译方式。

最后要强调：这种代码属于未定义行为，虽然看起来能运行，但结果完全不可预测，绝对不能在正式代码里这么写。

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