GCC编译器浮点运算异常：4字节float值饱和至65536无法更新

你遇到的是32位单精度浮点数（float）的固有精度限制问题，和编译器优化无关。

• 标准4字节float采用IEEE754单精度规范，仅保留24位二进制有效数字（23位显式存储+1位隐含位），数值的最小可分辨步长会随数值量级增大而指数级上升：
  当数值处于2^16（即65536）到2^17区间时，float的最小步长为2^(16-23) = 1/128 = 0.0078125，小于该步长的增量在加法运算时会被舍入丢弃。
• 你的代码中dummy2的计算结果为60.0 * 0.00005 = 0.003，远小于0.0078125的步长，因此当dummy1增长到65536后，每次加0.003的操作无法触发数值更新，表现为数值“饱和”不再变化。

1. 是否与float精度有关？

完全由float的精度限制导致，属于IEEE754规范的固有特性，不属于程序Bug。

2. 是否是编译器优化了浮点精度？

和编译器优化无关，即便关闭所有优化选项该现象也会复现，你用在线GCC测试仍能复现也验证了这一点。

3. 有没有可添加的编译器flags解决该问题？

没有编译器参数可以从根本上解决float的物理精度限制，编译器flag只能调整浮点运算的舍入策略、中间运算精度，无法突破单精度浮点数的有效位上限。

如果需要保留小增量的运算精度，可采用以下两种方案：

• 方案1：将变量类型从float替换为double，8字节双精度浮点数有53位有效位，在你的运算场景下最小步长远小于0.003，可正常完成累加。
• 方案2：如果必须使用float类型，可调整运算逻辑，先统计累加次数，最后再统一计算总增量加到初始值上，避免多次小增量累加的精度损失。

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