首页 > 后端开发 > Golang > Go 与 C:为什么浮点精度会在 Go 的 Float32 中导致无限循环,而在 C 的 Double 中却不会?

Go 与 C:为什么浮点精度会在 Go 的 Float32 中导致无限循环,而在 C 的 Double 中却不会?

Barbara Streisand
发布: 2024-12-09 17:01:10
原创
928 人浏览过

Go vs. C: Why Does Floating-Point Precision Cause an Infinite Loop in Go's Float32 but Not in C's Double?

Go Lang 浮点精度:Float32 与 Float64

为了说明 Go 中浮点运算的复杂性,请考虑以下程序,该程序演示了精度的影响:

func main() {
    a := float64(0.2)
    a += 0.1
    a -= 0.3
    var i int
    for i = 0; a < 1.0; i++ {
        a += a
    }
    fmt.Printf("After %d iterations, a = %e\n", i, a)
}
登录后复制

该程序表现出预期的行为C 在使用 double 类型时,打印:

After 54 iterations, a = 1.000000e+00
登录后复制

但是在 Go 中使用 float32 时,程序会进入死循环。修改 C 程序以使用 float 而不是 double 会产生不同的结果:

After 27 iterations, a = 1.600000e+00
登录后复制

要理解这种差异,请使用 math.Float32bits 和 math.Float64bits 深入研究底层二进制表示:

float32(0.1): 00111101110011001100110011001101
float32(0.2): 00111110010011001100110011001101
float32(0.3): 00111110100110011001100110011010
float64(0.1): 0011111110111001100110011001100110011001100110011001100110011010
float64(0.2): 0011111111001001100110011001100110011001100110011001100110011010
float64(0.3): 0011111111010011001100110011001100110011001100110011001100110011
登录后复制

将这些二进制值转换为十进制显示,对于 float32,a 的初始值变为:

0.20000000298023224
+ 0.10000000149011612
- 0.30000001192092896
= -7.4505806e-9
登录后复制

这个负值永远不可能等于 1,导致观察到的无限循环。

相反,C 的行为源于舍入策略的差异。 Go 会舍入最后一位,而 C 可能会将其裁剪掉。因此,Go 将 0.1 表示为最接近它的值:

Go:   00111101110011001100110011001101 => 0.10000000149011612
C(?): 00111101110011001100110011001100 => 0.09999999403953552
登录后复制

总之,Go 和 C 都不能精确地表示浮点数中的 0.1,但 Go 使用最接近的近似值,而 C 可能会根据不同情况进行不同的处理。实施。

以上是Go 与 C:为什么浮点精度会在 Go 的 Float32 中导致无限循环,而在 C 的 Double 中却不会?的详细内容。更多信息请关注PHP中文网其他相关文章!

来源:php.cn
本站声明
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn
作者最新文章
热门教程
更多>
最新下载
更多>
网站特效
网站源码
网站素材
前端模板