Go go/ast.Inspect 不生效怎么办

调用 go/ast.Inspect 后完全没有输出，最常见的原因不是遍历函数失效，而是问题出在它的输入或回调判断上：解析错误被忽略、回调只匹配了另一种节点、父节点返回了 false，或者把遍历结束时的 nil 回调当成了异常。

排查时先把根节点、解析错误、节点类型和位置打印出来，再逐步恢复筛选逻辑。下面的示例只使用标准库，适合排查“能不能遍历”和“为什么没有命中目标节点”这两类问题。

先确认 ParseFile 真的给出了根节点

Inspect 接收的是一个 ast.Node，通常这个节点来自 parser.ParseFile。如果先忽略 err，再直接把可能不完整甚至为空的结果传给遍历，后面的现象就很难判断。第一步应该保留文件集、文件节点和错误状态：

package main

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

func main() {
    src := `package demo

func Add(a, b int) int {
    return a + b
}`

    fset := token.NewFileSet()
    // ParseFile 负责把源代码变成 AST；先保留错误，避免空根节点被误判为 Inspect 失效。
    file, err := parser.ParseFile(fset, "demo.go", src, parser.ParseComments)
    if err != nil {
        // 解析错误可能伴随部分 AST；是否继续要由调用方明确决定。
        fmt.Printf("parse error: %v\n", err)
    }
    if file == nil {
        // 根节点为空时不能继续调用 ast.Inspect。
        return
    }

    count := 0
    ast.Inspect(file, func(node ast.Node) bool {
        if node == nil {
            // 子树遍历结束时会收到一次 nil，它不是一个可打印的 AST 节点。
            return true
        }
        count++
        // 先打印真实类型，确认回调确实进入，再增加更窄的类型筛选。
        fmt.Printf("%T at %s\n", node, fset.Position(node.Pos()))
        return true // true 才会继续访问当前节点的子节点。
    })
    fmt.Printf("visited=%d\n", count)
}

这里的关键不是打印多少行，而是把问题拆成两层：如果连 *ast.File 都没有看到，就回头看解析输入和错误；如果能看到节点类型，说明 Inspect 已经工作，接下来只需要修正回调内的匹配条件。

回调执行了，但类型筛选可能没有命中

AST 中一个看似简单的语句往往由多个节点组成。例如 fmt.Println("ok") 会包含表达式语句、调用表达式、选择器、标识符和基本字面量。只判断某一个类型时，目标节点可能根本不是你以为的那一层。

ast.Inspect(file, func(node ast.Node) bool {
    if node == nil {
        // nil 表示当前子树已经走完，不要对它做类型断言或读取位置。
        return true
    }

    switch n := node.(type) {
    case *ast.CallExpr:
        // CallExpr 表示一次调用；函数名可能还要继续查看 Fun 字段。
        fmt.Printf("call at %s\n", fset.Position(n.Pos()))
    case *ast.SelectorExpr:
        // fmt.Println 中的 Println 是 SelectorExpr 的 Sel，不是 CallExpr 的直接名称。
        fmt.Printf("selector=%s at %s\n", n.Sel.Name, fset.Position(n.Sel.Pos()))
    case *ast.Ident:
        // Ident 覆盖变量、函数和选择器中的名称，不能单独当作调用判断。
        fmt.Printf("ident=%s at %s\n", n.Name, fset.Position(n.Pos()))
    }
    return true // 当前只做观察，不剪掉任何子树。
})

如果这段代码有输出，但你的业务条件没有输出，问题就在“命中规则”而不是 Inspect。尤其不要用 *ast.Ident 的名字直接推断它一定是函数调用；需要更强语义时，要结合父节点结构或类型检查结果。

return false 会让整棵子树看起来消失

Inspect 的回调返回值控制是否继续向下走。返回 true 才会访问当前节点的非空子节点；返回 false 会主动跳过当前节点下面的全部内容。这是设计出来的剪枝能力，不是错误状态。

ast.Inspect(file, func(node ast.Node) bool {
    if node == nil {
        // 当前分支已经结束；这里返回值不会重新打开已经结束的子树。
        return true
    }

    if _, ok := node.(*ast.FuncDecl); ok {
        // 只想记录函数声明但还要看函数体时，不能在这里返回 false。
        fmt.Println("function declaration")
    }
    if _, ok := node.(*ast.BasicLit); ok {
        // 这个分支只是示例：命中字面量后返回 false 会跳过它的后代。
        return true
    }
    return true
})

一个容易忽略的细节是：当回调收到 nil 时，它表示前一个节点的子树已经遍历完成。官方实现会在子节点处理完后再调用一次 f(nil)，所以回调中必须先判断 node == nil，否则日志里的“最后一次空值”会被误解为遍历中断。

位置输出必须使用同一个 FileSet

ast.Node 的 Pos 和 End 不是直接携带行列号的字符串，而是需要交给创建 AST 时使用的 token.FileSet 转换。如果换了一个新的 FileSet，输出可能出现错误文件名、异常行号，进而让人以为节点没有被找到。

func printNodePosition(fset *token.FileSet, node ast.Node) {
    if node == nil {
        // nil 是遍历收尾事件，没有位置可供转换。
        return
    }
    start := fset.Position(node.Pos())
    end := fset.Position(node.End())
    // 同一个 FileSet 同时解释起止位置，避免文件映射不一致。
    fmt.Printf("%s: %s-%s\n", start.Filename, start, end)
}

排查时可以先只输出 fset.Position(node.Pos())，确认文件名和行号稳定后，再加入业务节点筛选。不要把位置异常和遍历异常混在一起处理。

Inspect 能遍历语法树，但不会替你做类型检查

ast.Inspect 解决的是“按深度优先访问哪些语法节点”。它不会告诉你一个标识符最终绑定到哪个对象，也不会自动推导表达式的静态类型。如果文章中的“找不到函数”其实是“找不到它指向的声明”，就需要在 AST 遍历之外使用 go/types 或加载包信息。

可以按下面的边界选择工具：

一份最小排查清单

1. 是否检查了 parser.ParseFile 的错误，以及 file 是否为空？
2. 是否先打印过 %T，确认回调确实收到节点？
3. 类型断言是否匹配实际 AST 层级，例如 CallExpr、SelectorExpr 和 Ident 是否混淆？
4. 是否在父节点上意外返回了 false，导致目标子树没有进入？
5. 是否把 node == nil 的正常收尾事件当成了异常？
6. 打印位置时是否一直使用解析时的同一个 token.FileSet？
7. 需求究竟是语法遍历，还是需要符号绑定和类型信息？

相关问题

为什么 Inspect 的回调会收到 nil？

这是一个子树完成后的收尾通知。它不是 AST 节点，不能读取 Pos，也不代表遍历失败。

return false 会停止整个 Inspect 吗？

不会。它只剪掉当前节点的子树，遍历会回到上层继续处理其它分支。

只用 Inspect 能找到变量的真实类型吗？

不能。Inspect 只能访问语法结构；需要名称绑定、作用域或静态类型时，应把 AST 与 go/types 配合使用。

所以，遇到“go/ast.Inspect 不生效”，先不要更换库。保留解析错误，打印节点类型，暂时让回调统一返回 true，再确认 nil 收尾和 FileSet 位置语义，通常就能很快定位到真正的断点。