Go constant.Value.ExactString 为什么会输出分数

我第一次看到 Go constant.Value.ExactString() 输出 1/10 时，以为它把小数算坏了。其实正好相反：go/constant 正在保留小数常量的精确值。对由字面量得到的 0.1，十进制小数可以准确表示成有理数 1/10，所以分数是精确结果，不是报错。

先看清 0.1 到底是哪一种 Value

不要只打印一个方法就下结论。下面的例子通过字面量解析创建值，再同时查看短文本、精确文本和底层动态类型：

package main

import (
    "fmt"
    "go/constant"
    "go/token"
)

func main() {
    // 解析 Go 浮点字面量，保留它的精确有理数语义。
    v := constant.MakeFromLiteral("0.1", token.FLOAT, 0)

    fmt.Println("kind:", v.Kind())
    fmt.Println("short:", v.String())
    fmt.Println("exact:", v.ExactString())
    fmt.Printf("underlying: %T\n", constant.Val(v))
}

这里的关键判断是 Kind 为 Float，但这不等于“底层一定是 IEEE-754 浮点”。当前实现会用 ratVal 保存能精确表示的有理数，constant.Val(v) 因而可能返回 *big.Rat。输出 1/10 说明值没有被提前转换成近似的二进制浮点。

为什么 String 不输出分数，而 ExactString 会

这两个方法的目标不同。官方接口说明中，String 允许数值结果是近似值；ExactString 则要求返回精确的、人类可读的表示。源码里的 ratVal.ExactString 会先判断是否为整数：如果是就返回分子；否则直接使用 big.Rat 的 a/b 形式。因此 1.25 会表现为 5/4，2/1 则会表现为 2。

这是常量语义和运行时浮点语义的分界。Go 常量在确定具体类型前可以保留更高精度；而 float64 的 0.1 并没有有限的二进制精确表示。若把两条路径混在一起，就会误以为分数来自异常转换。

需要十进制时，不要把 ExactString 当格式化器

如果业务页面要显示“0.1000”，分数并不是错误，只是格式目标不一样。精确计算阶段保留 *big.Rat，到展示边界再指定小数位：

package main

import (
    "fmt"
    "go/constant"
    "go/token"
    "math/big"
)

func main() {
    // 仍从精确字面量开始，避免先落到 float64。
    v := constant.MakeFromLiteral("0.1", token.FLOAT, 0)
    raw := constant.Val(v)

    rat, ok := raw.(*big.Rat)
    if !ok {
        // 非 ratVal 的值不能套用 FloatString。
        panic("constant value is not an exact rational")
    }
    fmt.Println(rat.FloatString(4)) // 只在展示层保留 4 位小数
}

相反，如果你的目标是判断分子分母、比较两个精确常量或继续做符号计算，就不要调用 FloatString。也可以用 constant.Num(v) 和 constant.Denom(v) 继续读取整数部分；这比先格式化成文本再解析更稳妥。

四个容易误判的边界

• 整数分数：2/1 会被压成 2，因为精确值本身是整数。
• MakeFloat64：它已经从 float64 进入 Value，不要期待它和字面量解析拥有同一种内部表示。
• 循环小数：1/3 不适合要求“有限位且仍完全精确”的展示；固定小数位必然是格式化近似。
• Unknown：解析失败或运算得到未知值时，ExactString 只能返回 unknown，先处理输入或运算错误。

相关问题

ExactString 输出分数是不是精度丢失

不是。对 ratVal 来说，分数恰好是精确值的文本表达；真正需要警惕的是不经意地转成 float64。

为什么 1.25 可能输出 5/4

因为 1.25 = 5/4，ratVal 的精确文本使用最简有理数，而不是强行保留小数点形式。

怎么让页面显示小数

在确认底层是 *big.Rat 后调用 FloatString(位数)，把这一步明确放在展示层，并说明它是舍入后的文本。