C语言无原型函数调用与默认参数提升问题疑惑

嘿，我来帮你把这个问题掰碎了说清楚，核心其实是C89里旧式K&R风格函数定义和默认参数提升的交互逻辑，咱们一步步来理：

1. 为什么val被视为int类型？ #

这是C89标准里明确规定的旧式函数定义规则：当你用void impl(val)这种只写参数名、不写类型的方式定义函数时，编译器会默认把这个参数的类型当成int。

对应的C89标准条款是6.7.1（函数定义）：

Each parameter that is not declared has type int.

你之前找不到依据，就是这条啦——这是早期C语言（K&R C）遗留的特性，在C99及之后的标准里已经废弃了这种写法，必须显式声明参数类型。

2. 默认参数提升在这里为啥没“生效”？ #

你对默认参数提升的理解没错，但这里的问题是提升发生在调用端，而函数定义端的参数类型已经被默认成int了：

• 调用impl(3.0)时，因为你声明的是void impl();（没有原型的函数声明），所以实参3.0（double类型）确实会执行默认提升（不过double本身就是提升后的类型，所以这里没变化），被压入栈中。
• 但impl函数内部把栈上的这个double数据，当作int类型来读取——相当于把8字节的double截断成4字节的int，这就导致了类型不匹配。

3. 为什么输出是0.00？ #

这是内存解析不匹配导致的结果：

• 假设你用的是32位int和64位double，3.0的double二进制表示是0x4008000000000000。当impl把它当作int读取时，只会取低4字节0x00000000，也就是int类型的0。
• 然后printf("%.2f", val)又把这个int类型的0，当作double类型来解析——int的0是4字节，而double需要8字节，剩下的4字节是栈里的垃圾数据，但刚好解析出来的结果就是0.00（这其实属于未定义行为，不同环境可能有不同输出，但你这里刚好是0）。

4. 修正方案 #

要解决这个问题，只需要把函数改成现代C的写法，显式声明参数类型：

#include <stdio.h>
// 带原型的声明
void impl(double);
int main(void) {
    impl(3.0);
    return 0;
}
// 显式指定参数类型
void impl(double val) {
    printf("%.2f", val);
}

这样调用端和定义端的类型完全匹配，默认参数提升也能正确工作，编译不会有警告，输出就是3.00。

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