Go types.NewUnion 怎样组装多种基础类型的约束

做 Go 静态分析时，我经常需要把源码里的类型集合重新建模：先把每个候选类型变成 *types.Term，再把这些 term 交给 types.NewUnion。例如 int | ~string 应该由“精确的 int”和“底层类型为 string 的所有命名类型”组成，而不是把它当成运行时可以声明变量的类型。

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

Term 如何变成 Union 的输入

types.NewUnion 的参数是 []*types.Term，所以组装顺序应该是“先造项、后组装”。types.NewTerm(tilde, typ) 中，tilde=false 表示精确类型，tilde=true 表示使用底层类型集合。空 union 在 Go 语法里不存在，不要把空切片当成合法约束。

package main

import (
	"fmt"
	"go/types"
)

func main() {
	terms := []*types.Term{
		// false 保留精确的 int 类型集合。
		types.NewTerm(false, types.Typ[types.Int]),
		// true 表示接收底层类型为 string 的命名类型。
		types.NewTerm(true, types.Typ[types.String]),
	}

	// NewUnion 只把多个 term 组合成一个联合类型模型。
	union := types.NewUnion(terms)
	fmt.Println(union) // 预期表示为 int | ~string
	fmt.Println(union.Len()) // 2：联合项的数量
}

这里的 int 和 ~string 是两个不同类型集合。若改成 ~int | int，集合就发生重叠；这不是 NewUnion 的排序问题，而是后续类型检查必须拒绝的约束设计。

把 Union 嵌入类型约束

为了让这个模型接近源码里的 interface{ int | ~string }，可以把 Union 作为嵌入类型交给 types.NewInterfaceType，再调用 Complete。这一步建立的是类型集合模型，不能据此声明 var x interface{ int | ~string } 这样的运行时变量。

package main

import (
	"fmt"
	"go/types"
)

func main() {
	union := types.NewUnion([]*types.Term{
		// 两个集合不重叠，适合作为演示约束。
		types.NewTerm(false, types.Typ[types.Int]),
		types.NewTerm(true, types.Typ[types.String]),
	})
	constraint := types.NewInterfaceType(nil, []types.Type{union})
	// Complete 让接口模型完成成员与嵌入关系的整理。
	constraint.Complete()
	fmt.Println(constraint)

	for i := 0; i 

在支持 Go 1.24 或更高版本的工具里，还可以用 Terms() 迭代联合项；需要兼容更早版本时，保留 Len 加 Term(i) 的写法更稳。

构造后要检查的三个边界

如果文章生成器只需要展示成员，Len、Term(i) 和 String 已经够用；若要判断源码是否合法，仍应把完整接口或泛型声明交给 go/types.Checker，因为单独打印 Union 不能替代语义检查。

常见问题

NewUnion 能不能传空的 terms 列表？

不应这样做。空 union 在 Go 语法上不可表达，调用方应在组装前保证至少有一个 term。

为什么 ~int 不能和 int 并列？

因为 ~int 的类型集合已经包含精确的 int，两者不满足联合约束要求的互斥边界。

Union 能直接作为函数参数类型吗？

不能把它当作普通运行时值类型。它应出现在泛型约束或其他约束接口的建模中。

Terms 和 Term(i) 选哪个？

新工具优先用 Terms() 表达迭代意图；需要兼容早期 Go 版本或控制索引时，用 Len 与 Term(i)。