Go types.MethodSet 为什么不包含结构体字段

在用 go/types 做静态分析时，很多人会把“结构体能访问的成员”与“方法集合”混成一张表。结论很明确：types.NewMethodSet 只返回方法，不负责列出字段；字段要从 *types.Struct 读取。结构体字段仍然可以通过选择器访问，但它们不属于 MethodSet，也不能用 MethodSet.Lookup 查到。

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

MethodSet 与 Struct 是两张不同的表

Go 规范把 method set 定义为一类方法的集合：值类型包含值接收者方法，指针类型还可能包含指针接收者方法，接口的集合则由接口方法决定。字段是 struct 的另一组成员。go/types 因而把两种信息拆成不同 API：NewMethodSet(T) 得到方法集，Struct.Field(i) 得到字段。

可以把它理解成两个查询目标：要判断某个类型是否满足接口，查方法域；要生成结构体文档、读取字段名或分析标签，查字段域。两者都从同一个 types.Named 出发，但不会共享同一个结果表。

用 Struct API 读取字段，用 MethodSet 读取方法

下面的示例只展示 API 分工。它把源码交给类型检查器，再分别从命名类型取方法集合和底层结构体。代码块中的输出是预期的字段与方法名称示意，不代表本文在发布前执行过本地程序。

package main

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

func main() {
    const src = `package demo
type Profile struct { Name string; Age int }
func (Profile) Label() string { return "profile" }`

    fset := token.NewFileSet()
    file, err := parser.ParseFile(fset, "demo.go", src, 0)
    if err != nil { panic(err) } // 解析失败时停止，避免使用不完整语法树

    conf := types.Config{Importer: importer.Default()}
    pkg, err := conf.Check("demo", fset, []*ast.File{file}, nil)
    if err != nil { panic(err) } // 类型检查失败时不要继续读取类型对象

    named := pkg.Scope().Lookup("Profile").Type().(*types.Named)
    methods := types.NewMethodSet(named) // 这里只收集方法，不收集 Name、Age
    for i := 0; i 

这个分工也解释了常见的空结果：对没有方法的 Profile 调用 NewMethodSet，得到的仍是非空指针，只是 Len() 为 0。此时不能据此判断“结构体没有成员”，只能判断“方法集合为空”。

嵌入字段只会带来方法提升

嵌入 T 或 *T 时，Go 允许外层结构体通过选择器使用嵌入类型的方法；具体哪些方法进入值类型或指针类型的方法集合，要按接收者规则判断。嵌入本身仍是字段，外层的字段枚举依旧由 Struct 负责。

go/types 的实现会在遍历嵌入层级时分别维护字段名集合和方法名集合。如果同一层出现同名字段与方法，或多个路径产生同名方法，结果会被视为冲突，不能把它当作一个可靠的方法条目。这是“字段不在 MethodSet”之外的另一个重要边界：字段可能影响方法集合的冲突结果，却仍然不是方法。

按分析目标选择 API

如果工具要同时展示“这个类型能访问什么”，不要把两个集合强行合并成 MethodSet。更稳妥的做法是保留成员类型：*types.Func 作为方法，*types.Var 作为字段，并在展示层注明嵌入路径和冲突状态。

常见问题

MethodSet.Len() 为 0 是否表示 struct 没有字段？

不是。它只表示当前类型的方法集合为空；字段请检查底层 *types.Struct 的 NumFields()。

为什么嵌入类型的方法能出现在外层 MethodSet？

这是 Go 规范定义的方法提升规则。嵌入字段作为入口参与遍历，但被提升的是符合接收者规则的方法，不是字段本身。

字段和方法同名时应该查哪个 API？

要判断选择器最终指向谁，使用 types.LookupFieldOrMethod 并处理返回的空对象或冲突；不要仅凭 MethodSet.Lookup 推断字段状态。

记住一句话即可：MethodSet 回答“有哪些方法”，Struct 回答“有哪些字段”，选择器查找才回答“这个名字最终指向什么”。