Go 有理数解析小数失败怎么办

math/big.Rat.SetString 并不是不能解析小数。像 "0.125"、"1.25e2" 这类完整的十进制浮点字符串都属于支持范围。真正容易出错的是输入带了逗号、百分号、单位或首尾空白，或者调用后忽略了第二个返回值。先把字符串规范成 Rat 支持的语法，再判断 ok，通常就能定位问题。

先确认十进制小数本身是支持的

最小调用方式是创建一个 Rat，接收 (*Rat, bool) 两个返回值。ok 为 true 时，返回的有理数已经被规范化；ok 为 false 时，不要继续使用返回的空指针。

package main

import (
    "fmt"
    "math/big"
)

func main() {
    // SetString 可以接收十进制小数，返回精确的有理数和成功标记。
    value, ok := new(big.Rat).SetString("0.125")
    if !ok {
        fmt.Println("输入不是 Rat 支持的格式")
        return
    }

    // RatString 展示规范化后的精确分数，0.125 会显示为 1/8。
    fmt.Println(value.RatString())
}

这里的结果不是浮点近似，而是精确的 1/8。带指数的小数也属于同一类输入，例如 "1.25e2" 表示 125。如果你的字符串来自表单或配置文件，第一步应当记录原始输入和 ok，不要只记录“解析失败”这句笼统日志。

先排除“看起来像小数”的非法字符

SetString 按完整字符串解析，不会自动替你做本地化格式转换或业务单位清洗。下面几类值不能直接交给它：

尤其要注意“清洗”不能等同于“随意删除字符”。例如把 12.5kg 直接截成 12.5，可能把用户输入的单位错误地丢掉。更稳妥的做法是让输入层先拆出数值字段，再把单位作为独立字段传给业务层。

分数、前缀整数和指数都有明确边界

除了小数，Rat 还支持形如 a/b 的分数。分子和分母可以是十进制整数，也可以带二进制、八进制或十六进制前缀；分母不能带符号。不要把“分数格式”和“浮点格式”混成一个自定义正则，否则很容易把官方支持的输入挡掉。

package main

import (
    "fmt"
    "math/big"
)

func parseRat(text string) error {
    // 返回值同时携带有理数和成功状态，失败时不要解引用 value。
    value, ok := new(big.Rat).SetString(text)
    if !ok {
        return fmt.Errorf("无法解析有理数 %q", text)
    }

    // 统一输出精确形式，便于日志和后续比较。
    fmt.Printf("%s => %s\n", text, value.RatString())
    return nil
}

func main() {
    // 这些示例分别覆盖分数、十六进制整数和带指数的小数。
    for _, text := range []string{"3/8", "0x10/4", "2.5e-1"} {
        if err := parseRat(text); err != nil {
            fmt.Println(err)
        }
    }
}

如果指数绝对值过大，解析也可能失败；这不是“精度不够”这么简单，而是输入规模已经超出该次转换可处理的范围。遇到失败时保留原字符串，结合输入长度、指数和分隔符排查，比改用另一个浮点类型更有针对性。

不要把解析结果当成十进制字符串

成功解析后，Rat 内部保存的是精确的分子和分母。RatString() 返回规范化的分数表示，所以 "0.125" 经过解析后显示为 "1/8" 并不代表解析失败；这是精确值的另一种文本表示。

如果业务界面必须显示固定小数位，可以调用 FloatString。它只负责展示，不会把 Rat 变成不精确的浮点存储：

package main

import (
    "fmt"
    "math/big"
)

func main() {
    // 先保留精确有理数，再分别选择日志格式和界面格式。
    value, ok := new(big.Rat).SetString("1/8")
    if !ok {
        return
    }

    fmt.Println(value.RatString())  // 精确表示：1/8
    fmt.Println(value.FloatString(3)) // 显示三位小数：0.125
}

把解析入口写成可诊断的边界

生产代码不要让所有失败都变成同一个布尔值。可以在入口处保留原始输入，做最小的业务层清洗，然后把失败信息带回调用方；解析函数本身只负责判断 Rat 语法，不负责猜测单位或修复拼写。

package main

import (
    "fmt"
    "math/big"
    "strings"
)

func parseDecimalField(raw string) (*big.Rat, error) {
    // 是否去掉首尾空白必须是业务约定，这里选择允许表单空白。
    text := strings.TrimSpace(raw)
    if text == "" {
        return nil, fmt.Errorf("数值不能为空")
    }

    // 不自动删除单位或替换逗号，避免把错误输入悄悄改成另一种数值。
    value, ok := new(big.Rat).SetString(text)
    if !ok {
        return nil, fmt.Errorf("数值格式不受支持: %q", raw)
    }
    return value, nil
}

这段封装的重点不是把所有输入都“修好”，而是把职责分开：输入层决定空白策略，业务层决定单位策略，SetString 只判断官方支持的有理数语法。这样日志里能看到原始值，调用方也不会因为忽略 ok 而在后面触发空指针问题。

排查清单

• 先打印带边界的原始输入，确认是否混入逗号、百分号、单位或不可见空白。
• 始终检查 SetString 返回的 bool，失败时不要使用返回的 *Rat。
• 需要精确值时看 RatString；需要固定小数位时看 FloatString。
• 不要用一个过窄的正则挡住官方支持的分数、进制前缀和指数形式。
• 把数值、单位和清洗策略作为不同层次处理，避免静默改变用户输入。

常见问题

为什么解析成功后不是我输入的小数样子？

因为 Rat 保存的是精确有理数，默认字符串形式会约分成分数。用 FloatString 选择展示位数即可。

SetString 会自动忽略首尾空格吗？

不要把空白处理交给它。是否允许空白应由输入层明确决定，必要时先调用 strings.TrimSpace，并保留原始值用于日志。

失败时可以直接继续使用原来的 Rat 吗？

不应依赖失败后的接收对象状态。按 ok 分支处理，失败就返回错误或提示调用方修正输入。