Go constant.Unknown 怎样在常量运算中传播

go/constant 的二元常量运算中，只要一个操作数是 Unknown，结果也会是 Unknown。后续依赖这个结果的常量运算会继续保留未知状态，因此工具可以在一次输入出错后继续处理其他独立表达式，而不必为缺失值捏造一个0。

constant.Unknown 是值的种类标识，实际参与运算的对象使用 constant.MakeUnknown() 创建。它也不是 nil。本文讨论分析工具的计算状态与错误处理选择，不把包提供的常量运算当成完整的 Go 类型检查器。

从最小表达式看未知值的延续

设想一个配置表达式的输入常量尚未解析成功，但工具还需要构造其余诊断。下面将该输入明确表示成未知值，再进行加法与乘法。

package main

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

func main() {
    // Unknown 是 Kind；实际参与计算的 Value 由构造函数取得。
    missing := constant.MakeUnknown()
    step := constant.MakeInt64(6)
    sum := constant.BinaryOp(missing, token.ADD, step)
    total := constant.BinaryOp(sum, token.MUL, constant.MakeInt64(3))

    // 展示计算状态，不把未知值转换成业务默认数值。
    fmt.Println(sum.Kind(), total.Kind())
    if total.Kind() == constant.Unknown {
        fmt.Println("结果尚不可用")
        return
    }
    fmt.Println(total.ExactString())
}

本例未执行。依据接口契约，sum 与 total 的 Kind 都应为 Unknown；最后的分支会把结果标记为不可用。这是状态推导，不是运行截图或性能测量。

说明图只展示依赖关系。独立的已知常量仍然是已知值，未知状态并不会自动污染整个工具中的所有数据。

把常量值与错误原因分别保存

Unknown 只能告诉下游“目前没有可用的常量结果”，不能代替错误消息。一个工具可以自行维护包含 Value、来源位置和错误原因的计算记录。输入无法求值时，Value 使用未知值，原因记录保留原始问题；父表达式保存其依赖关系，展示时优先报告真正的输入故障。

例如用户把应当为数字的输入写成无法解析的内容，工具应指出该输入的位置。若每个父表达式都只输出“计算失败”，同一个原因会产生一串重复提示。可以由工具自己的诊断策略合并依赖性提示，同时继续分析没有依赖这个输入的表达式。

结构图把值状态和诊断来源分组，Unknown 对象本身不承诺携带错误文本。

比较保留未知与替换默认值的方案

不能为了方便运算，把所有 Unknown 都换成0。这样会把“未知输入加6”伪装成确定的6，后续生成报表或执行配置时，调用方已经无法区分原始失败和有效输入。如果确有业务默认值，应明确记录默认值的来源，使它成为可解释的业务决定。

同时，Unknown 的传播不是异常捕获机制。调用方仍需遵守每个运算接口的操作数和操作符要求。已知值进行未定义的运算可能导致 panic，例如已知的除零；不要依赖未知操作数在某次计算中掩盖非法输入。

在比较和取值接口处保留状态

传播规则不能机械套到所有返回类型上。constant.Compare 返回普通 bool，其中一边未知时会返回 false；这个 false 不能被业务解释成“已证明不相等”。需要区分不可判断与比较为假时，应先检查两边 Kind，再把“是否可判断”和比较结果分开传递。

相似地，constant.Int64Val 对未知值给出0和false。调用方若丢掉第二个返回值，就可能重新引入默认0的问题。处理已知大整数时，也需要留意是否能够精确表示。对外输出结构应保留状态字段，展示层再决定显示“未知”还是具体数字。

BinaryOp 不负责比较和位移，分别使用对应接口。选择接口时先看返回的是常量 Value、普通标量，还是带精确性标志的多个值，再决定如何延续计算状态。

常见问题

未知值可以与 nil 互换吗？

不可以。未知值是实现了 Value 接口的对象，能够按约定参与常量运算；nil 没有这个含义。工具的未初始化字段应由自己的数据模型处理。

为什么 Compare 返回 false，却不能确定条件不成立？

因为未知输入也会得到false。只有输入状态满足你的比较要求，结果才可用于业务判断。

Unknown 能保存最初的报错位置吗？

应另外保存来源和诊断记录，再把它们与计算节点关联。这样重算某个输入时也能更新对应的提示，而不是从最终值倒推原因。

官方文档：https://pkg.go.dev/go/constant；实现参考：https://go.dev/src/go/constant/value.go。