为什么std::numeric_limits<float>::max()减1后与原值相等？

这个现象是4字节IEEE 754单精度浮点数的精度限制导致的，具体原因如下：

1. 4字节float的存储结构 #

标准4字节float遵循IEEE 754单精度规范，存储分为三部分：

• 1位符号位，标记数值正负
• 8位指数位，存储偏移后的指数值（偏移量为127）
• 23位尾数位，存储有效数字的低位部分（隐含高位1，实际有效位数为24位）

std::numeric_limits<float>::max()是单精度能表示的最大正规数，对应二进制结构为：符号位0，指数位全1差1（值为254，实际指数为254-127=127），尾数位全1，数值为(2 - 2^-23) * 2^127，也就是你输出的约3.4e38的数值。

2. 浮点数相邻值间隔的特性 #

浮点数的可表示数值不是连续的，数值越大，相邻两个可表示浮点数的间隔就越大：

• 间隔大小计算公式为 2^(实际指数 - 尾数位长度)
• 对于你取的最大float值，实际指数是127，尾数位长度23，所以相邻两个可表示值的间隔为 2^(127 - 23) = 2^104，这个数值约等于2.028e31，远大于你要减去的1.0f。

3. 减法操作的舍入逻辑 #

当你执行x - 1.0f时，计算得到的结果介于x和x的下一个可表示float值之间，由于1远小于间隔，按照C++默认的就近舍入规则，计算结果会直接舍入回原来的x值，因此y的实际存储值和x完全一致，相等判断成立，打印结果也完全相同。

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