安全调用 parser.ParseFile 需创建非 nil token.FileSet、传入非空字节源码、启用 parser.ParseComments 模式，并严格检查 err；ast.Inspect 是唯一覆盖全节点类型的遍历方式；类型信息需借助 go/packages 加载并解析，struct tag 需清洗后交 reflect.StructTag 处理。
怎么安全调用 parser.ParseFile 解析源码字符串
直接传字符串进 parser.ParseFile 不等于“把代码丢进去就完事”——它不校验 UTF-8、不跳过 BOM、不自动建 token.FileSet，漏掉任一环节，file 就是 nil，后续所有 .Pos() 返回 0，ast.Inspect 一跑就 panic。
必须显式满足这四点：
-
fset必须是token.NewFileSet()创建的非nil值；复用旧fset会导致位置信息错乱 -
src参数不能为nil（内存解析模式下）；若用os.ReadFile("x.go")，得确保返回值非空且无错误 -
mode至少含parser.ParseComments（否则f.Doc永远为空）；容忍语法错误需额外加parser.AllErrors - 必须检查
err != nil：CRLF/LF 混用、非法 Unicode、注释嵌套等都可能让err非空，此时file == nil
典型错误：panic: interface conversion: ast.Node is nil, not *ast.FuncDecl，基本等于你没判 err 就直接用了 file。
为什么必须用 ast.Inspect 而不是手写递归遍历
手写递归看似可控，但实际会系统性漏节点：比如 func() {} 是 *ast.FuncLit，不在 *ast.File.Decls 里；switch 的 fallthrough 在 *ast.CaseClause.Body 中；type T struct{ f int } 的字段藏在 *ast.StructType.Fields，不走 *ast.GenDecl 根本碰不到。
立即学习“go语言免费学习笔记（深入）”；
ast.Inspect 是唯一能覆盖全部节点类型的遍历方式，包括 *ast.FuncLit、*ast.CompositeLit、*ast.TypeSpec 这些冷门但高频结构。它的回调签名是 func(ast.Node) bool，返回 false 可立即中断（如只找第一个 main），且自动跳过所有 nil 字段，避免手写时因 f.Type.Params == nil 导致 panic。
别在回调里改节点：AST 是只读副本，改了无效，还可能干扰后续遍历逻辑。
ast.Inspect 回调里怎么安全提取函数信息
字段命名和语义脱节是高频崩溃点，必须带防御性判断：
- 函数名在
f.Name.Name，不是f.Name——后者是*ast.Ident节点，未判空就取.Name必崩 -
f.Type.Params和f.Type.Results可能为nil（如func hello() {}），不是空切片，必须先if f.Type.Params != nil再访问.List - 参数是
*ast.Field，名字在field.Names（[]*ast.Ident）；匿名参数（如func(int)）该切片为空，取[0]必 panic -
f.Doc仅当mode含parser.ParseComments才非nil；f.Comments是整个文件注释列表，不是函数专属
类型断言必须带 ok 判断：if f, ok := node.(*ast.FuncDecl); ok { ... }，否则遇到 *ast.FuncLit（闭包）会静默跳过，而不是 panic。
什么时候必须放弃 go/ast，转向 go/types
AST 只管语法，不管类型。比如 x := bytes.NewBuffer([]byte{})，*ast.Ident 节点的 Obj 字段只指向声明，不告诉你 x 实际是 *bytes.Buffer；textToContain.String() 调用哪个方法、是否实现某个接口、跨包符号怎么解析——这些全靠 go/types 推导。
要真正做静态分析（如错误未处理检测、接口实现检查、结构体字段递归展开），必须用 golang.org/x/tools/go/packages 加载包，再通过 types.Info 获取语义映射。它自动解析 import、链接跨包对象、推导表达式类型，且内置缓存与导入器，开箱即用。
最容易被忽略的一点：即使 err == nil，file.Decls 也可能为 nil（空文件或严重语法错误时），而 ast.Inspect 对 nil 节点不做防护，直接 panic。类型检查阶段的容错和上下文补全，才是生产级分析工具的分水岭。
