Go types.Checker.Files 怎样检查同一包的多个 AST 文件

检查同一包的多个AST文件，应使用共享的 FileSet 解析它们，再为该包创建一个 Checker，把相关文件作为一个切片传给 Files。文件间可以引用同包声明，不需要将每个文件当成独立包分别检查。

官方文档：https://pkg.go.dev/go/types#Checker。

先按包组织文件，而不是逐文件检查

假设 model.go 声明 Item，use.go 的 Total 使用 Item。若只拿 use.go 创建独立检查环境，它就缺少同包声明来源。正确的组织单位是当前构建配置下的包文件集合，不是文件扩展名或目录中的任意文件。

model.go AST 与 use.go AST 分别包含 Item 与 Total，Package 的包作用域承载包级声明。这里同包引用与源码先后排列不是一回事，不能通过把文件名排序来替代完整的声明集合。

共享文件集并一次提交相关声明

package main
import (
 "fmt"
 "go/ast"
 "go/parser"
 "go/token"
 "go/types"
)
func main() {
 // 两个文件属于同一个包，第二个文件使用第一个文件的声明
 sources := []struct{name, text string}{
  {"model.go", "package sample; type Item struct { Count int }"},
  {"use.go", "package sample; func Total(x Item) int { return x.Count }"},
 }
 fset := token.NewFileSet()
 var files []*ast.File
 for _, src := range sources {
  f, err := parser.ParseFile(fset, src.name, src.text, 0)
  if err != nil { fmt.Println("解析失败:", err); return }
  files = append(files, f)
 }
 // 只初始化需要读取的映射，统一收集类型检查诊断
 info := &types.Info{Defs: make(map[*ast.Ident]types.Object)}
 conf := types.Config{Error: func(err error) { fmt.Println("类型错误:", err) }}
 pkg := types.NewPackage("example.com/sample", "sample")
 checker := types.NewChecker(&conf, fset, pkg, info)
 if err := checker.Files(files); err != nil { return }
 // 包作用域应包含跨文件声明，未运行被分析函数
 fmt.Println(pkg.Scope().Lookup("Item").Name())
 fmt.Println(pkg.Scope().Lookup("Total").Name())
}

Checker 关联 FileSet、Package、Info.Defs、Config.Error 和 AST 列表。FileSet 负责位置解释，Package 承载当前包，Info.Defs 记录声明标识符对应的对象，错误回调收集诊断。例子成功时，作用域中应有 Item 和 Total；这是语义预期，代码没有在本机执行。

示例不包含 import。处理实际工程依赖时，还要配置适当导入器或复用成熟的包加载流程。Files 不负责替你根据模块、构建标签、操作系统和测试包变体选择正确文件，不能把目录里所有Go文件无条件提交。

错误处理与增量使用的边界

NewChecker 支持通过 Files 增量添加包文件，但这不等于通用编辑器增量重检查引擎。不要重复提交已经检查的旧文件来模拟更新，也不要假设一次调用里引用的未知声明可以靠未来调用自动补救。本例将相互关联文件一次提交，避免这类顺序依赖。

错误回调使调用方能够收集诊断，Files 返回错误时仍应明确停止依赖完整类型信息的后续操作。不要把部分可用结果静默当作检查成功。Info 只填充已初始化的映射，需要表达式类型或使用点对象时，再按任务配置相应字段。

同一package名称就能合并吗？不能。不同导入路径的包可以同名，外部测试包也应独立对待。先根据加载器确定逻辑包边界，再处理文件列表。

需要执行源码才能类型检查吗？不需要。这里分析AST并建立类型与对象信息，不会运行Total函数。构建工具链环境与导入配置仍会影响分析输入，应由调用方保持一致。

在工具设计中，保留清楚的包边界与文件快照，比长期复用一个含旧声明的Checker更容易解释失败原因。接口参考：https://pkg.go.dev/go/types#Checker.Files。