Go math/big.Rat.SetString 解析小数时如何确认精度

我第一次把价格系数从配置文件交给 math/big.Rat 时，最容易混淆的是“解析成功”和“精度正确”。SetString("1.2300") 不会像 float64 那样先接受二进制近似，它得到的是一个可以继续参与精确分数运算的有理数；但它也不会替你保留末尾的显示零。判断精度，要先看内部值，再决定如何显示。

官方参考：https://pkg.go.dev/math/big

从字符串解析并确认输入完整

SetString 返回的是新值指针和成功标志。官方实现要求整个字符串都符合语法，所以不要只看接收者有没有内容，也不要忽略第二个返回值。

package main

import (
    "fmt"
    "math/big"
)

func parseRat(text string) (*big.Rat, bool) {
    // 同时检查指针和布尔值，避免把失败后的接收者当成有效结果。
    rat, ok := new(big.Rat).SetString(text)
    return rat, ok
}

func main() {
    // 末尾的 00 是输入格式信息，不会成为 Rat 的独立存储字段。
    rat, ok := parseRat("1.2300")
    fmt.Println(ok, rat.RatString())
}

工程上可以把 ok 作为配置校验的第一道门。输入 1.2300% 这类带尾随字符的文本不应继续进入计算链；解析失败时，返回的 *Rat 不可依赖。

用分子分母确认内部精确值

解析小数后，Rat 保存的是约分后的分子和正分母。比如 1.2300 的值是 123/100，末尾两个零属于文本表现，而不是另一个数。RatString() 会给出规范的分数形式；如果只想判断能否写成整数，可以看 IsInt()。

func inspect(rat *big.Rat) {
    // RatString 展示规范分数；Num 和 Denom 可用于记录精确结构。
    fmt.Println("rat:", rat.RatString())
    fmt.Println("num:", rat.Num())
    fmt.Println("denom:", rat.Denom())
    fmt.Println("integer:", rat.IsInt())
}

这里的“精确”是数学意义上的有理数精确，不是说它已经拥有固定的小数位。分母只含 2 和 5 的约分结果可以写成有限十进制；出现 3、6、7 等因子时，十进制展开通常会循环。

用 FloatPrec 判断十进制可还原位数

如果业务问题是“最多需要保留几位小数才能还原这个值”，可以使用 FloatPrec()。它返回非重复小数位数和一个 exact 标志：有限小数会告诉你可精确表示的位数，像 1/3 这样的循环小数则会明确表示结果只能是舍入值。

func decimalPrecision(rat *big.Rat) {
    // FloatPrec 判断十进制边界，不把循环小数误报成有限精度。
    digits, exact := rat.FloatPrec()
    fmt.Printf("digits=%d exact=%v\n", digits, exact)
}

需要兼容较早 Go 版本时，可以根据 Denom() 做业务层判断，或直接规定协议精度并接受舍入；不要把不存在的 FloatPrec 当成旧版本 API。无论采用哪种策略，判断结果都应和原始 Rat 分开保存。

用 FloatString 控制对外显示

页面、报表或接口通常需要固定小数位，这时用 FloatString(prec)。它返回十进制文本，最后一位按最近值舍入，正好适合展示层；但调用它不会改变 Rat 的分子分母。

func display(rat *big.Rat, digits int) string {
    // 展示层固定小数位；计算层继续使用未格式化的 Rat。
    return rat.FloatString(digits)
}

可以把四个方法分成一张判断清单：SetString 看输入能否完整解析，RatString 看规范数学值，FloatPrec 看十进制能否精确还原，FloatString 看用户最终看到几位。不要用显示字符串反推内部精度，也不要先转 float64 再声称仍然精确。

几个容易混淆的边界

• 末尾零：1.2300 与 1.23 的 Rat 值相同；若零代表计量单位或格式要求，应另存原始文本或 scale。
• 浮点转换：Float64() 会额外返回是否精确的布尔值，转换后的浮点数不应替代原始 Rat 参与关键计算。
• 四舍五入：FloatString 是输出策略，不是精度证明；协议需要几位小数，应由业务约定决定。

相关问题

SetString 解析失败后还能读取 Rat 吗？不能依赖失败后的接收者，应以返回的 ok 为准。

为什么 RatString 不保留输入的小数位？因为它输出规范有理数，文本的末尾零不改变数值；格式需求应由独立字段或 FloatString 处理。