Go types.Eval 怎么计算源码位置处表达式类型

Go 里想查询一段源码表达式的类型，types.Eval 需要的不是一个孤立的字符串，而是“文件位置语境”：与 AST 对应的 token.FileSet、已经完成类型检查的 types.Package，以及属于这个包的 token.Pos。调用成功后得到 types.TypeAndValue，可读取表达式类型；如果表达式是编译期常量，还能读取常量值。

要先记住一个边界：Eval 是对类型检查结果的补充查询，不是 types.Config.Check 的替代品。它会重新解析传入的表达式，并且不知道原表达式所在赋值语境。

先把 Eval 的返回结果看懂

Eval 的签名是：

func Eval(fset *token.FileSet, pkg *types.Package, pos token.Pos, expr string) (types.TypeAndValue, error)

其中返回的 TypeAndValue 同时描述类型和常量值。普通变量、选择器或函数调用通常只关心 Type；像 1 这样的常量表达式还可以查看 Value。IsType、IsValue 能帮助你区分“表达式指定了一个类型”与“表达式产生了一个值”。

如果目标是已经存在于 AST 中的节点，并且你需要把信息写回 types.Info，可优先考虑 CheckExpr；如果目标是完整包的类型关系，则应读取完整 Check 产生的 Info.Types。

Eval 的参数如何组成源码位置语境

这三个位置相关对象必须来自同一套源码位置体系。解析文件时创建的 FileSet 要继续传给类型检查；查询位置 pos 要属于被检查的包。这样 Eval 才能按照该位置解析包级名称、导入名和局部声明可见性。

示例只展示准备方式，注释解释每个参数的作用：

package main

import (
	"go/ast"
	"go/parser"
	"go/token"
	"go/types"
)

func prepare() (*token.FileSet, *types.Package, token.Pos, error) {
	// 复用同一个 FileSet，让解析位置和类型检查位置保持一致。
	fset := token.NewFileSet()
	src := "package sample\nconst Limit = 8\nvar Name = \"go\"\n"
	file, err := parser.ParseFile(fset, "sample.go", src, parser.ParseComments)
	if err != nil {
		return nil, nil, token.NoPos, err
	}

	// 只把已经解析的文件交给 Check，得到可供 Eval 查询的 Package。
	conf := types.Config{}
	pkg, err := conf.Check("sample", fset, []*ast.File{file}, nil)
	if err != nil {
		return nil, nil, token.NoPos, err
	}

	// 这里用文件起始位置代表包级语境；实际项目应选择目标节点的真实位置。
	pos := file.Package
	return fset, pkg, pos, nil
}

pos 到底应该传什么位置

当 pkg 非空时，pos 有三种常用语义。

最容易出错的是把别的 FileSet 产生的 token.Pos 传入，或者传入不属于该包的有效位置。文档要求 pos 来自带完整位置信息的已类型检查 AST；无法证明位置归属时，先回到解析和 Check 阶段排查。

调用 Eval 并读取 TypeAndValue

查询时把表达式写成 Go 表达式字符串，把语境交给 pkg 与 pos。下面的代码只展示读取方式，不把打印结果冒充成实际运行输出：

func inspect(fset *token.FileSet, pkg *types.Package, pos token.Pos) error {
	// 表达式在 pos 对应的包语境中重新解析和类型检查。
	tv, err := types.Eval(fset, pkg, pos, "Limit + 1")
	if err != nil {
		return err
	}

	// Type 表示静态类型；Value 非 nil 时说明存在编译期常量值。
	if tv.Type != nil {
		_ = tv.Type.String()
	}
	if tv.Value != nil {
		_ = tv.Value.String()
	}

	// 这两个谓词适合在工具中区分类型表达式与值表达式。
	_ = tv.IsType()
	_ = tv.IsValue()
	return nil
}

这里的“计算”指静态语义分析，不会执行函数，也不会读取变量运行时的内容。对变量名的查询只能得到静态类型；对常量表达式，才可能同时得到精确的常量值。

无类型常量和赋值语境的边界

Eval 重新检查传入字符串，但它不知道这个字符串原本是否出现在赋值、返回或参数传递中。因此查询顶层常量时，结果可能保持无类型常量，而不是某个上下文强制后的默认类型。需要判断真实源码节点在使用处的类型，应使用完整 Check 的 Info.Types，或针对已有 AST 节点调用 CheckExpr。

另一个边界是函数体。Eval 的目标是表达式本身；若字符串包含函数字面量，函数体不会成为普通完整包检查的替代流程。需要函数体内部每个表达式的信息时，保留 AST 并使用完整类型检查结果。

一份可执行的排查清单

• 位置一致：解析、类型检查和 Eval 使用同一个 token.FileSet。
• 包已检查：pkg 来自成功的 types.Config.Check，不是手工拼出的空包。
• 位置归属：有效 pos 属于该包；只用 Universe 语境时明确传入 nil 包。
• 读取方式：先判断错误和 tv.Type，再按需读取 tv.Value。
• 语境意识：不要用 Eval 推断原 AST 在赋值或参数位置的最终上下文类型。
• 工具选择：需要 Info.Types 或节点级信息时回到 Check/CheckExpr。

常见疑问

types.Eval 会执行表达式吗？

不会。它进行解析和静态类型检查；函数调用的运行时结果不属于它的返回内容。

为什么传入的 pos 会影响结果？

因为包内名称的可见范围与源码位置有关。不同位置可能对应不同的局部作用域；无效位置则退回包级语境。

什么时候直接读 Info.Types？

当你已经拥有完整 AST，并且要查看每个表达式在原始使用上下文中的类型和值时，直接使用完整 types.Info 更合适。