C语言浮点数舍入模式疑问：尾数超23位时舍入逻辑解惑

问题背景 #

当C语言中浮点数尾数超过23位时，多余部分的舍入逻辑是什么？我做了几个计算，结果看起来和“就近舍入”的描述不符：

• 计算 123456789（二进制：1 110 1011 0111 1001 1010 0010 101） + 20（二进制：10 100），C语言中结果为 123456816（二进制：1 110 1011 0111 1001 1010 0110 000），看似向上舍入；
• 计算 123456785（二进制：1 110 1011 0111 1001 1010 0010 001） + 20（二进制：10 100），结果为 123456800，看似向下舍入；
• 单独看 123456809（二进制：1 110 1011 0111 1001 1010 0101 001）被舍入为 123456808（二进制：1 110 1011 0111 1001 1010 0101 000），这又不符合向偶数舍入的逻辑。

我查阅资料得知是就近舍入，但实际结果和这个规则不符，希望得到解惑。

以下是演示代码：

#include <stdio.h>

int main(void) {
    float x = 123456789.f;
    float y = 20.f;
    
    long m = 123456789L;
    long n = 20L;
    
    printf("As Floats, sum is: %0.1f\n", x+y);
    printf("As Longs,  sum is: %ld\n", m + n);
    
    return 0;
}

输出结果：

As Floats, sum is: 123456816.0
As Longs,  sum is: 123456809

解惑：IEEE 754就近舍入的实际规则 #

C语言默认采用IEEE 754标准的就近舍入（Round to Nearest, Ties to Even），也就是常说的“银行家舍入”。你看到的矛盾源于一个核心误区：不是对整数加法的结果直接舍入，而是浮点数运算的每一步都受限于float的精度，会提前发生舍入。

关键前提：float的精度限制 #

32位单精度float的有效精度是24位二进制（尾数位23位+隐含的最高位1），任何超过24位的二进制数都会被舍入到该精度范围内。

逐个分析例子 #

1. 123456789 + 20的结果

123456789的二进制有27位，转换成float时会先舍入到24位有效精度，得到约123456792的浮点数。加上20后得到123456812，这个数的二进制仍超过24位精度，舍入后得到123456816——这是符合就近舍入规则的结果。

2. 123456785 + 20的结果

123456785转换成float时舍入到24位精度，得到约123456784的浮点数。加上20后得到123456804，舍入到24位精度后得到123456800，同样符合就近舍入。

3. 123456809的舍入

123456809的二进制有27位，截断到24位时，多余的二进制位数值小于0.5，因此直接向下舍入到最近的可表示数123456808。只有当多余部分恰好等于0.5时，才会触发“向偶数舍入”的规则，这个例子并不满足该条件。

总结 #

你看到的结果差异，是因为参与浮点数运算的原始数值已经被舍入到float的精度范围内，后续加法的结果再次舍入，是两次舍入的叠加效果，而非直接对整数加法结果舍入。这完全符合IEEE 754就近舍入的规则。

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