Go Checker.Files 为什么拒绝混用不同包名的源码-Golang学习网

如果你用 go/types.NewChecker 做增量类型检查，把 package app 的源码和 package app_test 或另一个包名的源码一起传给同一个 Checker.Files，通常会立刻得到包名不一致的错误。原因不是文件顺序，也不是导入器先后，而是 Checker 代表一个确定的待检查包，Files 的参数必须属于这个包。

官方资料：https://pkg.go.dev/go/types#Checker

排障结论很简单：同一个 Checker 只接收同一个 package 声明的文件；外部测试包和另一个包要创建独立的 Package、Checker 与 Files 集合。

先把 Checker.Files 的包边界说清楚

NewChecker 创建时已经绑定了一个 *types.Package。之后调用 Files，不是把任意 AST 文件交给“全局分析器”，而是把这些文件作为当前包的新增源码加入检查。官方实现也把“提供的文件必须属于同一个包”作为初始化条件。

Checker.Files 与 Package app 及同包源码文件之间的静态结构关系说明图 — 图1：Checker.Files 的包边界结构说明图；同一个检查器接收同一 package 声明的源码。

因此，下面两个文件可以分批加入同一个检查器，因为它们的包名都是 app：

// file_a.go：属于待检查的 app 包
package app

// file_b.go：同一包的另一份源码，可以后续增量加入
package app

如果第二个文件改成 package app_test，它就不再是同一个包。即使两个名字看起来有共同前缀，也不能靠文件名或导入路径把它们合并。

区分包名、导入路径和测试包

排查时先看每个 *ast.File 的 Name.Name，不要只看文件所在目录。目录通常对应一个包集合，但 AST 检查器最终看到的是文件中的 package 声明。

package app：包内源码，能够放进同一个 Checker.Files。
package app_test：外部测试包，通常作为独立包检查；它可以导入 app 的导出内容，但不属于 app。
另一个目录中的 package app：名字可以相同，但如果代表另一条导入路径，就应按另一个包处理，不能只凭名字拼接源码。

这也是“包名相同”与“包身份相同”不能混为一谈的地方：同一个 Checker 解决的是一个检查单元内部的声明、引用和方法集关系；不同导入包之间通过导入器建立依赖关系。

同一个包怎样安全地增量检查

增量场景中，关键是复用同一个 *types.Package 和 *types.Checker，并在加入前做一个轻量的包名分组。下面的示例只展示边界管理；真正的 AST 解析、文件集和导入器仍由调用方提供。

// splitByPackage 只按 AST 中的 package 声明分组，不猜测目录含义。
func splitByPackage(files []*ast.File) map[string][]*ast.File {
    groups := make(map[string][]*ast.File)
    for _, file := range files {
        if file == nil || file.Name == nil {
            // 无效 AST 不能参与类型检查，交给上层记录解析错误。
            continue
        }
        name := file.Name.Name
        groups[name] = append(groups[name], file)
    }
    return groups
}

// checkOnePackage 让一个 Checker 只接收一个 package 组。
func checkOnePackage(fset *token.FileSet, files []*ast.File) (*types.Package, error) {
    if len(files) == 0 {
        return nil, errors.New("没有可检查的源码文件")
    }

    pkgName := files[0].Name.Name
    pkg := types.NewPackage("example.local/"+pkgName, pkgName)
    conf := &types.Config{Importer: importer.Default()}
    info := &types.Info{Types: make(map[ast.Expr]types.TypeAndValue)}

    checker := types.NewChecker(conf, fset, pkg, info)
    // 所有文件都来自同一个分组，才允许交给同一个 Checker。
    if err := checker.Files(files); err != nil {
        return nil, err
    }
    return pkg, nil
}

这里的分组不是为了“绕过”错误，而是把错误输入变成明确的检查单元。若同一组中仍然出现两个 package 名，说明上游收集文件时已经把不同包混在了一起。

不同包怎样拆成独立检查单元

当源码同时包含 app、app_test 和 helper 时，不要循环调用同一个 Checker 试图把它们全部吞掉。正确做法是每个包建立自己的上下文，再用导入关系表达依赖。

Package app、app_test 和 helper 分别拥有独立 Checker 的关系说明图 — 图2：不同包拆分为独立检查上下文的关系说明图；外部测试包不是同一个 package。

// checkGroups 为每个 package 创建独立的 Package 和 Checker。
func checkGroups(fset *token.FileSet, groups map[string][]*ast.File) error {
    checked := make(map[string]*types.Package)
    for pkgName, files := range groups {
        path := "example.local/" + pkgName
        pkg := types.NewPackage(path, pkgName)
        conf := &types.Config{Importer: importer.Default()}
        checker := types.NewChecker(conf, fset, pkg, nil)

        // 每次 Files 调用的文件必须仍属于当前 pkgName。
        if err := checker.Files(files); err != nil {
            return fmt.Errorf("检查包 %s 失败: %w", pkgName, err)
        }
        checked[pkgName] = pkg
    }
    return nil
}

生产代码里通常还要按导入路径建立稳定的包键，而不是只用短包名；本文的示例聚焦 Checker.Files 的边界，所以用简化键展示分拆原则。对于 app_test，它可以单独检查，并在需要时通过 importer 解析 app。