GCC环境下跨文件传参疑问：为何缺失函数声明会导致结果错误？

这本质上是C语言中函数声明的作用和隐式函数声明规则（以及参数默认提升）导致的问题，我们分两种情况拆解：

1. 存在int add(int, int);声明的情况 #

当你明确声明了add函数的参数类型和返回值时，编译器完全清楚这个函数的调用约定：

• 它接收两个int类型的参数
• 返回值是int类型

所以当你调用add(10.5, 20.5)时，编译器会自动把传入的double类型实数截断小数部分，转换成int类型的10和20，传给add函数。add内部执行10+20返回30，最后printf用%d输出这个结果，自然是正确的。

2. 缺失函数声明的情况 #

在C89标准（以及很多编译器的兼容模式）中，如果调用一个未声明的函数，编译器会触发隐式函数声明的规则：

• 默认认为这个函数的返回值是int类型
• 参数则遵循默认参数提升规则：float会提升为double，char/short会提升为int

所以此时编译器会把add隐式声明成int add(double, double);，但实际add的定义是int add(int, int);——这就出现了函数调用和函数定义的不匹配，属于C语言中的未定义行为：

• 你传入的10.5和20.5是double类型（通常为8字节），会按照double的格式压入栈中
• 但add函数的定义是按照int类型（通常为4字节）来读取栈中的参数，它会读取每个double值的低4字节内容，这显然不是你期望的10和20，相加后的结果自然不是30。

注意：C99及之后的标准已经彻底取消了隐式函数声明，如果你用C99或更高版本的标准编译代码，缺失add声明时编译器会直接报错，而不是生成错误的可执行文件。

补充验证 #

你可以尝试把缺失声明的代码编译后，打印出add实际接收到的参数值，比如修改Add.c：

#include<stdio.h>
int add(int x, int y) {
    printf("x: %d, y: %d\n", x, y);
    return x + y;
}

此时运行程序会看到x和y是一串奇怪的整数，这就是double值被截断成int后的错误结果。

内容的提问来源于stack exchange，提问作者Wei-Tsung Su