Go types.Interface 怎样枚举嵌入的约束类型

在 Go 的源码分析工具中，如果手里已经有一个 *types.Interface，想枚举它显式嵌入的约束类型，最稳妥的兼容写法是先调用 NumEmbeddeds()，再用索引读取 EmbeddedType(i)。这个 API 返回的是任意 types.Type，因此既能处理命名接口，也能保留泛型约束里的 *types.Union。

使用 Go 1.24 或更新版本时，还可以直接遍历 EmbeddedTypes()。它让遍历代码更自然，但如果工具需要兼容更早的 Go 版本，仍应把索引写法作为基础实现。

官方 API 地址：https://pkg.go.dev/go/types#Interface

枚举嵌入约束时，读取的是 Interface 的“显式嵌入类型集合”，不是合并后的方法集合，也不是最终可以实例化的全部类型集合。先选对 API，再决定是否继续拆解 Union。

先分清嵌入类型、方法和类型集

go/types.Interface同时描述接口方法和类型约束，这三个概念的数量并不相同。接口可能没有显式方法，却嵌入了一个类型联合；也可能声明了方法，同时嵌入另一个接口。NumMethods()统计的是方法，不适合拿来枚举约束。

这个区分很重要。比如 interface{ ~int | ~string } 的重点是类型集合中的联合项，而不是某个命名接口的方法；如果直接遍历方法，得到的可能是空结果。

用索引枚举任意嵌入类型

面向 Go 1.18 及更早的通用代码，可以围绕 NumEmbeddeds 和 EmbeddedType 写一个小函数。返回值保留为 types.Type 的字符串表示，不要一开始就断言为 *types.Named，否则联合约束会被误判。

package inspect

import "go/types"

// ListEmbeddedTypes 按 Interface 保存的顺序收集显式嵌入项。
func ListEmbeddedTypes(iface *types.Interface) []string {
	if iface == nil {
		return nil // 中文注释：调用方没有拿到接口时，返回空结果而不是解引用 nil。
	}

	result := make([]string, 0, iface.NumEmbeddeds())
	for i := 0; i 

EmbeddedType(i) 的合法索引范围是 0 。调用方如果自己保存索引，应在同一份接口对象上使用，避免把另一个接口的数量和当前索引混用。

Go 1.24 用 EmbeddedTypes 直接遍历

Go 1.24 为 Interface 增加了 EmbeddedTypes()，返回一个可用于 range 的 iter.Seq[types.Type]。它适合把“枚举所有嵌入项”表达成一个连续动作，尤其适合和同一版本新增的 Methods()、ExplicitMethods() 迭代器保持风格一致。

package inspect

import "go/types"

// PrintEmbeddedTypes 输出每个嵌入项的类型文本。
func PrintEmbeddedTypes(iface *types.Interface) {
	if iface == nil {
		return // 中文注释：没有接口对象时不进入迭代器。
	}
	for embedded := range iface.EmbeddedTypes() {
		if embedded == nil {
			continue // 中文注释：异常类型信息不影响其余嵌入项的输出。
		}
		println(embedded.String()) // 中文注释：String 保留 Union 等类型的整体表达。
	}
}

这段写法的版本要求要写清楚：方法本身是 Go 1.24 API，而函数值迭代形式依赖 Go 1.23 引入的 range-over-function 能力。需要支持更早工具链时，使用上一节的索引循环；不建议为了省几行代码把最低版本强行抬高。

遇到联合约束时保留 types.Type

接口中的联合约束在 go/types 中由 *types.Union 表示。EmbeddedType(i) 返回的是这个 Union 作为一个嵌入项，而不是自动把它变成若干个互不相关的字符串。这样做可以保留“这些项属于同一个联合约束”的结构。

package inspect

import "go/types"

// DescribeConstraint 区分联合约束和普通嵌入类型。
func DescribeConstraint(typ types.Type) string {
	if typ == nil {
		return "" // 中文注释：空类型不参与约束说明。
	}
	if union, ok := typ.(*types.Union); ok {
		return "联合约束：" + union.String() // 中文注释：先保留整体，再按需访问 Term。
	}
	return "普通嵌入：" + typ.String() // 中文注释：命名接口和基础类型走同一展示接口。
}

如果业务需要展示每个联合项，再对 *types.Union 调用 Len() 和 Term(i)，或者在 Go 1.24 中使用 Terms()。不要在第一层枚举时就丢掉 Union 这层信息，否则后续无法区分“一个联合约束”与“多个独立嵌入项”。

构造 Interface 后先处理 Complete

如果接口来自类型检查器，通常已经由检查流程完成；但如果调用方通过 types.NewInterfaceType 或旧的 NewInterface 手动构造，就要在嵌入类型全部准备好后调用 Complete()。官方文档要求在把接口用于其他类型操作前完成这一步，完成后的接口也才适合并发使用。

func prepare(iface *types.Interface) *types.Interface {
	if iface == nil {
		return nil // 中文注释：构造失败时把空值交给上层决定如何处理。
	}
	return iface.Complete() // 中文注释：先计算类型集，再交给并发或后续分析逻辑。
}

Complete() 不是“把嵌入项展开成列表”的函数，它负责计算接口类型集；枚举仍然使用 NumEmbeddeds、EmbeddedType 或 EmbeddedTypes。两者关注点不同，不能互相替代。

不要再用 Embedded 判断所有约束

旧的 Embedded(i) 返回 *types.Named，并且当第 i 个嵌入项不是定义类型时返回 nil。官方文档已经把它标记为弃用，推荐使用不限制类型种类的 EmbeddedType(i)。

相关问题

EmbeddedType 和 Embedded 有什么区别？

EmbeddedType 返回任意 types.Type；Embedded 只返回 *types.Named，遇到联合约束或其他非命名类型可能得到 nil，而且已经弃用。

为什么 NumMethods 返回零，但接口明明有约束？

类型联合约束不一定声明方法。此时应读取嵌入类型，并检查返回值是否为 *types.Union，而不是只看方法数量。

要不要先调用 Complete 再读取 EmbeddedType？

手动构造的接口应在嵌入类型完整后调用 Complete()，尤其是准备并发使用或继续计算类型集时。由检查器产生的完整接口则遵循检查流程返回的状态。

怎么把联合约束拆成 int 和 string？

先把嵌入项断言为 *types.Union，再用兼容版本的 Len/Term(i) 或 Go 1.24 的 Terms() 遍历每个 *types.Term。第一层仍建议保留 Union，避免丢失组合关系。

因此，最稳妥的选择是：跨版本工具使用 NumEmbeddeds + EmbeddedType，新工具使用 EmbeddedTypes；遇到约束联合项时保留 types.Type，需要细分时再进入 types.Union。这样既能识别命名接口，也不会把泛型约束误当成普通方法集合。