go/ast.ParseFile易panic或返回nil的根本原因是参数配置错误：fset未初始化、文件路径非法、src与mode不匹配或mode缺失ParseComments等关键选项，导致关键字段如f.Decls为nil而引发解引用崩溃。
能直接检测，但必须绕开 go/ast 的默认限制——它不识别 //go:xxx 注释、不解析 go:generate 指令、也不处理未完成的类型定义（如缺失 import 的包）。
为什么 go/ast.ParseFile 一解析就 panic 或返回 nil
根本不是 AST 工具不行，而是你传参没对上。常见错误包括：
-
go/ast.ParseFile(fset, "main.go", srcStr, 0)：如果srcStr是字符串，但第三个参数src非 nil，却漏了parser.Mode（比如没加parser.ParseComments），注释字段全为 nil，后续判空崩溃 -
go/ast.ParseFile(fset, "/path/to/file.go", nil, 0)：路径不存在或权限不足，err非 nil，但你没检查就直接断言*ast.File，触发panic: interface conversion: ast.Node is nil - 源码含非法 UTF-8 字节、语法错误（如少括号、错用泛型尖括号）、或用了尚未被 parser 支持的 Go 版本特性（如某些实验性类型别名写法），
ParseFile返回nil+err，跳过 err 检查等于放弃诊断入口
怎么定位“违规写法”而不是只遍历结构
AST 本身不带规则，要检测违规，得在 ast.Inspect 或自定义 ast.Visitor 中嵌入逻辑判断。关键不是“找到函数”，而是“在函数体里找危险模式”：
- 检测未处理错误：
*ast.CallExpr调用后紧跟;，且左值是*ast.Ident（如err := json.Unmarshal(...)），但下一行不是if err != nil { ... }—— 这需要跨节点上下文，不能只看单个*ast.CallExpr - 检测裸
println：call.Fun.(*ast.Ident).Name == "println"，但注意标准库没有println，它是编译器内置函数，go/ast会把它当作普通标识符，可捕获；而fmt.Println是*ast.SelectorExpr，需额外分支判断 - 检测硬编码密码：
*ast.BasicLit类型为token.STRING，内容匹配"password"、"secret"等关键词，但要注意排除测试用例和文档字符串（得结合node.Pos()查所在行是否在/* ... */或//注释内）
如何安全提取结构体字段和注释
结构体字段名和注释不在同一层级，容易取错：
立即学习“go语言免费学习笔记（深入）”；
-
*ast.StructType.Fields.List是[]*ast.Field，每个*ast.Field的Names是标识符切片：type User struct { Name string }中Name在field.Names[0].Name；但匿名字段如json.RawMessage的Names是空切片，不能直接索引 - 结构体注释存在
*ast.StructType的Doc字段（顶部注释）和Comment字段（行尾注释），但字段注释（如Age int // user age）只存于*ast.Field.Comment，且是*ast.CommentGroup，得用comment.Text()提取原始文本 - 别依赖
field.Type直接转字符串——*ast.StarExpr（指针）、*ast.ArrayType（切片）等类型节点需递归展开，否则fmt.Sprintf("%v", field.Type)输出的是内存地址而非[]string
为什么 go:generate 和 //go:build 注释总被忽略
go/ast 解析器根本不处理 directive comments。它们不会变成 AST 节点，只作为原始文本保留在 *ast.File.Comments 或 *ast.CommentGroup 中。这意味着：
- 你想根据
//go:generate go run gen.go判断是否启用了代码生成？得手动扫描所有*ast.CommentGroup，逐行匹配正则^//go:generate\s+ -
//go:build ignore这类构建约束也不会影响 AST 构建结果——go/ast.ParseFile照样解析，哪怕文件本该被构建系统跳过 - 如果你的规则依赖这些注释（比如“所有生成文件必须含
// Code generated by ...”），就必须把CommentMap和 AST 遍历结果做关联，不能只靠节点类型判断
真正难的不是写遍历逻辑，而是区分“语法合法但语义违规”和“语法错误导致无法构建 AST”。前者要靠上下文推导，后者连 AST 都没有——所有检测必须前置 err 判定，且对 nil 节点保持防御性访问。
