直接调用parser.ParseFile得到*ast.File是唯一入口;必须配齐fset非nil、文件名合法、mode含ParseComments或AllErrors、src非nil且匹配读取方式,缺一即panic。

直接调用 parser.ParseFile 得到 *ast.File,不是“写个解析器”的起点,而是整个流程的唯一入口;漏掉 fset 或忽略 err,后续所有遍历都会崩在第一个 .Name.Name 上。
parser.ParseFile 调用前必须配齐这四样
它不接受“差不多就行”的参数,缺一不可:
-
fset必须非 nil:用token.NewFileSet()创建,它是所有节点位置信息(Pos()/End())的唯一来源,漏了会导致所有定位失效,错误提示变成line 0 - 第二个参数(文件名)可传空字符串
"",但若从磁盘读取,建议传绝对路径;若解析字符串,它只是占位符,不校验存在性 - 第四个参数
mode不能为 nil:要拿注释就得加parser.ParseComments;想容忍语法错误继续解析,加parser.AllErrors -
src决定读取方式:传nil表示按文件路径加载;传字符串(如os.ReadFile结果)则必须非 nil,否则解析器直接跳过
典型 panic 场景:panic: interface conversion: ast.Node is nil, not *ast.File,基本等于你传了非法 UTF-8、空字符串、或没检查 err != nil 就直接用了 f。
遍历函数声明时,为什么 f.Name.Name 总是 panic
因为 *ast.FuncDecl 的字段命名和直觉相反,且大量字段可能为 nil:
立即学习“go语言免费学习笔记(深入)”;
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器,提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象,支持命名依赖等
- 函数名在
f.Name.Name,不是f.Name——后者是*ast.Ident节点,直接取会 panic - 参数列表藏在
f.Type.Params,但它可能是 nil(比如func hello() {}),必须先判空再访问.List - 每个参数是
*ast.Field,名字在field.Names([]*ast.Ident),匿名参数(如func(int))该切片为空,取[0]必 panic -
f.Doc是函数上方的注释,但f.Comments是整个文件的注释列表,且仅当mode含parser.ParseComments才非 nil
别手写递归遍历 f.Decls,优先用 ast.Inspect,它自动覆盖 *ast.FuncDecl、*ast.GenDecl、*ast.TypeSpec 等所有节点类型,避免漏掉接口或常量声明。
提取字符串字面量时,别碰 Value 字段
ast.BasicLit 节点的 Value 是只读快照,改了不影响输出,也不触发重格式化:
- 识别字符串得判断
node.Kind == token.STRING,再用strconv.Unquote(node.Value)解析真实内容(含\n、\u4f60等转义) - 替换必须构造新节点:
&ast.BasicLit{Kind: token.STRING, Value: strconv.Quote(newStr)},然后更新其父节点对应字段(如ast.ExprStmt.X、ast.ReturnStmt.Results) - 父节点类型多样,需动态判断;
ast.Inspect回调里返回false可跳过子树,但替换动作必须发生在“进入节点前”或“离开节点后”,否则父引用已固定 - 输出修改后代码必须走
go/format.Node或go/printer.Fprint,且所有节点的Pos/End必须有效,否则 panic 或乱码
为什么 ast.Inspect 比手写 switch 更可靠
手动写 switch node.(type) 容易漏掉新版本新增节点类型(比如 Go 1.18 加的 ast.TypeSpec 中的 TypeParams),而 ast.Inspect 是官方推荐的通用遍历方式:
- 回调函数接收
ast.Node指针,返回bool控制是否继续深入子树(比如找到第一个main就停) - 它不保证顺序,也不保证同一节点只访问一次(如
ast.Ident在表达式和类型中反复出现),逻辑要幂等 - 它不能改 AST——所有节点都是只读副本;真要重写代码,得用
golang.org/x/tools/go/ast/astutil或手动生成新节点 - 需要上下文(比如当前在哪个函数里)?自己维护栈结构,
Inspect不提供作用域信息
最常被忽略的是:AST 节点没有实现 ==,在回调里对 node 做指针比较(如 node == someNode)会恒为 false。

















