Go big.Rat 转小数时怎么避免提前丢失精度

用 Go 处理金额、折扣比例或测量结果时，最容易丢精度的地方不是 big.Rat，而是“为了输出小数”先转成 float64。更稳妥的做法是让值一直停留在有理数状态，最后一步才调用 FloatString 生成十进制文本；如果还要判断这段小数是否有限，再配合 FloatPrec。

先把输入留在 big.Rat 里

big.Rat 保存的是约分后的分子和分母，适合表达不能接受二进制浮点误差的比例。构造阶段使用字符串或整数分数，避免先写成浮点字面量；一旦经过 float64，后面再放回 Rat 也只能保存已经被改变的值。

package main

import (
    "fmt"
    "math/big"
)

func main() {
    // 从字符串读取精确的分数，不经过 float64。
    ratio, ok := new(big.Rat).SetString("9007199254740993/10")
    if !ok {
        panic("无效的有理数")
    }

    // 直接输出固定的小数位，仍然以文本承载结果。
    fmt.Println(ratio.FloatString(4))
}

这个例子会输出 9007199254740993/10 对应的十进制结果，并保留四位小数。这里的重点不是某个数字有多大，而是中间没有发生“先压进二进制浮点”的转换。

FloatString 负责展示位数，不负责保存更多真值

FloatString(prec) 的 prec 表示小数点后的位数。它适合金额、报表和接口展示，但它必然要回答一个取舍：位数不够时进行舍入，位数超过真实有限小数时补零。对于循环小数，增加位数只是得到更长的近似文本。

// 小数位数是输出合同的一部分，不能随意省略。
third := new(big.Rat).SetFrac64(1, 3)
fmt.Println(third.FloatString(6)) // 0.333333

// 输出两位时，结果按约定的小数位舍入。
fmt.Println(third.FloatString(2)) // 0.33

生产代码中不建议把 FloatString 的结果再解析回 float64。如果接口需要数值类型，应在接口合同中明确它接受的是近似二进制浮点；如果接口需要金额或可复核的小数，应传字符串。

用 FloatPrec 判断有限小数和循环小数

输出前可以调用 FloatPrec。它返回十进制表示需要的非循环小数位数，以及这个位数是否能精确表达。1/2、1/4 的结果是精确的；1/3 的结果会告诉你有限位数不足以完整表达。

func decimalInfo(r *big.Rat) (int, bool) {
    // n 是有限十进制所需的小数位数，exact 表示是否能完整表达。
    n, exact := r.FloatPrec()
    return n, exact
}

func main() {
    finite := big.NewRat(1, 8)
    repeating := big.NewRat(1, 3)

    fmt.Println(decimalInfo(finite))    // 3 true
    fmt.Println(decimalInfo(repeating)) // 0 false
}

当 exact 为 false 时，文章、日志或接口最好把“按指定小数位舍入”写进字段含义，别把结果标成精确值。这个判断尤其适合金额换算、比例结算和需要审计的导出文件。

只有需要二进制浮点时才转成 big.Float

如果后续算法确实需要浮点运算，可以显式创建 big.Float 并设置精度，再调用 SetRat。这表示你接受一次有意的舍入，而不是把转换藏在输出过程里。读取结果时可用 Text 选择格式，必要时保留 Accuracy 做边界说明。

func approximate(r *big.Rat) string {
    // 256 位精度是此处的明确算法选择，不是默认值的偶然结果。
    f := new(big.Float).SetPrec(256).SetRat(r)

    // 'f' 表示普通十进制格式，-1 表示使用必要的有效数字。
    return f.Text('f', -1)
}

因此可以这样选：只做精确比例和十进制展示，用 Rat；需要有限小数位，用 FloatString；确实要参与二进制浮点算法，再用设置过精度的 Float。不要把三者混成一个“转小数”的步骤。

常见问题

FloatString(2) 会不会保留完整精度？

不会。它只保证输出两位小数，超过的部分会按规则舍入；要保留完整有限十进制，应先用 FloatPrec 判断需要的位数。

为什么不能先用 Rat.Float64 再格式化？

Float64 返回最近的 float64，并通过布尔值告诉你是否精确；如果布尔值为 false，再格式化只是把近似值写得更漂亮。

金额结果应该传数字还是字符串？

如果接收方要复核小数位和尾随零，优先传十进制字符串；只有双方明确接受二进制浮点误差时，才传浮点数。