GNU Awk浮点转整数异常：1234.12*100结果为123411而非123412

使用GNU Awk 4.1.4（API:1.1，依赖GNU MPFR 4.0.1、GNU MP 6.1.2）执行以下代码：

awk '{printf "%d\n", (1234.12*100)}' <<<""

输出结果为：

123411

但预期结果应为123412。补充测试显示，0.12*100、1.12*100、12.12*100、123.12*100使用相同格式输出均正常；而使用print (1234.12*100)或printf "%.0f\n", (1234.12*100)时，输出正确结果123412。请问该异常的原因是什么？

这是浮点数精度的固有特性加上不同格式化方式的处理逻辑差异导致的：

• 浮点数二进制存储限制：0.12这类十进制小数无法被二进制浮点数精确表示，实际存储的是一个接近0.12的近似值。当这个近似值与1234相乘再乘以100后，结果会非常接近123412，但实际是略小于该值的数（比如123411.99999999999）。
• 不同格式化指令的处理逻辑：
  • %d格式化符会直接截断小数部分，只保留整数部分。如果实际值是123411.99999999999，截断后就会得到123411。
  • print或者%.0f格式化符会对浮点数进行四舍五入处理，把接近123412的近似值四舍五入后得到正确整数结果。
• 误差累积的影响：当0.12和较小的数（如1、12、123）相乘时，近似值的误差被放大后仍非常接近目标整数，截断后也能得到正确结果；但和1234这类更大的数相乘时，误差累积后的结果刚好落在整数边界下方，触发了截断后的异常。

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