Go 非法字面量为什么返回 Unknown 而不是普通 error

这里说的是 constant.MakeFromLiteral：它的返回类型只有 constant.Value，非法字面量文本用 Kind 为 Unknown 的值表示，接口并不返回普通error。调用方应检查 v.Kind() == constant.Unknown；需要面向用户的错误消息时，可以在自己的适配层补充error。

这是常量值接口与诊断接口的分工。Unknown让求值系统继续保留“结果不可用”的状态，但不能告诉用户具体哪一行写错。它也不代表整个Go解析器都会以这种方式报告语法错误。

把返回值看成常量状态而非诊断消息

先看清接口的输入和输出：输入是字面量文本、token类别和固定为0的最后一个参数；输出是常量Value。它适合已知类别的字面量到常量对象的转换，不承担一份源码的完整诊断流程。

例如整数文本0xGG无法构成有效的十六进制整数，调用结果应当作为未知状态处理。不能用nil判断代替Kind判断，也不能直接提取机器整数后把默认值当成成功解析。

结构说明图区分输入文本、类别和输出状态，不表示真实运行结果。

在边界包装普通 error

业务代码如果普遍采用value、error形式，可以建立一个小包装。它先限制token类别，随后将Unknown转换成清晰的业务错误，同时把未知Value返回给需要继续构造分析结果的调用方。

package main

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

// literalValue 为需要普通 error 的业务调用方提供适配层。
func literalValue(text string, kind token.Token) (constant.Value, error) {
    switch kind {
    case token.INT, token.FLOAT, token.IMAG, token.CHAR, token.STRING:
        // 这些是接口接受的字面量类别。
    default:
        return nil, fmt.Errorf("不支持的字面量类别：%s", kind)
    }
    v := constant.MakeFromLiteral(text, kind, 0)
    if v.Kind() == constant.Unknown {
        return v, fmt.Errorf("无法按 %s 解释字面量 %q", kind, text)
    }
    return v, nil
}

func main() {
    // 用错误的整数文本观察适配层，不把 Unknown 伪装成零。
    v, err := literalValue("0xGG", token.INT)
    if err != nil {
        fmt.Println(err)
        fmt.Println("状态：", v.Kind())
        return
    }
    fmt.Println(v.ExactString())
}

示例未执行。按接口契约，这个输入应走错误分支，并保留Unknown状态。包装函数的错误文本是调用方自己组织的概括，不是标准库返回的精确语法原因。

如果你不希望调用方继续使用未知值，也可以选择失败时返回nil与error，但要在项目内统一约定。不要有的调用点检查nil，有的检查Kind，却没有明确的错误返回契约。

把原始输入与来源交给诊断层

完整处理链应各自保留不同信息：输入记录保存原始文本和来源位置，转换层保存值状态，诊断层组织消息。Unknown本身不携带原始文本、行列和详细错误；丢掉这些上下文后，最终值无法帮你还原原因。

说明图将值与诊断记录分组。它们可以通过来源记录关联，无需把错误字符串塞进常量Value。

若输入来自完整Go源码，需要语法诊断，应使用扫描器或解析器的错误报告；若要检查类型与常量表达式是否符合语言规则，则使用类型检查器。不要把一个仅接受字面量文本的函数，当成任意表达式解析器。例如1+2是表达式，不能用token.INT把整串文本当成单个整数字面量。

对外部用户输入，还应设置合理的文本大小与计算预算，诊断展示时转义特殊字符。包装示例使用%q组织文本，实际网页显示仍应遵守网页输出转义规则。

区分字面量错误和接口误用

标准库对接口误用可能直接panic，而非生成Unknown。因此不能把“没有error返回”推导成“任何参数都不会中断”。调用前固定参数并明确类别，能把业务输入错误与程序员调用错误分开。

此外，MakeFromLiteral处理的类别不包含布尔字面量token。若已经确认输入是布尔值，使用相应构造接口；不要用非法token碰运气。

常见问题

Unknown 是否等于nil或整数0？

都不是。它是常量结果的未知状态，应通过Kind识别。合法的整数0仍然是Int。

能从Unknown中读到具体解析错误吗？

不能。需要保存原始输入并由诊断层提供说明；需要详细源码语法信息时，应采用解析阶段提供的错误。

为什么不统一recover后返回error？

对已知的接口约束，先限制类别并固定参数更直接。recover不能替代明确的输入和调用契约，也不应把程序缺陷统统伪装成用户输错。

官方接口：https://pkg.go.dev/go/constant#MakeFromLiteral；实现说明：https://go.dev/src/go/constant/value.go。