C语言默认参数提升引发错误的深层运行机制咨询

先看问题中的代码：

#include <stdio.h>

int main(void)
{
    double x = 3.0;
    printf("Square: %d\n", square(x));
    return 0;
}

int square(int n)
{
    return n * n;
}

问题根源与运行时触发机制 #

1. 隐式函数声明的触发
   在main中调用square(x)时，编译器还未读取到square的定义或原型，会触发C语言的旧规则：自动隐式声明该函数为int square();——即返回值为int，但参数的数量和类型不确定。此时编译器会对实参执行默认参数提升。

2. 默认参数提升对double的影响
   默认参数提升仅处理float（转为double）、char/short（转为int），double类型本身不会被修改。因此编译器会按当前系统的调用约定，把8字节的double值3.0传递给square。

3. 运行时参数不匹配的具体表现
   但square的实际定义是接收4字节的int参数，这就导致参数传递与接收完全错位：

   • 如果是栈传递的系统（比如32位x86）：8字节的double被压入栈，square仅读取栈顶4字节作为int。3.0的double二进制表示为0x4008000000000000，小端系统下栈内前4字节为0x00000000，此时应输出0；但你这里输出1，是不同环境下未定义行为的具体表现。
   • 如果是寄存器传递的系统（比如64位x86）：编译器会把double放入浮点寄存器xmm0，但square会从通用寄存器rdi读取int参数，而rdi的值可能是随机的（比如恰好为1），因此返回1*1=1。

4. 本质是未定义行为
   C标准明确规定，当函数实际接收的参数类型与调用时传递的类型（提升后）不匹配时，属于未定义行为——程序可能输出任意值、崩溃，这里的1只是特定环境下的偶然结果。

修复方法 #

在main函数之前添加square的原型声明：

int square(int n);

这样编译器会在调用时自动将double类型的x转换为int（3.0转为3），运行后即可输出预期的9。

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