printf格式符错误致输出异常：为何celsius输出0.0而非-17.8？

问题描述 #

在温度转换代码中，误用%d格式符打印float类型的fahr变量，已知会产生随机整数输出，但存在两个异常点：

• 当fahr=0时，按公式(5.0/9.0)*(fahr-32.0)计算celsius应为-17.8，实际却输出0.0；
• 后续循环中celsius的输出值并非预期的温度转换结果，而是fahr的步增值（20、40...300）。

代码示例 #

#include <stdio.h>
main()
{
    float fahr, celsius;
    int lower, upper, step;

    lower = 0;
    upper = 300;
    step = 20;
    
    fahr = lower;
    while (fahr <= upper){
        celsius  = (5.0/9.0) * (fahr-32.0); // 温度转换公式
        printf("%3.0d %6.1f\n",fahr,celsius); // 存在问题的语句
        fahr = fahr + step;
    }
}

实际输出 #

-1693570760    0.0
32109216   20.0
32109216   40.0
32109216   60.0
32109216   80.0
32109216  100.0
32109216  120.0
32109216  140.0
32109216  160.0
32109216  180.0
32109216  200.0
32109216  220.0
32109216  240.0
32109216  260.0
32109216  280.0
32109216  300.0

原因解析 #

1. printf的参数解析逻辑 #

printf是可变参数函数，完全依赖格式字符串来读取栈中的参数：

• 遇到%d时，会从栈中读取4字节（32位系统下）的整数数据；
• 传入float类型参数时，C语言会自动将其提升为double（8字节）压入栈中。

2. 第一次循环的异常（fahr=0时celsius输出0.0） #

• 栈中先压入8字节的double类型fahr（值为0.0的二进制表示），再压入8字节的double类型celsius（值为-17.8的二进制表示）。
• %3.0d读取栈顶4字节，这是fahr（double）的低4字节，解析后得到随机整数-1693570760。
• %6.1f继续读取接下来的8字节，这部分是fahr的高4字节 + celsius的低4字节，该二进制组合恰好对应0.0的double表示，因此输出0.0。

3. 后续循环的异常（celsius输出步增值） #

后续循环中fahr的值为20、40...300，这些整数对应的double二进制有个特点：低4字节全为0，有效数据存于高4字节。

• %d读取低4字节，得到固定的随机整数32109216（这是fahr的double低4字节解析结果）。
• %6.1f读取接下来的8字节，即fahr的高4字节 + celsius的低4字节，这组数据刚好对应整数20、40...300的double表示，因此输出步增值而非预期的转换温度。

4. 本质问题 #

这属于C语言中的未定义行为——当格式符与参数类型不匹配时，标准不保证任何合理输出，所有异常都是栈中数据被错误解析导致的。

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