旧式C函数传入float输出2？C17标准下代码运行疑问

你的代码确实触发了未定义行为（UB），结果异常的原因来自两个关键理解偏差：

1. 旧式函数参数的类型匹配错误 #

你提到C23前未指定类型的参数默认是int，这个规则本身没问题，但忽略了调用时的参数传递规则：

• 函数foo是旧式K&R风格定义，a默认是int类型，意味着函数期望从栈上读取一个int值。
• 但你调用时传入的是float（或10.6f这种浮点字面量），此时会触发默认参数提升：float会被转换成double再传递到栈上。
• 栈里实际存放的是double类型的二进制数据，但函数会把它当成int来解析，这直接导致读取的数值完全混乱——这就是传入float时结果异常的核心原因。只有传入int时，栈上的数据类型和函数期望一致，结果才符合预期。

2. auto变量的类型规则完全理解错了 #

你认为auto b = 1.7f;中b默认是int，这是混淆了旧式函数参数的规则和变量声明规则：

• auto在C里只表示变量是自动存储期（局部变量默认就是这个存储期，写不写都一样），它从来不会决定变量的类型。
• C语言（包括C17）不允许省略变量的类型声明——C89里虽然允许普通局部变量省略类型默认是int，但加上auto后必须显式写类型，所以auto b = 1.7f;在任何标准C里都是非法代码。编译器处理这种非法代码的行为是未定义的，可能会乱推断类型，进一步加剧结果的不可预测性。

修正后的合法代码示例 #

要让代码符合C17标准且行为明确，应该写成这样：

#include <stdio.h>

// 用现代函数声明，明确参数类型
void foo(int a)
{
    // 显式指定变量类型，不省略
    float b = 1.7f;
    printf("%d\n", (int)(a + b));
}

int main(void)
{
    // 显式将浮点值转为int后传入
    foo((int)10.6f);
}

此时输出就是你预期的11：10.6f转成int是10，加上1.7f得到11.7f，强转int后为11。

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