Go Info.Selections 为什么没有包限定名的记录

用 go/types 分析代码时，常见一个看似奇怪的现象：fmt.Println 明明是 *ast.SelectorExpr，但在 types.Info.Selections 中却找不到记录。原因不是类型检查漏了数据，而是它属于包限定标识符，不属于 Selection 描述的字段或方法选择。

结论：Info.Selections 只记录 value.Field、value.Method 以及方法表达式这类“在一个值的类型上做选择”的结果；pkg.Func 应该到 Info.Uses[selector.Sel] 中查找。

先把两类点号表达式分开

下面两段代码都使用点号，但左侧操作数的语义不同：

fmt.Println("hello") // fmt 是导入的包名，Println 是包级对象
user.Name            // user 是一个值，Name 是它的字段
user.String()        // user 是一个值，String 是它的方法

前者是限定标识符，作用是从导入包的作用域中找到一个对象；后两者才是 selector 选择操作，需要处理字段提升、嵌入字段、接收者类型和指针间接等信息。官方文档因此明确说明，Selections 映射 selector 表达式，但会排除 qualified identifiers。

为什么 Selections 会主动排除包限定名

types.Selection 描述的是 x.f 在类型系统中的选择结果。它可以告诉你选择种类、接收者类型、最终对象、嵌入字段索引路径以及是否发生指针间接。比如 user.Name 可能要沿着嵌入结构寻找字段，user.String 还要判断方法集和接收者形式，这正是 Selection 的价值。

而 fmt.Println 不需要做这套类型选择：fmt 已经把查找范围限定为导入包，Println 只是该包中的对象引用。类型检查器会把对应标识符放入 Info.Uses，而不是再制造一个 Selection。所以用 len(info.Selections) 判断“所有点号表达式是否都被记录”本身就是错误的假设。

读取对象时分别查看 Uses 与 Selections

分析 AST 时，可以先尝试 Selections；查不到时，再判断它是否是包限定标识符。下面的示例只展示读取路径，不依赖运行时截图或额外工具。

package main

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

const source = `package demo
import "fmt"
type User struct{ Name string }
func (User) String() string { return "user" }
func show(user User) { fmt.Println(user.Name); user.String() }`

func main() {
	fset := token.NewFileSet()
	file, err := parser.ParseFile(fset, "demo.go", source, 0)
	if err != nil { panic(err) } // 解析失败时先停止，避免读取不完整 AST

	info := &types.Info{
		Uses:       make(map[*ast.Ident]types.Object),
		Selections: make(map[*ast.SelectorExpr]*types.Selection),
	}
	conf := types.Config{Importer: importer.Default()}
	if _, err = conf.Check("demo", fset, []*ast.File{file}, info); err != nil {
		panic(err) // 类型错误时不要把缺失记录误判为选择语义
	}

	ast.Inspect(file, func(node ast.Node) bool {
		expr, ok := node.(*ast.SelectorExpr)
		if !ok { return true }
		if sel := info.Selections[expr]; sel != nil {
			fmt.Println("值上的选择:", expr.Sel.Name, "->", sel.Obj().Name())
			return true
		}
		if obj := info.Uses[expr.Sel]; obj != nil {
			fmt.Println("包限定对象:", expr.Sel.Name, "->", obj.Name())
		}
		return true
	})
}

这段逻辑的关键不是“先后顺序”，而是两个映射的职责边界：Selections 负责值上的选择关系，Uses 负责标识符实际引用的对象。对 fmt.Println，命中的是 Uses[Println]；对 user.Name 和 user.String，命中的是 Selections。

分析器里最容易踩的三个坑

第一，不要把所有 *ast.SelectorExpr 都当作 Selection。先看左侧是否是包名，再按映射查对象。第二，不要用选择结果的 Type() 代替声明对象的类型；方法选择的类型可能带有当前接收者，而 Obj() 返回的是声明对象。第三，类型检查信息可能因输入存在类型错误而不完整，遇到 nil 记录时还要区分“语义上不属于 Selections”和“检查失败导致的信息缺失”。

如果你的工具要输出调用图、API 引用或字段访问索引，建议把两类结果在内部建模为不同事件：包级引用记录引用对象，值级选择记录选择种类、接收者、对象和索引路径。这样既不会漏掉 fmt.Println，也不会丢失嵌入字段选择的结构信息。

相关问题

为什么 qualified identifier 不进入 Selections？ 因为它是作用域中的对象查找，不需要字段或方法集选择过程，相关标识符在 Info.Uses 中。

Selections 为空是不是类型检查失败？ 不一定。源码只有包限定名时，空集合就是正常结果；只有在需要分析值上的字段或方法时，才应期待对应记录。

总结

Info.Selections 的“缺失包限定名”是设计语义，不是遗漏。记住一句话即可：包限定名看 Uses，值上的字段和方法看 Selections。围绕这个边界设计 AST 分析器，后续处理方法表达式、嵌入字段和指针间接时会更稳定。