登录
推荐 文章 Go 技术 课程 下载 专题 AI
首页 >  Golang >  Go教程

Go go/types 怎样读取方法选择信息

来源:17golang原创

时间:2026-11-14 13:16:08 168浏览 收藏

读取方法选择信息,先初始化 types.Info.Selections,将它交给 types.Config.Check,再用原始 AST 的 *ast.SelectorExpr 作为键读取 *types.Selection。只调用 parser.ParseFile 不会建立语义索引。

官方文档:https://pkg.go.dev/go/types#Info

明确输入节点

代码浏览工具需要回答“点号后的名字绑定到哪个声明”。同名方法可能属于不同接收者,字段与方法也不能仅按名称判断。保留解析时使用的文件集和 AST;检查完成后重新解析源码会得到新的节点指针,不能拿这些新节点查询旧映射。

语法输入与语义映射结构
语法输入与语义索引静态结构说明图。

配置并执行类型检查

以下完整示例不包含导入,因而无需 Importer。有 import 的实际工程需要配置适合其依赖环境的导入器,并将同包相关文件一起检查。

package main

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

func main() {
 // 使用内存源码,保留原始 AST 供映射查询。
 src := "package sample; type Item struct{}; func (Item) Name(){}; func use(x Item){ x.Name() }"
 fs := token.NewFileSet()
 f, err := parser.ParseFile(fs, "sample.go", src, 0)
 if err != nil { fmt.Println(err); return }
 // 检查器只填充预先分配的映射。
 info := &types.Info{Selections: make(map[*ast.SelectorExpr]*types.Selection)}
 conf := types.Config{}
 if _, err := conf.Check("example/sample", fs, []*ast.File{f}, info); err != nil {
  fmt.Println(err)
  return
 }
 // 按源码顺序访问同一棵树,避免 map 遍历顺序影响展示。
 ast.Inspect(f, func(n ast.Node) bool {
  e, ok := n.(*ast.SelectorExpr)
  if !ok { return true }
  s, ok := info.Selections[e]
  if !ok { return true }
  fmt.Println(s.Obj().Name(), s.Recv(), s.Index(), s.Indirect())
  return true
 })
}

读取选择结果

Selections 同时可以记录字段选择和方法选择。任务只关注方法时,应根据 Kind 排除字段,而非假设映射中的每项都是方法。示例中 Name 对应 Item 的方法;Obj 给出被选择的对象,Recv 给出选择的接收者类型,Index 是选择路径而非源码偏移,Indirect 记录指针间接访问关系。

选择结果属性关系
Selection 属性与目标对象静态结构说明图。
需要展示读取接口
声明对象Obj()
接收者Recv()
选择类别Kind()
嵌入路径Index()
间接访问Indirect()

显示源码位置时使用节点或对象的 Pos,再交给文件集转换。对嵌入成员,访问路径和实际声明对象可以分别展示,帮助读者理解名字为何出现在外层类型上。

处理缺失记录与规模

包限定名称如 fmt.Println 不属于 Selections 中的字段或方法选择。查询缺失时,依次考虑是否初始化映射、是否使用同一棵 AST、检查是否失败,以及表达式是否是包限定名称。不能把所有缺失都解释成不存在对应方法。

面向工具界面,按 AST 源码顺序遍历后查表可保持结果稳定。大型工程应每包检查后复用语义信息,避免为每个选择器重新检查全包;只分配需要的 Info 映射。对有错误的源码可以设计部分信息展示,但要同时呈现诊断和不完整状态。

为何 ParseFile 成功后查不到选择信息?

语法解析只提供形状,类型检查才解析对象绑定。必须执行 Check,并传入初始化过的 Info。

能否以选择器字符串作为键?

字符串适合展示,但同样的文本在不同作用域可能绑定不同对象。保留节点身份更可靠。

跨文件方法怎么办?

将同包相关文件一起传给检查器,并配置所需依赖导入,不要只截取一个引用所在文件。

参考:Go 官方 Info 文档与Selection 文档。

声明:本文转载于:17golang原创 如有侵犯,请联系study_golang@163.com删除
相关阅读
更多>
最新阅读
更多>
课程推荐
更多>