Go big.Rat.FloatPrec 怎么判断分数能否精确写成有限小数

处理金额比例、计费系数或分数配置时，直接把 big.Rat 转成浮点数很容易丢掉“是否无损”的信息。Go 的 Rat.FloatPrec() 正好把这个判断拆成两个返回值：n 是小数点后连续的非循环位数，exact 表示保留这 n 位时是否精确。1/4 返回 2, true，而 1/6 返回 1, false，后者的 0.2 只是四舍五入结果。

先把 n 和 exact 分开理解

FloatPrec 的官方定义是：返回十进制表示中小数点后紧接着出现的非循环数字数量，同时告诉你按这个位数表示时是精确还是经过舍入。官方文档地址：https://pkg.go.dev/math/big#Rat.FloatPrec。

因此它不是“建议保留几位小数”的格式化参数，也不是 big.Float 的二进制精度配置。它回答的是一个更窄的问题：这个有理数的十进制展开，最先需要多少位来描述非循环部分？

用一段小程序看清有限与循环

下面的示例故意同时放入有限小数和循环小数。判断时先看 exact，再使用 n 生成展示文本；不要只依据返回的位数。

package main

import (
    "fmt"
    "math/big"
)

func main() {
    values := []struct {
        name string
        a, b int64
    }{
        {"half", 1, 2},
        {"quarter", 1, 4},
        {"sixth", 1, 6},
        {"third", 1, 3},
    }

    for _, item := range values {
        // Rat 会保存精确分数，避免先转 float64 再判断造成误差。
        rat := new(big.Rat).SetFrac64(item.a, item.b)
        // n 是非循环位数；exact=false 时，FloatString(n) 只是舍入展示。
        n, exact := rat.FloatPrec()
        decimal := rat.FloatString(n)
        fmt.Printf("%s: %s -> n=%d exact=%t decimal=%s\n",
            item.name, rat.RatString(), n, exact, decimal)
    }
}

half: 1/2 -> n=1 exact=true decimal=0.5
quarter: 1/4 -> n=2 exact=true decimal=0.25
sixth: 1/6 -> n=1 exact=false decimal=0.2
third: 1/3 -> n=0 exact=false decimal=0

这里最容易误读的是 1/3：n=0 不是说它等于整数 0，而是说小数点后没有一段“先出现、后停止”的非循环部分。若业务不允许损失，就应该在 exact=false 时拒绝或改用分数形式保存。

需要自己判断时，检查约分后的分母

如果要解释为什么某个分数不能有限输出，可以读取 Rat.Denom()。分数已经约分后，分母只含 2 和 5 才能写成有限十进制；出现 3、7 等其他质因子时会循环。这个数学判断和 FloatPrec 的 exact 结果应当一致，但业务代码仍建议直接以 API 返回值作为最终分支。

func decimalPlan(rat *big.Rat) (string, bool) {
    // FloatPrec 是业务分支的直接依据，不把 n==0 错当成“这是整数”。
    digits, exact := rat.FloatPrec()
    if !exact {
        return "保留分数或返回需要舍入的提示", false
    }
    // exact 为真时，按 digits 位格式化不会改变 Rat 的数值。
    return rat.FloatString(digits), true
}

若你还要展示原因，可用分母做诊断表；若只是决定能否无损落库、导出或打印，exact 已经足够。不要为了“看起来整齐”强行把所有分数格式化成固定两位小数，那会把精确性和显示策略混在一起。

落地时按业务结果做选择

• 财务或计量数据要求无损：exact=false 时保留 RatString() 或返回校验错误。
• 报表只允许固定小数位：明确这是展示舍入，并记录使用的位数，不要宣称结果精确。
• 配置校验要求有限小数：以 exact 为门槛，n 用来限制小数位上限。

常见问题

FloatPrec 会修改 Rat 本身吗？

不会，它只读取当前有理数并返回判断结果；需要格式化时再调用 FloatString。

exact=false 时还能用 FloatString 吗？

可以，但它表示按指定小数位舍入后的文本，不能当作原分数的精确十进制表示。

为什么 n 为 0 仍可能不是整数？

因为 n 描述的是非循环小数位数量，而不是整数性；1/3 的循环从第一位开始，所以返回 0, false。