Go types.Info.FileVersions 按源文件区分 Go 语言版本的读取方法

如果你在写 Go 静态分析器，需要知道“这个源文件按哪个 Go 语言版本解释”，不要只看包级版本或运行时版本。类型检查完成后，直接从 types.Info.FileVersions 读取：键是参与检查的原始 *ast.File，值是形如 go1.22 的版本字符串；文件没有单独版本时，结果回退到 types.Config.GoVersion。

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

FileVersions 的读取边界

FileVersions 是 Go 1.22 起由 go/types.Info 暴露的字段，专门保存逐文件版本。它与包级版本不是同一个粒度：同一个包里的文件可以因为 //go:build 或旧式 // +build 约束而拥有不同的最低语言版本。

因此，读取时应把“文件没有独立声明”和“工具不知道有效版本”分开处理。不要用 runtime.Version() 替代它：运行时版本描述的是执行工具的编译器环境，不是被分析文件声明的语言版本。

先准备 FileVersions map 再执行类型检查

关键顺序只有两步：解析所有文件，初始化 Info.FileVersions，再把这份 Info 传给 Config.Check。下面的示例同时准备一个带构建约束的文件和一个没有文件版本声明的文件；代码是静态示例，图示也只表达对象关系，不代表运行截图。

package main

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

func main() {
	fset := token.NewFileSet()
	inputs := []struct {
		name string
		src  string
	}{
		{"legacy.go", "package sample\n\nvar Legacy = 1\n"},
		// 构建约束写在文件头，parser 会把最低版本记录到 ast.File.GoVersion。
		{"modern.go", "//go:build go1.22\n\npackage sample\n\nvar Modern = min(1, 2)\n"},
	}

	files := make([]*ast.File, 0, len(inputs))
	fileNames := make(map[*ast.File]string, len(inputs))
	for _, input := range inputs {
		// 保留注释，才能让文件头的构建约束参与 AST 版本信息。
		file, err := parser.ParseFile(fset, input.name, input.src, parser.ParseComments)
		if err != nil {
			log.Fatal(err) // 解析失败时不要读取不完整的版本映射。
		}
		files = append(files, file)
		fileNames[file] = input.name // 记录原始指针，后面用它查询 map。
	}

	info := &types.Info{
		FileVersions: make(map[*ast.File]string), // 必须在 Check 前分配。
	}
	conf := types.Config{
		GoVersion: "go1.23", // 没有文件版本声明时的回退值。
	}
	if _, err := conf.Check("sample", fset, files, info); err != nil {
		log.Fatal(err) // 类型错误可能让收集到的信息不完整。
	}

	// map 遍历无序，按文件名排序后再展示，便于日志和测试稳定比较。
	ordered := make([]*ast.File, 0, len(info.FileVersions))
	for file := range info.FileVersions {
		ordered = append(ordered, file)
	}
	sort.Slice(ordered, func(i, j int) bool { return fileNames[ordered[i]]  %s\n", fileNames[file], info.FileVersions[file])
	}
}

按原始 AST 指针输出版本并处理回退

上面的 fileNames map 很重要：FileVersions 不是按字符串文件名索引，而是按 *ast.File 索引。若把同一个文件重新解析一次，即使文件名和文本完全一样，新 AST 指针也不会命中原 map。

带 //go:build go1.22 的 modern.go 会优先体现文件自身版本；没有文件版本声明的 legacy.go 则使用 Config.GoVersion。输出顺序由我们额外按文件名排序，和类型检查内部的文件处理顺序是两回事。

常见误区与落地清单

1. 只给 Types 或 Defs 分配 map。这些 map 不会自动替代 FileVersions，要显式初始化目标字段。若工具还需要表达式类型，可以同时初始化 Types，但不要漏掉版本 map。

2. 把空配置当成 go1.23。Config.GoVersion 为空时会关闭语言版本检查，不能据此推导一个具体版本。面向模块分析时，应从加载器或模块配置传入真实的包版本。

3. 忽略类型错误仍宣称结果完整。官方文档明确提醒：存在类型错误时，Info 收集的信息可能不完整。静态分析器可以继续展示已收集的版本，但应把检查错误保留给调用方。

4. 用版本字符串做文本比较。go1.10 与 go1.9 的字典序会误导判断。读取后交给 go/version 的版本比较函数，或复用官方工具链的版本处理逻辑。

相关问题

FileVersions 为空时最先查什么？

先确认 Info.FileVersions 是否在 Check 前初始化，再确认传入的是同一批 *ast.File；随后检查 Config.GoVersion 是否为空以及类型检查是否返回错误。

为什么不直接读取 ast.File.GoVersion？

ast.File.GoVersion 只代表文件自身构建约束推导出的版本。FileVersions 还纳入了没有文件声明时的配置回退，更适合在类型检查结果上统一消费。

FileVersions 能代表编译器运行版本吗？

不能。它描述源文件采用的语言版本；编译器或分析工具本身的版本是另一条信息，二者不要混为一个兼容性结论。