用 ast.Inspect 可高效查找当前包内接口的显式实现：遍历 AST 提取结构体及其方法，比对目标接口方法签名；但需手动处理指针接收者、嵌入字段和类型别名，跨包或隐式实现须依赖 go/types。
怎么用 ast.Inspect 找到某个接口的全部实现类型
直接遍历 AST 节点，检查每个 ast.TypeSpec 是否定义了结构体（ast.StructType），再判断它是否实现了目标接口——但 Go 没有显式 implements 声明，得靠方法集推导。所以核心是：先提取接口的方法签名，再对每个疑似结构体类型，收集其所有可导出方法（含嵌入字段），逐个比对。
注意：只扫描当前包内定义的类型；跨包实现无法静态推断（比如 io.Reader 被 bytes.Buffer 实现，但后者不在当前 AST 中）。
- 用
ast.NewPackage或parser.ParseDir加载源码，确保ast.Package包含完整类型定义 - 提前解析目标接口的
*ast.InterfaceType，用types.Info配合go/types获取其方法集更可靠；纯 AST 无法做类型检查，容易漏掉嵌入字段带来的隐式实现 - 避免只看结构体自身方法：必须递归展开所有嵌入字段（
ast.Embedded），并查它们的类型定义
为什么不用 ast.Walk 而推荐 ast.Inspect
ast.Inspect 是深度优先、可中途返回的遍历，适合“找到就记下，继续找下一个”的场景；而 ast.Walk 是 visitor 模式，需要自己维护状态栈，写起来更啰嗦且容易在嵌套结构里丢上下文。
例如，你在一个 ast.FuncDecl 里看到 func (t *MyStruct) Read(...)，想确认 MyStruct 是否实现了 io.Reader，用 Inspect 可以在进入该函数前先缓存当前接收者类型名，出来时再比对，逻辑更线性。
立即学习“go语言免费学习笔记（深入）”；
初始化并管理阿里云SDK Go 客户端，涵盖 sync.Once 单例、goroutine 安全、endpoint 与 region 配置、VPC 端点及调试。
-
ast.Inspect的回调函数返回bool：返回false表示跳过子树，能省掉大量无效遍历 - 处理嵌入字段时，
ast.Inspect自动进入字段类型节点，你只需在*ast.StarExpr或*ast.Ident处提取类型名，无需手动递归 - 别在
ast.Walk里改 visitor 字段来传参——容易被并发或嵌套调用覆盖
go/types 和纯 ast 方案的关键区别在哪
纯 AST 只能做语法层面匹配：比如看到 type T struct{} 和 func (T) Close() error，就认为它实现了 io.Closer。但若 Close 方法在嵌入的 *http.Response 字段上，而 http.Response 本身又嵌入了其他类型……纯 AST 就断链了。
go/types 在 type-check 阶段构建了完整方法集，能正确展开所有嵌入、处理指针/值接收者差异、识别未导出方法不可被外部实现等规则。代价是必须调用 types.NewChecker，需提供 types.Config 和 import path 映射。
- 如果只要找本包内「明显」的实现（无嵌入、方法名全匹配），纯 AST +
ast.Inspect足够快且轻量 - 如果要 100% 精确（比如写 linter 或重构工具），必须走
go/types：用info.Types[expr].Type.Underlying()判断是否为接口，再用tc.LookupFieldOrMethod查方法是否存在 - 错误示例：
ast.TypeOf(x).String()拿不到方法集，这只是 AST 节点的字符串表示，不是运行时类型
实际跑起来常遇到的三个坑
很多同学写完代码发现“找不到实现”，往往卡在这几个地方：
- 没处理指针接收者：接口实现允许
func (*T) M()实现func (T) M()接口方法，但 AST 层面接收者是*ast.StarExpr，类型名藏在X字段里，容易漏提取 - 忽略别名类型：比如
type MyReader io.Reader，这不算实现，只是类型别名；但若type MyReader = io.Reader（Go 1.9+），AST 上是*ast.Ident，需跳过这种赋值式别名 - 包作用域搞错：用
parser.ParseFile单独解析一个文件时，ast.TypeSpec里的Ident名字可能和接口不在同一包，导致types.Info查不到对应对象——必须用parser.ParseDir整个包加载
最麻烦的是嵌入字段的类型解析：AST 里 field.Type 可能是 *ast.Ident（如 sync.Mutex），也可能是 *ast.SelectorExpr（如 http.Header），甚至 *ast.StarExpr（如 *bytes.Buffer）。不统一处理，一跑就 panic。
