本文讲解在 Go 源码 AST 解析中，为何不能仅靠 *ast.Ident 名称断言 int 等基础类型，并介绍使用 go/types 包进行语义级类型判定的正确方法。
本文讲解在 go 源码 ast 解析中，为何不能仅靠 `*ast.ident` 名称断言 `int` 等基础类型，并介绍使用 `go/types` 包进行语义级类型判定的正确方法。
在 Go 的抽象语法树（AST）中，ast.TypeSpec.Type 字段描述的是类型声明的语法结构，而非其运行时或语义上的实际类型。例如，type MyInt int 声明中，MyInt 的 AST 节点是 *ast.Ident（值为 "MyInt"），而底层类型 int 并不会直接出现在该节点中；同理，var x int 中的 int 会表现为 *ast.Ident{Name: "int"}，但 var y MyInt 的 AST 完全相同——仅凭 AST 无法区分二者是否等价于预声明的 int。
因此，以下写法看似直观，实则不可靠：
if id, ok := ts.Type.(*ast.Ident); ok {
if id.Name == "int" {
fmt.Println("Found 'int' identifier — but is it really the built-in int?")
}
}
它会在如下场景失效：
- 类型别名或新类型：
type MyInt int→MyInt变量的 AST 是*ast.Ident{Name:"MyInt"}，但底层是int； - 预声明标识符被遮蔽：
type int string; var v int→ 此处v实际类型是string，而非int； - 复合类型中的基础类型：
[]int、map[string]int中的int位于*ast.ArrayType.Elt或*ast.MapType.Value，需递归检查，且仍面临上述语义歧义。
✅ 正确方案：结合 go/types 进行类型检查go/types 包提供类型推导与底层类型（underlying type）、具体类型（concrete type）及可赋值性（assignable）等语义信息。需配合 golang.org/x/tools/go/packages 加载包并进行类型检查：
import (
"go/ast"
"go/types"
"golang.org/x/tools/go/packages"
)
func checkIntType(pkg *packages.Package, ts *ast.TypeSpec) bool {
obj := pkg.TypesInfo.Defs[ts.Name]
if obj == nil || obj.Type() == nil {
return false
}
t := obj.Type()
// 判断是否为预声明的 int 类型（含别名、新类型等价情况）
if types.IsIdentical(t, types.Typ[types.Int]) {
return true
}
// 或更严谨地检查底层类型是否为 int
if u := types.Underlying(t); u != nil {
return types.IsIdentical(u, types.Typ[types.Int])
}
return false
}
使用前需确保已执行类型检查（即 packages.Load 时启用 NeedTypes | NeedTypesInfo）：
cfg := &packages.Config{
Mode: packages.NeedSyntax | packages.NeedTypes | packages.NeedTypesInfo,
}
pkgs, err := packages.Load(cfg, "./...")
if err != nil { panic(err) }
// 然后遍历 ast.Node 并调用 checkIntType
⚠️ 注意事项：
-
go/ast仅处理语法，go/types才处理语义——二者必须协同使用； -
types.IsIdentical()比较的是类型恒等性（包括底层结构与命名），适用于判断是否“真正等价于int”； - 若只需识别字面量
int（不关心语义），可用ast.Inspect递归查找*ast.Ident并匹配名称，但务必注明该方式存在误判风险； - 对于跨文件类型（如
import引入的类型），go/types自动解析依赖，AST 方式无法做到。
总结：AST 是源码的“表层快照”，而 int 的本质含义属于类型系统范畴。要稳健识别基础类型，必须越过语法层，借助 go/types 完成语义分析——这是编写可靠 Go 元编程工具（如代码生成器、静态检查器）的关键实践。
