为何Java与自定义软浮点实现的IEEE754舍入结果存在差异？

为什么舍入是IEEE754的核心要求 #

单精度浮点数仅用23位存储尾数（隐含最高位1），但像355/113这类有理数的二进制表示是无限循环小数，无法被23位尾数精确容纳。此时必须通过舍入将无限位的结果映射到有限位的单精度格式中——这就是你看到解释器（遵循IEEE754）和未实现舍入的IR VM结果差异的根本原因：前者做了标准舍入，后者直接截断低位，导致结果精度偏差。

默认舍入方式：向最近的偶数舍入 #

IEEE754规定的默认舍入模式是向最近的偶数舍入（Round to Nearest, Ties to Even），选择这种模式的核心原因是最小化统计误差：

• 当截断后的剩余部分小于中间值（即截断位为0，或截断位为1但后续有0），直接舍去低位；
• 当剩余部分大于中间值，向高位进1；
• 当剩余部分恰好等于中间值（截断位为1，后续全为0），则看保留的尾数最后一位：如果是偶数（0）就舍去，奇数（1）就进1。

这种规则能让长期运算中的舍入误差正负抵消，避免误差单向累积。对应到你的测试场景：355/113的精确值介于单精度可表示的3.1415925和3.141593之间，且更接近后者，同时满足舍入到最近偶数的条件，因此Java解释器输出3.141593；而你的IR VM直接截断低位，得到偏小的3.1415925。

Sticky Bit（粘滞位）的作用与细节 #

在软浮点运算实现中，Sticky Bit是辅助舍入判断的关键标志，它的定义是：被截断的所有低位中是否存在至少一个1（即截断低位的逻辑或结果）。

它的核心作用是简化舍入条件判断：

• 当计算出的尾数超过23位时，我们需要三个关键位来判断舍入：
  1. Guard Bit（保护位）：第24位（即第一个被截断的位）
  2. Round Bit（舍入位）：第25位
  3. Sticky Bit：第25位之后所有位的OR结果
• 如果Sticky Bit为1，说明截断的低位不全是0，剩余部分大于中间值的一半，此时需要结合Guard Bit判断是否进1；
• 如果Sticky Bit为0，说明截断低位全是0，此时剩余部分刚好是中间值，触发“向偶数舍入”的规则。

举个例子：假设尾数截断后，Guard Bit为1，Round Bit为0，Sticky Bit为1——说明剩余部分有非零位，整体大于中间值，需要向高位进1；如果Guard Bit为1，Round Bit为0，Sticky Bit为0——说明剩余部分全是0，刚好是中间值，此时看尾数最后一位是否为偶数来决定舍入。

软浮点舍入的基本实现步骤 #

针对你的IR VM，补全舍入逻辑需要以下步骤：

1. 在除法运算中计算出足够多的尾数低位（至少要到Sticky Bit覆盖的范围）；
2. 提取Guard Bit、Round Bit和Sticky Bit；
3. 根据当前舍入模式（默认是向最近偶数）执行舍入：
   • 若Guard Bit为0：直接截断低位；
   • 若Guard Bit为1且（Round Bit为1或Sticky Bit为1）：尾数加1，处理可能的进位（若尾数溢出则指数加1，尾数归约）；
   • 若Guard Bit为1且Round Bit为0且Sticky Bit为0：检查尾数最后一位，为奇数则加1，偶数则截断；
4. 最终将处理后的尾数和指数组合成标准单精度浮点数格式。

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