Go constant.Float64Val 怎样显式处理舍入后的结果

constant.Float64Val 同时返回float64值与是否精确的标志。显式处理舍入，首先要保留这两个返回值；再根据业务决定拒绝非精确结果，还是允许有限近似并把状态传给下游。不要把第二个返回值当成普通的“调用成功”。

例如一个分析工具把源代码常量送到图表、报表或数值接口，转换策略可能不同：图表可允许近似，要求逐值无损的导出则应保留原始常量。本文把选择落到转换函数和数据记录，不假定某一种策略适合所有业务。

先保留机器值与精确性标志

写成 f, exact := constant.Float64Val(x)，能让调用点看出结果含义。exact为true表示这一次转换没有数值损失；false需要继续区分普通舍入、范围问题和未知输入。

输入也要保留来源。若先把十进制文本读入float64，再用MakeFloat64构造常量，原始文本带来的精度可能已经丢失。这时转换回float64显示精确，只能说明当前常量的转换情况，不能证明原始十进制输入被无损保存。

结构说明图把原值、转换值和标志分成独立字段，避免只传一个数字。

把近似结果分成可接受与不可接受

返回false不意味着不能使用返回的有限近似值。重要的是调用方有明确契约。反过来，只检查exact也不足以给出友好的原因；用户更需要知道是普通舍入，还是常量超出可接受的数值范围。

用有状态的转换函数落实策略

下面的函数采用一种具体策略：接受有限的近似值，但拒绝未知与不支持的输入、无穷结果，以及非零数下溢为零。它不是通用精度政策；若业务要求无损，可在返回前另外拒绝exact为false的情况。

package main

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

// finiteFloat 允许有限近似，但拒绝未知、溢出和非零值下溢为零。
func finiteFloat(x constant.Value) (float64, bool, error) {
    if x == nil || (x.Kind() != constant.Int && x.Kind() != constant.Float) {
        return 0, false, fmt.Errorf("需要已知实数常量")
    }
    f, exact := constant.Float64Val(x)
    if math.IsInf(f, 0) || math.IsNaN(f) {
        return 0, exact, fmt.Errorf("结果不是有限浮点数")
    }
    if f == 0 && constant.Sign(x) != 0 {
        return 0, exact, fmt.Errorf("非零常量下溢为零")
    }
    // bool 保留是否精确的信息，调用方据此决定业务处理。
    return f, exact, nil
}

func main() {
    for _, text := range []string{"0.5", "0.1", "1e-1000", "1e1000"} {
        // 从十进制文本构造常量，避免先经过 float64 舍入。
        x := constant.MakeFromLiteral(text, token.FLOAT, 0)
        f, exact, err := finiteFloat(x)
        fmt.Printf("%s value=%.17g exact=%t err=%v\n", text, f, exact, err)
    }
}

本例未执行。按示例构造的数学含义，0.5可精确表示，0.1通常需要二进制近似；两个极端指数用于观察函数如何区分过小和过大的输入。打印错误时，返回的数字占位不代表有效结果，调用方应先处理err。

函数只接受Int和Float种类，避免将字符串、布尔值或复数直接交给转换接口。对Unknown不做默认0处理。这种限制放在公共适配层，比散落在各个图表或导出调用点更容易维护。

让下游知道数值已经近似

建议下游记录至少携带原始常量文本、机器值和精确状态。若是允许近似的视图，可显示“近似值”；若是无损导出，则输出原始的精确常量表示或明确返回无法转换的原因。不要将界面四舍五入到两位后的文字再作为数据源。

说明图中的展示与导出可以采用不同策略，但都依赖同一份转换记录。

对“误差不能超过某阈值”的业务，exact只是起点，不能替代误差计算。需要在适合的精确或高精度表示中比较原值与近似值，并定义绝对误差、相对误差和零附近的处理方式。本文示例没有进行该类容差计算，不能据此宣称满足某个误差门槛。

常见问题

exact为false时返回的float64是否无效？

不一定。有限近似值可用于明确允许近似的任务；未知和范围状态应单独识别。

把打印位数调大可以恢复原始常量吗？

不能。格式化只能展示已有机器值，无法恢复转换时丢失的信息。需要无损结果时保留转换前的Value。

为什么0.1转来转去后exact可能变成true？

若当前输入已经由float64构造，它表示的是那个机器值。标志描述当前转换，不追溯更早的十进制来源。

官方资料：https://pkg.go.dev/go/constant#Float64Val；实现参考：https://go.dev/src/go/constant/value.go。