Go ast.File.GoVersion 为什么没有读取 go.mod 的版本

如果你用 go/parser.ParseFile 读取源码，再查看 ast.File.GoVersion，发现它没有跟着项目的 go.mod 变化，这不是解析失败，而是两个字段本来就属于不同层级。ast.File.GoVersion 只表示当前文件头部构建约束推导出的最低 Go 版本；模块的 go 指令要由模块加载或编译配置读取。

ast.File.GoVersion 记录的不是 go.mod

Go 1.21 起，go/ast.File 增加了 GoVersion 字段。它的来源是文件顶部的构建约束，例如 //go:build go1.23；解析器会把约束表达式转换成最低版本，再写入 AST。文件没有这类约束时，空字符串表示“这个文件没有在源码头声明版本”，不等于“模块版本未知”或“自动读取了最新版本”。

go.mod 的 go 1.23.0 是模块系统的输入，影响模块最低工具链要求和语言特性检查。parser.ParseFile 只接收文件名、源码和解析模式，不会自行向父目录查找 go.mod。这条边界让解析器可以独立处理内存中的单个文件。

从源码构建约束读取 ast.File.GoVersion

只做文件级分析时，直接查看这个字段即可。构建约束要放在 package 声明之前，并用空行和正文分隔：

package main

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

func main() {
    // 构建约束位于文件头，解析器才会把它转换为文件版本。
    src := []byte("//go:build go1.23\n\npackage demo\n")
    file, err := parser.ParseFile(token.NewFileSet(), "demo.go", src, parser.ParseComments)
    if err != nil {
        // 解析失败时不要继续把空版本当成有效结论。
        panic(err)
    }
    fmt.Println(file.GoVersion) // 输出 go1.23
}

这段代码只能回答“文件声明了什么最低版本”。如果源码没有构建约束，结果为空；如果项目的 go.mod 写的是 go 1.23.0，也不会自动变成 go1.23。

需要模块版本时把解析层和加载层分开

工具真正要回答“这个目录所属模块使用什么版本”时，选择与工作量匹配的入口。只需读取文本，就单独解析 go.mod：

package main

import (
    "fmt"
    "os"

    "golang.org/x/mod/modfile"
)

func main() {
    // go.mod 是独立输入，不能从 ast.File 反推。
    data, err := os.ReadFile("go.mod")
    if err != nil {
        panic(err)
    }
    mod, err := modfile.Parse("go.mod", data, nil)
    if err != nil {
        panic(err)
    }
    if mod.Go != nil {
        fmt.Println(mod.Go.Version) // 例如 1.23.0
    }
}

如果还需要 Go 命令实际选择的文件、类型信息和模块替换关系，可以用 golang.org/x/tools/go/packages，并在模式中加入 NeedModule：

cfg := &packages.Config{
    // 需要模块元数据；完整语法分析时再按需加入 NeedSyntax。
    Mode: packages.NeedName | packages.NeedModule,
}
pkgs, err := packages.Load(cfg, ".")
if err != nil || len(pkgs) == 0 || pkgs[0].Module == nil {
    // 标准库、驱动不支持或目录不在模块中时，Module 可能为空。
    return
}
fmt.Println(pkgs[0].Module.GoVersion)

按工具目标建立版本判断清单

实际做版本比较时，先明确比较对象：文件级约束用于判断某个文件能否使用新语法，模块级版本用于解释项目整体的语言语义。两者不一致并不矛盾，例如一个模块可以让某个文件通过 //go:build go1.23 表示更高门槛，也可以让不同文件通过构建约束承担不同版本边界。

常见问题

没有 go.mod 时 ast.File.GoVersion 会报错吗？

不会。解析单个源码文件不要求存在模块文件；没有构建约束时通常只是得到空字符串。

把 go.mod 的版本赋给 ast.File.GoVersion 可以吗？

不建议。这样会丢掉文件级约束的真实含义。应在自己的分析结果中同时保存 fileVersion 和 moduleVersion。

只写了旧式 +build 能读到版本吗？

可以，官方文档把 // +build 也纳入该字段的来源；但新代码通常使用 //go:build。

为什么 go/packages 的 Module 仍可能为空？

加载模式、驱动和目标目录都会影响模块元数据；读取前检查 Module == nil，不要把缺失当作版本为零。