Go go/types.Info.ObjectOf 怎样找到标识符对应对象

做 Go 源码分析时，ast.Ident 只有名字和位置，不能直接告诉你它代表变量、函数还是类型。完成类型检查并填充 types.Info.Defs、types.Info.Uses 后，可以用 Info.ObjectOf 统一查询这个标识符对应的 types.Object。它返回 nil 时，优先检查类型信息是否已收集，而不是把标识符名称当成对象。

先把标识符分成声明和引用

go/types 会把声明位置和使用位置分开记录：声明位置进入 Defs，引用位置进入 Uses。这两张表都要在类型检查前放进 types.Info，否则后面调用 ObjectOf 没有完整的查询基础。

package main

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

func checkSource(src string) (*ast.File, *types.Info, error) {
	fset := token.NewFileSet()
	file, err := parser.ParseFile(fset, "sample.go", src, 0)
	if err != nil {
		return nil, nil, err
	}

	// ObjectOf 依赖 Defs 和 Uses；两张表都要在检查前创建。
	info := &types.Info{
		Defs: make(map[*ast.Ident]types.Object),
		Uses: make(map[*ast.Ident]types.Object),
	}
	conf := types.Config{Importer: importer.Default()}
	// Check 负责建立标识符到对象的关系；错误时信息可能是不完整的。
	_, err = conf.Check("sample", fset, []*ast.File{file}, info)
	return file, info, err
}

这里的关键不是 Config 本身，而是把要收集的 map 传给 Check。如果只解析 AST，没有做类型检查，或者只初始化了别的 Info 字段，ObjectOf 都可能拿不到对象。

用 ObjectOf 统一拿到对应对象

查询时不必先判断一个标识符来自 Defs 还是 Uses。ObjectOf 会根据已经填充的类型信息返回它所指向的对象；同一个名字在声明处和引用处可能是两个 AST 节点，但它们可以指向同一个 types.Object。

func objectName(info *types.Info, id *ast.Ident) string {
	if id == nil {
		return ""
	}
	// ObjectOf 统一读取声明或引用对象，不直接把名字当成语义。
	obj := info.ObjectOf(id)
	if obj == nil {
		return ""
	}
	return obj.Name()
}

如果分析器还需要知道对象的具体种类，再对返回值做类型断言。*types.Var 表示变量或字段，*types.Func 表示函数或方法，*types.TypeName 表示命名类型，*types.Const 表示常量。先检查 nil，再分类，能避免把缺失信息误判成“这是一个未知对象”。

空值与嵌入字段是两个边界

ObjectOf 返回 nil 常见于三种情况：传入的节点不是本次类型检查得到的节点、Defs/Uses 没有被填充，或者源码本身存在错误导致收集结果不完整。它不是“对象名称为空”的另一种写法，后续不能继续读取 Name 或 Type。

嵌入字段也容易被误读。官方文档特别说明：如果标识符是嵌入结构字段，ObjectOf 返回定义该字段的 *types.Var，而不是它使用的 *types.TypeName。因此分析字段声明时应该看对象类型；如果要分析选择器经过了哪些嵌入层，再看 types.Info.Selections。

func classify(info *types.Info, id *ast.Ident) string {
	if id == nil {
		return "没有标识符"
	}
	obj := info.ObjectOf(id)
	if obj == nil {
		// nil 说明类型信息缺失或节点不在本次检查范围内。
		return "未找到对象"
	}

	// 按对象接口的具体实现分类，避免依赖名称猜测语义。
	switch obj.(type) {
	case *types.Var:
		return "变量或字段"
	case *types.Func:
		return "函数或方法"
	case *types.TypeName:
		return "命名类型"
	case *types.Const:
		return "常量"
	default:
		return "其他 types.Object"
	}
}

什么时候该换用 Defs、Uses 或 TypeOf

如果目标是“这个位置代表什么对象”，选 ObjectOf；如果要分别统计声明和引用，直接遍历 Defs 与 Uses；如果问题是表达式的静态类型，使用 Info.TypeOf；如果问题是选择器经过的嵌入路径和方法集，使用 Info.Selections。它们解决的是不同层次的问题。

常见问题

为什么 ObjectOf 总是返回 nil？

先确认传入的 ast.Ident 属于传给 Config.Check 的文件，再确认 Info.Defs 和 Info.Uses 已初始化。类型检查返回错误时，信息也可能只收集了一部分。

嵌入字段应该断言成 TypeName 吗？

不应该直接这样假设。嵌入字段对应的是字段对象，ObjectOf 返回 *types.Var；只有在确实查询命名类型标识符时，才按 *types.TypeName 处理。

记住一个简单分工：对象身份看 ObjectOf，声明/引用角色看 Defs 与 Uses，表达式类型看 TypeOf，选择器路径看 Selections。这样做源码分析时，查询结果就不会被 AST 的文本表象带偏。