-
用一轮 Tuple 遍历同时收集返回位置、名称和类型文本，生成有序文档记录。提供从包作用域读取函数签名的完整例子，并处理空返回、未命名项和失败情况。
-
可以。go/types 将 nil *Tuple 定义为合法的空元组，Len 会返回 0；但 At 仍需要有效下标和实际元组，不能因为 Len 安全就对所有方法取消 nil 判断。
-
用 go/types.NewVar 创建名称为空的变量，再把它们按结果顺序传给 types.NewTuple，即可构造不带名称的有序结果列表。本文说明 NewTuple、Tuple、At、Len 和 Variables 的关系，以及空 Tuple 与越界访问的边界。
-
Go types.Tuple 保存函数参数或返回值的有序变量列表。本文说明怎样通过 Signature.Results、Tuple.Len、Tuple.At 逐项读取多返回值，再用 Var.Name、Var.Type 和 Var.Pos 配合 token.FileSet 输出名称、类型与声明位置，并处理匿名返回值和空结果。
-
go/types.Tuple 描述有序变量列表，不是业务多返回值的运行时容器。通过签名读取示例，区分 Var 元信息、分别接收返回值和用结构体整体保存数据。
-
go/types.NewSignatureType 用 variadic 标记源码中的 ... 语法，但参数元组仍保存完整的切片类型。因此 func(string, ...any) 的最后参数是未命名 []any，而不是 any。本文说明这种表示的原因、常见构造错误、类型参数边界和 append 的特殊规则。
-
用 go/types 生成 Go 类型文档时，可变参数在 Params 中表现为最后一个切片，是否显示省略号由 Signature.Variadic 决定。本文说明如何使用 WriteSignature，以及如何安全地实现自定义参数渲染。
-
Go 的 go/types.Identical 比较函数签名时不会把参数名当作类型身份。本文用 Signature 示例说明参数类型、结果、variadic、receiver 和 importer 一致性的边界。
-
用 types.NewTypeParam 创建类型参数，再通过 NewSignatureType 的声明列表和参数元组构造泛型签名。示例说明同一类型参数对象的复用、旧接口迁移和接收者边界。
-
Go/types.Signature 的 TypeParams 描述函数或方法自身的类型参数，RecvTypeParams 描述泛型方法接收者的类型参数。本文用泛型函数、泛型类型方法和 NewSignatureType 说明两者的读取与构造边界。
-
使用 go/types 分析函数或方法时，可以从 types.Signature 的 Params 和 Results 两个 Tuple 逐项取出变量名与 Type；再结合 Recv、Variadic 和 TypeParams，就能导出稳定的参数与返回值类型清单。
-
Go types.Interface.Empty 判断空接口的整体类型集合语义，不能用显式方法数量代替。本文比较嵌入方法、类型项和 comparable 约束，并解释空接口与空类型集合的区别。
-
手工创建 go/types.Interface 时，先准备好显式方法和嵌入类型，等嵌入类型完全定义后调用 Complete，再读取 NumMethods、Method 或方法集。本文按构造、完成、查询顺序说明方法集计算时机与重复方法边界。
-
Go types.Interface.IsComparable 只说明接口类型集合中的每个类型是否可比较，不能说明两个类型集合是否相等。本文用 int、string、~int 和 ~string 的约束对比这一信息损失，并给出 Complete、Underlying 与 types.Identical 的正确分析路径。
-
使用 go/types 分析泛型接口时，NumEmbeddeds 与 EmbeddedType 可以枚举任意嵌入类型；Go 1.24 还提供 EmbeddedTypes 迭代器。本文说明联合约束、Complete 调用和旧 Embedded API 的兼容边界。
