Go types.Union 为什么不能当作普通变量类型使用

types.Union 表示接口中联合类型项的分析模型，不是 Go 运行时的“多选一值”容器。含有 ~int | ~string 这类类型元素的非基本接口只能用于类型约束，不能作为普通变量或结构体字段的类型。分析库可以描述一种结构，不意味着源码允许把它用作所有值类型。

官方文档：https://pkg.go.dev/go/types#Union。

约束集合与运行时容器是两种需求

假设业务希望“一个变量有时保存整数、有时保存文本”，直接写一个联合约束接口，再声明该接口变量，会混淆编译期的类型选择与运行期的值保存。先确定需要的是泛型算法允许哪些类型，还是一条记录需要携带哪种数据。

any 不是“仅允许 int 或 string”的静态联合。选择它就需要在调用边界承担类型检查责任；带标记结构体同样需要防止标记与字段不一致，不能只加一个标签就自动获得穷尽性保障。

用类型参数接收集合中的具体类型

package main
import "fmt"

// 约束描述允许的底层类型，不作为普通变量类型
type Scalar interface { ~int | ~string }
func Keep[T Scalar](v T) T { return v }

func main() {
 // 两次调用各自选择具体类型，并非一个联合值动态切换
 n := Keep(7)
 s := Keep("ready")
 fmt.Println(n, s)
 // 若要在同一个变量中保存不同类型，可显式选择 any
 var value any = n
 value = s
 fmt.Println(value)
}

Scalar 包含 ~int 与 ~string 两组类型项；类型参数 T 在不同调用中可以选择具体 int 或具体 string。每次实例化仍有自己的具体类型，局部变量 n 不会因为另一次调用传入文本而改变类型。

波浪号包含底层类型符合要求的定义类型，并不是运行期的转换运算。示例是可复用的语言写法，没有在本机执行。若把 Scalar 写在普通变量声明里，违反的是约束接口的使用位置规则；把它放进切片元素或结构体字段也不能绕过限制。

分析工具中的 Union 对象怎样理解

package main
import (
 "fmt"
 "go/types"
)
func main() {
 // 两个非重叠项描述底层类型集合
 u := types.NewUnion([]*types.Term{
  types.NewTerm(true, types.Typ[types.Int]),
  types.NewTerm(true, types.Typ[types.String]),
 })
 constraint := types.NewInterfaceType(nil, []types.Type{u})
 constraint.Complete()
 // 这里只读取元信息，不创建对应的业务联合值
 fmt.Println(u.Len(), constraint.IsMethodSet())
}

Union 包含 Term int 和 Term string，并作为 Interface 的类型元素参与类型参数约束。普通变量与这个非基本接口之间没有合法的值类型用法。示例中的 IsMethodSet 预期为 false，表示接口不能仅由方法集描述；这不是接口是否有显式方法的数量检查。

手工构造类型图不等于执行完整源码检查。NewUnion 的输入不应为空，类型项也需要符合语言规则。分析真实工程时，优先从类型检查结果读取对象；不要把任意拼出的Union当成已通过全部语义规则的业务声明。

为什么库对象本身可以赋值？可以写一个变量保存 *types.Union 指针，因为这个指针是分析程序中的普通Go值。它描述约束，不会把被描述的联合集合变成可直接声明的业务值类型。

改为只有方法的接口是否可作变量类型？基本接口可以用于值，但它通过方法集合表达能力，不能顺带限定为原来那两个底层类型。接口设计改变后，允许的类型范围也会改变。

规范参考：https://go.dev/ref/spec#Interface_types。对业务接口的取舍应从“编译期算法复用”与“运行期数据承载”开始；这能避免把分析模型中的Union误当成语言新增的通用联合变量。