如何使用Golang ast获取变量类型信息-Golang-PHP中文网

ast.inspect 拿不到变量实际类型，因 ast 包仅处理语法树，不进行类型推导；需联合 go/types 包，通过 types.info.types 映射 ast 表达式节点到具体类型。

如何使用golang ast获取变量类型信息

为什么 `ast.Inspect` 拿不到变量的实际类型

因为 Go 的 ast 包只处理语法树，不涉及类型检查——它看到的是 var x int 里的 int 字面量，但无法知道 x 在泛型函数中被推导为 string，也无法识别 var y = 42 实际是 int 还是 int64（取决于上下文）。真正类型信息必须靠 types.Info 配合 go/types 包。

用 `go/types` + `ast` 联合获取变量类型

核心流程是：先用 parser.ParseFiles 构建 AST，再用 types.NewChecker 对同一文件做类型检查，最后通过 types.Info.Types 映射回 AST 节点。

types.Info.Types 是 map[ast.Expr]types.TypeAndValue，键是 AST 表达式节点（比如 *ast.Ident），值含 Type 字段
对变量声明语句（*ast.AssignStmt 或 *ast.GenDecl），需遍历其 Lhs 或 中的 <code>*ast.Ident，再查 types.Info.Types
注意：只有已定义且可导出的标识符才在 Types 中有记录；未使用的局部变量可能缺失

// 示例：获取 var x = "hello" 中 x 的类型
ident := node.(*ast.Ident)
if tv, ok := info.Types[ident]; ok {
    fmt.Printf("%s → %s\n", ident.Name, tv.Type.String()) // → string
}

`ast.TypeSpec` 和 `ast.AssignStmt` 的处理差异

显式类型声明（var x int）和隐式推导（var x = 1）在 AST 中结构不同，但类型信息来源一致——都依赖 types.Info.Types，而非 AST 自身。

Golang Spf13 Viper

Go 配置库，使用 spf13/viper — 分层优先级（flag > env >file > KV > default），提供 BindPFlag/BindPFlags、SetEnvPrefix + SetEnvKeyReplace 等功能。

下载

*ast.TypeSpec（如 type MyInt int）的 Name 在 types.Info.Defs 中，对应 *types.TypeName，其 Type() 返回底层类型
*ast.AssignStmt 的左值 Lhs 是 []ast.Expr，需逐个断言为 *ast.Ident 后查 info.Types
*ast.GenDecl（var/const/type 块）需遍历 Specs，对 *ast.ValueSpec 取 Names 并查类型

常见坑：类型字符串不直观、泛型和接口处理难

tv.Type.String() 输出如 main.T 或 func(int) string，但不会自动展开别名或接口方法集；更麻烦的是泛型实例化后的类型（如 slice[int]）在旧版 Go 中可能显示为 []int，丢失泛型信息。

用 types.TypeString(tv.Type, nil) 可控制格式，但无法还原源码写法（比如 type T = []int 总显示为 []int）
接口类型需调用 tv.Type.Underlying().(*types.Interface).ExplicitMethod() 才能拿到方法，直接 String() 只输出 interface{...}
泛型参数类型要检查 tv.Type 是否为 *types.Named，再调用 Origin() 和 TypeArgs() 获取实参