安全解析Go源码需用token.NewFileSet()创建fset，os.ReadFile读取非空src，parser.ParseFile传parser.ParseComments模式并校验err；ast.Inspect可覆盖ValueSpec、AssignStmt等全部变量声明节点，但须防nil和类型断言panic。
直接用 ast.Inspect 配合类型断言就能检测变量声明和使用，但必须防 nil、带 token.FileSet、设对 parser.Mode，否则一跑就 panic 或漏掉关键节点。
怎么安全解析源码字符串并提取变量声明
传字符串进 parser.ParseFile 不是把代码丢进去就完事——它不校验 UTF-8、不跳过 BOM、也不自动建 token.FileSet。漏掉任一环节，file 就是 nil，后续所有 .Pos() 返回 0，ast.Inspect 直接 panic。
-
fset必须非nil：用token.NewFileSet()创建，别复用旧的（位置信息错乱） -
src要非空：比如os.ReadFile("main.go")的返回值，不是路径字符串 -
mode至少带parser.ParseComments：否则GenDecl.Doc为空，注释里埋的变量说明就丢了 - 必须检查
err != nil：BOM、CRLF/LF 混用、语法错误都会导致err非nil，file为nil
正确示例：
fset := token.NewFileSet()
src, _ := os.ReadFile("config.go")
file, err := parser.ParseFile(fset, "", src, parser.ParseComments)
if err != nil {
log.Fatal(err) // 别忽略！
}
// 此时 file 才可安全遍历
为什么 ast.Inspect 是变量检测首选，而不是遍历 Decls
只遍历 *ast.File.Decls 看似简单，但会漏掉大量变量相关节点：
立即学习“go语言免费学习笔记（深入）”；
Golang Spf13 Viper
下载
Go 配置库，使用 spf13/viper — 分层优先级（flag > env >file > KV > default），提供 BindPFlag/BindPFlags、SetEnvPrefix + SetEnvKeyReplace 等功能。
-
var x = func() {}中的闭包是*ast.FuncLit，不在Decls里 -
for i := range xs的i是隐式声明，藏在*ast.RangeStmt字段中 - 结构体字段
type T struct { name string }的name在*ast.StructType.Fields，不经过GenDecl根本碰不到 -
switch v := x.(type)中的v是*ast.TypeSwitchStmt的Assign字段，不是顶层声明
ast.Inspect 自动覆盖全部节点类型，包括 *ast.ValueSpec（显式变量声明）、*ast.AssignStmt（赋值引入）、*ast.RangeStmt（range 声明）、*ast.TypeSwitchStmt（type switch 声明）等。
如何在 Inspect 回调里安全识别变量名和作用域
回调函数签名是 func(ast.Node) bool，返回 false 可立即中断。但类型断言和字段访问极易 panic：
- 判断变量声明用
if vs, ok := node.(*ast.ValueSpec); ok，不是*ast.GenDecl——后者只是容器，真正名字在vs.Names切片里 -
vs.Names可能为空（如var _ int），取[0]前必须len(vs.Names) > 0 - 赋值语句中的新变量（如
a, b := 1, 2）要查*ast.AssignStmt的Lhs，且只认:=（=不引入新变量） -
*ast.RangeStmt的Key和Value字段才是被声明的变量名，但它们是ast.Expr类型，需再断言为*ast.Ident - 别依赖
node.Pos()定位——若没传fset或err没检查，它恒为 0
变量类型信息为什么不能从 AST 直接拿到
go/ast 只负责语法层，不包含类型信息。例如 var x = bytes.NewBuffer(nil)：
-
*ast.Ident节点的Obj字段指向*ast.Object，但它只存名字和作用域，不存*bytes.Buffer这种类型 - 要得到真实类型，必须用
golang.org/x/tools/go/types做全项目类型检查，加载包、构建类型环境、查types.Info.Types[node].Type - 单文件解析 + AST 遍历只能回答“这里声明了什么变量”，不能回答“这个变量实际是什么类型”
真正做变量检测时，AST 层只管“有没有声明、在哪声明、是否重复”，类型推导、跨包引用、方法调用链这些，得交出去给 go/types。
