Go go/types.Alias 怎样读取类型别名的右侧类型

做 Go 静态分析时，我遇到过一个很容易误判的类型分支：源码里写的是 type UserID = string，但类型检查结果并不一定只给你一个可以按 *types.Named 处理的对象。需要保留“别名右侧写了什么”时，应先识别 *types.Alias，再用 Alias.Rhs() 读取右侧类型；如果只关心最终底层对象，则使用 types.Unalias。

记住两个目的：Rhs() 保留别名声明关系，types.Unalias() 沿着别名链剥到第一个非别名类型。不要为了得到 string 而丢掉别名信息，也不要把 Alias 误判成 Named。

官方地址：https://pkg.go.dev/go/types#Alias.Rhs

先判断类型检查器会不会保留 Alias

从 Go 1.23 开始，go/types 默认会为类型别名生成 Alias 类型节点；Go 1.22 时代可以通过 GODEBUG=gotypesalias=1 开启这套表示。Go 1.27 起则不再依赖这个开关。值班式排查时，先记录工具链版本和 gotypesalias 设置，避免同一分析器在不同环境出现不同类型分支。

从包作用域找到别名对象

下面的最小片段只展示取数路径：先解析源码，再运行类型检查，最后从包作用域找到 TypeName。示例中的打印是文章代码的预期表达，不是运行截图。

package main

import (
	"fmt"
	"go/ast"
	"go/importer"
	"go/parser"
	"go/token"
	"go/types"
)

func main() {
	const source = `package sample
type UserID = string
type ExternalID = UserID`

	fset := token.NewFileSet()
	file, err := parser.ParseFile(fset, "sample.go", source, 0)
	if err != nil {
		// 解析失败时不要继续读取不完整的类型结果。
		panic(err)
	}

	info := &types.Info{Defs: map[*ast.Ident]types.Object{}}
	conf := types.Config{Importer: importer.Default()}
	pkg, err := conf.Check("sample", fset, []*ast.File{file}, info)
	if err != nil {
		// 类型错误仍可能产生部分结果；生产分析器应记录并决定是否降级。
		fmt.Println("type check:", err)
	}

	obj := pkg.Scope().Lookup("ExternalID")
	typeName, ok := obj.(*types.TypeName)
	if !ok {
		// 找不到 TypeName 时，说明输入不是预期的包级类型声明。
		panic("ExternalID is not a type name")
	}

	alias, ok := typeName.Type().(*types.Alias)
	if !ok {
		// 兼容旧工具链或关闭 Alias 表示的环境，不能假定一定成功。
		fmt.Printf("not an Alias: %T\n", typeName.Type())
		return
	}

	fmt.Println("Rhs:", alias.Rhs())
	fmt.Println("Unalias:", types.Unalias(alias))
}

这里最关键的不是 Lookup，而是最后的类型断言。TypeName.Type() 返回的是 types.Type 接口；只有在当前类型检查配置保留别名节点时，它才会落到 *types.Alias。因此，兼容性分支应明确记录，而不是静默把 Alias 当成 Named。

Rhs 和 Unalias 解决的是两件事

假设存在 type UserID = string 与 type ExternalID = UserID，ExternalID 的 Rhs() 表示声明中直接写出的 UserID；它可能仍然是另一个 Alias。types.Unalias(alias) 才会沿着这条链继续走，直到返回第一个非 Alias 类型。

可以按下面的规则决定调用哪个 API：

• 生成诊断、重写提示或保留源码语义：读取 Alias.Rhs()。
• 比较类型是否最终相同：先调用 types.Unalias，再按需要判断 *types.Named、*types.Basic 等具体类型。
• 统计别名层数：沿着 *types.Alias 重复读取 Rhs()，同时设置上限，避免异常输入造成无界遍历。

生产分析器的回退与复查

如果分析器在 Go 1.22 或旧缓存上运行，类型结果可能直接表现为右侧类型。复查时按三个信号判断：第一，日志里的工具链版本是否和开发机一致；第二，GODEBUG 是否改变了 gotypesalias；第三，代码是否只写了 *types.Named 分支。若第三项成立，先补 Alias 分支，再决定是否用 Unalias 维持旧行为。

func finalType(t types.Type) types.Type {
	// 只在需要比较最终类型时展开别名，保留原值给诊断层使用。
	return types.Unalias(t)
}

func describe(t types.Type) string {
	if alias, ok := t.(*types.Alias); ok {
		// Rhs 用于说明源码声明，不等价于最终底层类型。
		return fmt.Sprintf("alias rhs=%s final=%s", alias.Rhs(), finalType(t))
	}
	// 非 Alias 类型直接进入原有描述逻辑。
	return fmt.Sprintf("type=%s", t)
}

回滚也很简单：如果下游只接受旧的最终类型，就让边界层统一调用 types.Unalias；如果下游需要提示用户“别名指向了什么”，则把原始 types.Type 和展开后的类型同时传递，避免在入口处过早丢信息。

常见问题

为什么不能只用 *types.Named 判断类型名？

Alias 和 Named 都有名称，但语义不同：Named 定义了新类型，Alias 只是给既有类型增加另一个名字。把 Alias 当作 Named 会让重写器、文档生成器和类型统计器丢失声明关系。

Rhs() 返回的就是最终底层类型吗？

不一定。右侧本身可以还是另一个别名。需要最终非别名类型时使用 types.Unalias；需要保留每一层源码声明时才沿着 Rhs() 逐层读取。

小结

排查 go/types 结果时，先确认 Alias 表示，再从 TypeName 取得 *types.Alias。Rhs() 服务于声明语义，Unalias() 服务于最终类型比较；把两条路径分开，静态分析器就能同时兼容旧环境和保留别名信息。