不同设备间Go语言浮点运算舍入误差差异原因咨询

测试代码 #

import (
    "fmt"
    "math"
)

func main() {
    var (
        negativeTwoThirds = -2.0 / 3.0
        negativeSix       = -6.0
        negativeThree     = -3.0
    )

    for _, v := range []float64{negativeTwoThirds} {
        four := negativeSix * v // 4 = (-6.0) * (-2/3)

        print1(negativeThree + four)
        print2(negativeThree, four)
    }
}

func print1(c float64) {
    fmt.Printf("%f (%b)\n", c, math.Float64bits(c))
}

func print2(a, b float64) {
    c := a + b
    fmt.Printf("%f (%b)\n", c, math.Float64bits(c))
}

（注：原代码缺少import语句，已补充完整）

运行结果对比 #

x86架构（Intel i7-1165G7 Linux/Go Playground，Go 1.20.x） #

1.000000 (11111111110000000000000000000000000000000000000000000000000000)
1.000000 (11111111110000000000000000000000000000000000000000000000000000)

ARM架构（Apple M1 macOS，Go 1.20.x） #

1.000000 (11111111101111111111111111111111111111111111111111111111111110)
1.000000 (11111111110000000000000000000000000000000000000000000000000000)

疑问解答 #

1. print1与print2的输出差异原因是什么？ #

• print1是在函数调用前完成negativeThree + four的运算，将结果作为参数传入；print2则是把两个原始值传入函数后，在函数内部执行加法。
• 在Apple M1的ARM架构下，Go编译器对循环内的表达式优化策略导致了差异：调用前的运算可能使用了扩展精度寄存器临时存储结果，最终截断为float64时产生了微小舍入误差；而函数内部的加法是直接对两个标准float64值计算，结果符合精确的1.0。
• 该差异仅在for循环中触发，因为循环内的变量生命周期和编译器优化逻辑与非循环场景不同。

2. 不同操作系统、架构、Go可执行文件间出现差异的原因是什么？ #

• 硬件架构差异：x86架构的浮点单元默认使用80位扩展精度运算，运算后截断为64位时恰好得到精确的1.0；ARM架构的Neon浮点单元默认使用64位精度，特定运算顺序下会产生舍入误差。
• Go编译器优化差异：不同架构下Go编译器的代码生成逻辑不同，ARM平台对循环内表达式的优化选择了不同的运算路径，导致精度差异；x86平台的优化则保证了两种场景的运算结果一致。
• 操作系统影响：不同系统对浮点运算的精度控制策略可能有细微差别，但核心原因还是硬件架构与编译器优化的组合作用。

已在Go官方GitHub仓库提交相关issue（编号61061）

内容的提问来源于stack exchange，提问作者Remi.b