Go Info.Types 中 Value 为 nil 为什么不等于没有类型

我在用 go/types.Info 做 AST 分析时，最容易误判的一种结果就是：Info.Types[expr].Value == nil，于是把它当成“这个表达式没有类型”。其实这两个字段负责的事情不同：Type 描述表达式的类型，Value 只在表达式是编译期常量时保存常量值。

官方地址：https://pkg.go.dev/go/types#TypeAndValue

因此，排查时应先看 tv.Type，再看 tv.Value；不要用一个字段替代另一个字段。

先区分 TypeAndValue 的两个字段

TypeAndValue 是 Info.Types 的值类型。官方定义是：它报告对应表达式的类型，以及“对于常量”的值。普通变量、函数调用或运行时计算表达式，仍然可以有明确的 Type，但没有可提前折叠的 constant.Value。

可以把它记成一句话：Type 回答“它是什么类型”，Value 回答“它是不是一个已经能在编译期确定的常量值”。

理解 Info.Types 只给常量提供 Value

下面的读取方式适合放进 AST 遍历。示例只展示分类逻辑，不依赖某个具体项目的运行输出：

func describe(info *types.Info, expr ast.Expr) string {
	// 先确认该表达式确实被记录；无效表达式不会出现在 Types 中。
	tv, ok := info.Types[expr]
	if !ok {
		return "Types 中没有该表达式"
	}
	// Type 描述表达式类型；Value 只有常量表达式才通常非 nil。
	if tv.Value == nil {
		return "类型=" + tv.Type.String() + "，不是编译期常量"
	}
	return "类型=" + tv.Type.String() + "，常量值=" + tv.Value.String()
}

例如整数文字 42、常量标识符 const limit = 42 的 Value 可以非 nil；而变量 limitVar、make([]int, 2) 或函数调用的结果不是编译期常量，Value 为 nil 是正常现象。这里的“没有值”是 go/types 没有记录常量值，不是说程序运行时一定得到 nil。

还要注意：Info.Types 只记录处在表达式位置的语法节点。无效表达式会被省略，声明标识符通常查 Defs，限定标识符查 Uses，选择器表达式查 Selections。

用 IsValue 和 IsNil 做语义判断

如果代码需要表达语义，而不是只判断字段是否为空，优先使用 TypeAndValue 自带的方法：

func classify(tv types.TypeAndValue) string {
	// IsValue 表示表达式是一个值；内置函数不按普通值处理。
	if !tv.IsValue() {
		return "不是普通值表达式"
	}
	// IsNil 表示表达式本身是预声明的 nil，不等于接口变量的运行时 nil。
	if tv.IsNil() {
		return "表达式是 nil"
	}
	if tv.Value != nil {
		return "是编译期常量值"
	}
	return "是运行时求值的普通值"
}

IsNil() 的语义很窄：它判断对应表达式是否指向 Go 预声明值 nil。不能用它判断一个接口变量在运行时是否装着 nil 指针，也不能因为 Value == nil 就返回“表达式是 nil”。这正是本文标题中两个 nil 最容易混淆的地方。

处理 Info.Types 没有条目的表达式

遇到 ok == false 时，不要立即把问题归因于类型检查失败。先看 AST 节点处于哪种语法位置：

• 普通表达式：优先查 Types，并同时判断键是否存在。
• 声明左侧的标识符：查 Defs，因为它描述该标识符定义了哪个对象。
• 已有对象的使用点：查 Uses；选择器如 x.Field 则关注 Selections。

生产代码可以把“没条目”“有类型但没常量值”“表达式就是 nil”拆成三个分支记录日志。这样既不会漏掉 AST 节点，也不会把普通运行时值误报成类型缺失。

常见问题

Value 为 nil 时 Type 一定非 nil 吗？不一定。对有效的普通表达式通常有类型，但无效表达式可能根本不在 Info.Types 中；应先检查 map 查找是否成功，再检查 Type。

检查常量值应该用 Value 还是 IsValue？IsValue 判断是否为值表达式，Value != nil 更适合判断是否拿到了编译期常量值，两者用途不同。