Golang ast实现代码检查的方法-Golang-PHP中文网

因为正则无法可靠识别嵌套作用域、泛型参数等结构化语法，而ast能准确还原binaryexpr、parenexpr等节点，支持深度遍历与类型断言，兼顾鲁棒性、可维护性与扩展性。

golang ast实现代码检查的方法

为什么用 `ast` 而不是正则或字符串匹配

因为 Go 源码是结构化语法树，正则无法可靠识别嵌套作用域、类型别名、泛型参数或带括号的表达式。比如 fmt.Println((a + b) * c) 中的括号层级，正则容易误判；而 ast 能准确还原为 BinaryExpr 节点，左操作数是括号包裹的 ParenExpr。一旦依赖字符串扫描，遇到注释、换行、空格变化就失效——这不是“能跑就行”，而是根本不可维护。

`go/ast` + `go/parser` 的最小可行检查流程

核心就是三步：读文件 → 解析成 AST → 遍历节点做断言和检查。不需要引入 golang.org/x/tools/go/analysis 这类重型框架，简单检查直接上手更轻量。

用 parser.ParseFile 读取单个 .go 文件，注意传 parser.ParseComments 标志，否则注释节点为空
调用 ast.Inspect 遍历整棵树，它会深度优先访问每个节点，返回 bool 控制是否继续向下（比如已找到问题可提前退出）
在回调函数里用类型断言判断节点类型，例如 if expr, ok := node.(*ast.CallExpr); ok { ... }，再检查 expr.Fun 是否为 *ast.Ident 且名字是 "log.Fatal"

示例：检查是否用了 panic 直接调用

Golang Samber Hot

在 Golang 中使用 samber/hot 进行内存缓存，支持 LRU、LFU、TinyLFU、W‑TinyLFU、S3FIFO、ARC、TwoQueue、SIEVE、FIFO 等淘汰算法，提供 TTL、缓存加载器及分片功能。

下载

ast.Inspect(f, func(node ast.Node) bool {
    if call, ok := node.(*ast.CallExpr); ok {
        if ident, ok := call.Fun.(*ast.Ident); ok && ident.Name == "panic" {
            fmt.Printf("found panic at %s\n", ident.Pos())
        }
    }
    return true
})

常见误判点：`ast.Ident` 和 `ast.SelectorExpr` 的区别

写检查逻辑时最容易漏掉包限定调用。比如 errors.New 不是 *ast.Ident，而是 *ast.SelectorExpr，它的 X 是 *ast.Ident（errors），Sel 才是 New。如果只断言 *ast.Ident，就会漏掉所有带点号的调用。

要覆盖全场景，必须同时检查 *ast.Ident（如 panic）和 *ast.SelectorExpr（如 log.Fatal）
对 *ast.SelectorExpr，还要确认 X 是包名而非变量名，可通过 types.Info 获取类型信息，但若不引入 go/types，可退而求其次：检查 X 是否为 *ast.Ident 且该标识符在文件顶部有 import 声明（需额外解析 ast.File.Imports）
泛型代码中，foo.Bar[int] 会被解析为 *ast.IndexExpr，其 X 是 *ast.SelectorExpr，不能只停在 SelectorExpr 层级