Go go/types.Config 不生效怎么办

如果你给 go/types.Config 设置了选项，却发现检查结果完全没变化，先看调用链：配置只会影响传给同一次 Config.Check 或 NewChecker 的检查器。最常见的原因不是字段失效，而是配置没有传进 Check、只传了一部分文件、导入器为空，或者没有初始化对应的 types.Info map。

排查时把问题拆成“配置是否被使用、输入是否完整、依赖是否可解析、结果是否被读取”四个点，通常就能定位 go/types.Config 为什么看起来不生效。

先分清 Config 能改变什么

Config 是类型检查器的输入，不是已经产生结果后的过滤器。Config.Check 接收包路径、文件集合和 types.Info，返回 *types.Package 与第一个错误；因此修改配置后必须重新调用 Check，只读取旧的 Package 不会产生新结果。

对排障最有用的字段可以分成三组：

把完整文件集合传给同一个 Check

一个包通常由多个 Go 文件组成。只解析并检查其中一个文件时，包级声明、同包类型和初始化关系都可能缺失，导致你误以为某个配置没有生效。先保持一个 token.FileSet，再把同一包的文件作为切片一次传入。

package main

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

func main() {
    sources := []struct {
        name string
        src  string
    }{
        {"a.go", `package demo
type ID int
var current ID`},
        {"b.go", `package demo
func use() { current = 1 }`},
    }

    fset := token.NewFileSet()
    files := make([]*ast.File, 0, len(sources))
    for _, item := range sources {
        // 所有文件共用 FileSet，并保持同一个包名。
        file, err := parser.ParseFile(fset, item.name, item.src, 0)
        if err != nil {
            panic(err)
        }
        files = append(files, file)
    }

    info := &types.Info{
        // 只初始化需要的 map，检查器不会替调用方创建它们。
        Types: make(map[ast.Expr]types.TypeAndValue),
        Defs:  make(map[*ast.Ident]types.Object),
        Uses:  make(map[*ast.Ident]types.Object),
    }
    conf := types.Config{
        // 标准库导入使用默认导入器；没有外部 import 时也可以省略。
        Importer: importer.Default(),
        // 版本字符串影响语言版本检查，不是“让当前 Go 自动升级”的开关。
        GoVersion: "go1.22",
    }

    pkg, err := conf.Check("demo", fset, files, info)
    if err != nil {
        // Check 仍会返回错误；这里先保留上下文，再决定是否继续使用部分结果。
        fmt.Println("type check failed:", err)
        return
    }
    fmt.Println("complete:", pkg.Complete(), "uses:", len(info.Uses))
}

这个例子里，conf 只在最后一次 conf.Check 中生效。如果你先创建了一个零值配置并调用了 Check，后来才给另一个配置变量设置 Importer，旧的检查结果当然不会改变。

有 import 时优先检查 Importer

零值 Config 是可用的默认配置，但它不会凭空解析任意导入包。源码包含 import "fmt"、第三方模块或本地 vendored 包时，要根据工具的输入来源选择导入器。标准库示例可以使用 go/importer 的默认实现；模块级工程更适合由 golang.org/x/tools/go/packages 负责加载，再使用它提供的语法树和类型信息。

一个实用的判断是：如果不含 import 的最小源码能通过，而加上 import 后报错或结果缺少对象，先不要修改 GoVersion，先查看 Importer 是否安装、是否能找到对应构建环境的包。

用 Error 回调收集错误，但仍处理 Check 返回值

Config.Error 会接收类型检查中的错误，设置回调并不等于错误被吞掉，也不代表 Check 必然返回 nil。可以用计数器记录错误数量，同时把 err 当作最终状态判断：

var errorsFound []error
conf := types.Config{
    Error: func(err error) {
        // 回调可收集多个错误，便于一次展示完整诊断。
        errorsFound = append(errorsFound, err)
    },
}

pkg, err := conf.Check("demo", fset, files, info)
if err != nil {
    // 第一个错误仍通过 Check 返回；不要只看回调是否被调用。
    fmt.Printf("首个错误=%v，累计错误=%d\n", err, len(errorsFound))
}
if pkg != nil && !pkg.Complete() {
    // 不完整 Package 只能谨慎使用已收集的部分信息。
    fmt.Println("package is incomplete")
}

如果你的工具需要“尽量多报错”，保留回调；如果只需要快速失败，可以不设置回调。两种行为都不会改变 Types map 的初始化规则。

为什么 Info 里是空的

types.Info 采用按需收集：只有非 nil 的 map 才会被填充。传入 &types.Info{} 后，类型检查仍可能成功，但 info.Types、info.Defs 和 info.Uses 都是空引用；这不是 Config 失效，而是调用方没有声明要收集这些信息。

另外，存在类型错误时，Info 中的内容可能不完整。排查时同时打印 pkg.Complete()、目标 map 的长度，以及 err，不要只看一个字段：

info := &types.Info{
    Types: make(map[ast.Expr]types.TypeAndValue),
    Defs:  make(map[*ast.Ident]types.Object),
    Uses:  make(map[*ast.Ident]types.Object),
}
pkg, err := conf.Check("demo", fset, files, info)

// 这三个指标能区分“未收集”和“收集后不完整”。
fmt.Printf("err=%v complete=%t types=%d defs=%d uses=%d\n",
    err, pkg != nil && pkg.Complete(), len(info.Types), len(info.Defs), len(info.Uses))

用四个对照点快速定位

可以把一次排查固定成四个可重复的观察指标，避免在字段之间来回试错：

这组指标比直接切换 GoVersion 更有效：版本字段只负责语言版本接受范围，不能修复错误的文件集合、缺少导入器或空的结果 map。

几个容易误判的边界

• IgnoreFuncBodies：它只是不检查函数体，函数体中的类型信息和错误也不会按完整检查结果出现；不要用它测试函数体内的规则。
• GoVersion：格式必须是以 go 开头的版本字符串，空值会关闭语言版本检查；它不负责选择本地模块依赖。
• Importer：默认导入器适合标准库等简单场景，不能自动替代模块加载、构建标签和 vendoring 解析。
• 部分结果：当 Check 返回错误时，Info 和 Package 可能仍有部分数据，但应用层应明确标记为不完整。

结论与相关问题

go/types.Config 通常并没有失效，问题集中在配置没有传给本次 Check、输入文件不完整、导入器不能解析依赖，以及 Info 没有初始化。把源码、FileSet、Config、Info 和结果读取放在同一条调用链上，再用 err、Complete() 和 map 长度三组信号复查，定位会稳定很多。

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

相关问题：

• 为什么 types.Info.Types 只有部分表达式？
• go/types 什么时候应该换成 go/packages？
• 如何让类型检查同时保留多个错误？