Go go/types.Info.FileVersions 如何读取单文件语言版本：类型检查配置与语法兼容边界

做 Go 静态分析时，单看模块的 go.mod 版本还不够：同一个包里的不同源文件可能通过文件级指令使用不同的语言版本。go/types.Info.FileVersions 正是用来读取这层信息的，它把每个 *ast.File 映射到类似 go1.23 的版本字符串。

先用 types.Config.GoVersion 给类型检查器一个可靠的包级版本，再从 info.FileVersions[file] 读取具体文件；文件没有单独声明时，返回值会回落到配置版本。

静态分析工具真正要回答什么

假设一个检查器要判断某个语法是否允许，它需要知道“这份语法树对应哪个 Go 语言版本”，而不是只知道当前运行工具的 Go 版本。包级版本适合当默认值，文件级版本则用于处理带有版本指令的单个文件。

这也是 FileVersions 的使用边界：它记录语言版本，不是编译器构建版本，也不是依赖包版本。拿错这三个概念，工具就可能把一个本应报告的兼容问题静默放过。

从 parser.ParseFile 到 FileVersions 的最小链路

先把源码解析为 ast.File，再把它交给 Config.Check。读取时不要重新解析一份“看起来一样”的 AST，因为映射键是指针，必须使用同一份 *ast.File。

package main

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

func main() {
    const source = `package sample

func Add(a, b int) int { return a + b }
`
    fset := token.NewFileSet()
    file, err := parser.ParseFile(fset, "sample.go", source, 0)
    if err != nil {
        panic(err)
    }

    info := &types.Info{
        FileVersions: make(map[*ast.File]string),
    }
    conf := &types.Config{GoVersion: "go1.23"}
    _, err = conf.Check("sample", fset, []*ast.File{file}, info)
    if err != nil {
        fmt.Println("type check:", err)
    }
    fmt.Println("file version:", info.FileVersions[file])
}

这段程序的关键结果是 file version: go1.23。parser.ParseFile 产生 file，Config.Check 填充 info，最后以同一个 file 取出版本；这条链路比“遍历映射找一个值”可靠得多。

文件版本和配置版本如何配合

没有文件级版本指令时，FileVersions[file] 使用 Config.GoVersion。因此工具应显式设置它，而不是把空字符串当成“使用本机最新版本”。官方文档也说明，版本字符串以 go 开头，可以交给 go/version 包处理。

如果工具还要展示包级结论，可以同时读取 types.Package.GoVersion()。两者用途不同：前者回答当前 AST 文件的语言版本，后者回答类型检查包的最低版本要求。

packageVersion := pkg.GoVersion()
fileVersion := info.FileVersions[file]
fmt.Println("package:", packageVersion)
fmt.Println("file:", fileVersion)

当两个值不一致时，以文件版本解释该文件里的语法；以包版本做整体报告。不要把 runtime.Version() 直接写回这两个字段，它代表工具链运行环境，不代表输入源文件声明的语言版本。

把版本字符串交给 go/version 判断

版本比较不要按字符串字典序完成。例如 go1.10 和 go1.9 的字符串排序就不符合版本顺序。使用 go/version 的 Compare 能让工具保留 Go 版本语义。

import "go/version"

func supportsGenerics(v string) bool {
    return version.Compare(v, "go1.18") >= 0
}

这里的判断只回答语言版本是否达到阈值，不等于当前依赖、编译器或目标平台一定能成功构建。真正的构建验证仍要交给项目自己的测试与构建流程。

三个容易误判的边界

映射为空不一定是解析失败

只有在 Info 中提供了 FileVersions 映射时，类型检查器才会收集这项信息。忘记初始化映射，读取到空值是配置问题，不应据此推断源码没有版本。

类型错误不会保证信息完整

Config.Check 返回错误时，Info 中已经收集的内容可能是部分结果。工具可以展示已知版本，但应该把类型检查错误一并报告，不能把部分映射包装成完整的兼容结论。

版本键必须来自同一棵语法树

重新调用 parser.ParseFile 得到第二个 *ast.File，即使文件名和内容相同，也不是 FileVersions 的同一个键。把解析、检查、读取拆成多个模块时，应传递同一个 AST 指针或封装一个明确的结果对象。

相关问题与快速核对

FileVersions 记录的是 Go 工具链版本吗？

不是。它记录文件使用的 Go 语言版本；工具链版本属于运行环境信息，不能替代输入文件版本。

文件没有单独版本时读什么？

读 Config.GoVersion 提供的包级默认版本。生产工具应显式设置这个字段，并检查结果是否为空。

为什么读不到版本却没有报错？

优先检查是否初始化了 FileVersions，以及读取时是否使用了传给 Config.Check 的那一个 *ast.File。

总结

go/types.Info.FileVersions 的价值在于把“包级默认版本”和“文件级语言版本”区分开。实际接入时固定三步：解析得到 ast.File，用设置了 GoVersion 的 Config.Check 填充 Info，再用同一个 AST 指针读取映射。最后用 go/version 做语义比较，并把类型检查错误和空映射作为独立状态处理。