为何float出现NaN？两段C代码输出不一致的原因咨询

问题重现 #

两段代码仅printf执行顺序不同，却出现不同输出：

第一段代码 #

#include <stdio.h>

int main()
{
    int i = 2, j = 4;
    float b;
    
    b = j / i * i;
    
    printf("%f\n", j / i * i);
    printf("%f\n", b);
    return 0;
}

输出：

-1.#QNAN0
4.000000

第二段代码 #

#include <stdio.h>

int main()
{
    int i = 2, j = 4;
    float b;
    
    b = j / i * i;
    
    printf("%f\n", b);
    printf("%f\n", j / i * i);
    return 0;
}

输出：

4.000000
4.000000

输出差异的核心原因 #

问题出在printf("%f", j / i * i);这行代码的未定义行为：

• j和i都是int类型，j / i * i是整数运算，结果为4，类型是int；
• printf的%f格式符要求传入double类型参数，直接传递int类型值违反了格式匹配规则，这在C标准中属于未定义行为——编译器可自由处理该情况，没有固定输出结果。

两段代码的执行顺序不同，触发了不同的未定义行为表现：

• 第一段先执行printf("%f", j / i * i);时，栈中int类型的4被当作double解析，恰好出现-1.#QNAN0的错误输出；
• 第二段先执行printf("%f", b);，b是float类型，会被隐式转换为double传入printf，输出正常。后续执行printf("%f", j / i * i);时，可能因前面的函数调用改变了栈状态，或编译器优化导致int的4被意外正确解析为double的4.0，从而输出正常。

VS Code中结果不符的原因 #

VS Code仅为编辑器，实际编译运行依赖后台编译器（如MSVC、GCC、Clang）及编译选项：

• 不同编译器对未定义行为的处理逻辑不同，部分编译器会自动将int参数隐式转换为double以匹配%f，从而输出正确的4.000000；
• 编译选项（如优化等级-O0、-O2）会影响编译器处理方式，Debug与Release模式的栈布局差异大，可能导致输出不同；
• 不同版本的编译器对C标准的实现细节有差异，也会造成表现不一致。

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