Go types.Tuple 为什么不是运行时可以赋值的元组

go/types.Tuple 是类型分析用的有序变量列表，用来描述函数参数、返回位置等信息。它不是把一次函数调用的多个业务返回值打包成单个值的语言机制。可以把 *types.Tuple 指针赋给普通变量，但那保存的是元信息对象，不是业务调用产生的元组值。

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

Tuple 描述的是类型信息中的一组位置

遇到 Signature.Results() 返回 Tuple，容易把它与“函数返回了一个元组”混为一谈。前者属于源码分析模型：有几个返回位置、每项名称和类型是什么；后者属于程序执行：这次返回了多少、是否出错。

Tuple 实现了类型分析库的 Type 接口，并不意味着 Go 源码可以任意声明一个对应的元组类型。库为描述语言结构建立的模型，比源码里可直接声明和赋值的类型形式更广。

用最小例子读取返回值的类型

package main

import (
    "fmt"
    "go/token"
    "go/types"
)

func main() {
    // 这里只构造返回位置的类型描述，不产生业务返回值
    results := types.NewTuple(
        types.NewVar(token.NoPos, nil, "count", types.Typ[types.Int]),
        types.NewVar(token.NoPos, nil, "ok", types.Typ[types.Bool]),
    )
    sig := types.NewSignatureType(nil, nil, nil, nil, results, false)

    // At 取出 Var 元信息，Type 才是该位置对应的类型
    tuple := sig.Results()
    for i := 0; i 

结构图中的 Signature 通过 Results 关联 Tuple。第0项 Var 描述 count 的 int 类型，第1项 Var 描述 ok 的 bool 类型；分别访问对象的 Type 获取对应类型信息。

示例中写下的 count、ok 是返回位置名称，不是保存 12 或 true 的存储格。types.NewVar 的返回对象描述变量，不能通过给它“赋业务值”改变一次函数调用的结果。代码只用于说明模型，没有在本机运行或产生真实执行记录。

做源码分析时，可从被检查函数的 Signature 获取已有 Results，无须像这个演示一样手工创建。检查多值调用时也可能在表达式类型信息中遇到 Tuple，但仍应先理解它在模型里表示多个位置，而不是将其转换成业务容器。

多返回值要分别接收，整体保存用结构体

若 readCount() 返回两项，使用 n, err := readCount() 分别接收。不能写一个 pair := readCount() 就期待自动得到可访问 pair[0] 的元组。需要整体保存时，明确选择结构体，例如下面的 Report。

package main

import "fmt"

type Report struct {
    Count int
    Err   error
}

func readCount() (int, error) {
    // 示例业务值，不涉及 go/types 的元信息对象
    return 12, nil
}

func main() {
    // 多返回值逐项接收，再显式组织成一个业务对象
    n, err := readCount()
    report := Report{Count: n, Err: err}
    fmt.Println(report.Count, report.Err)
}

多返回调用提供的两项分别对应 n 和 err。业务类型 Report 的 Count 字段与 Err 字段 才实际保存这两个值。字段名说明了含义，也让后续传递或放进切片时保持单个对象的形式。

结构体与两项返回并没有统一的优劣：调用方立即判断错误时，多返回形式通常直接；需要长期保存一条业务记录时，结构体更明确。不要仅为了“接住 Tuple”给正常业务引入 go/types 依赖。

空元组、下标和工具边界

官方文档允许 nil 的 *types.Tuple 表示空元组。处理参数或返回列表时，先根据 Len 判断项数，再在范围内调用 At。不要把“没有返回位置”解释成“有一个值为 nil 的返回位置”，这两种签名含义不同。

能否把 Tuple 强转成 []any？不能靠类型转换取出调用的实际值。若你要的是类型元信息，遍历 Var 并自行整理；若要的是业务结果，则在实际调用处分别接收并显式装入容器。

Tuple 是否只用于函数返回？不是，参数列表等场景也会使用它。具体含义由所属签名或类型信息上下文决定，不能只看到 Tuple 就推断它一定是返回值。

这个边界不依赖某个浏览器、平台或图形工具。维护分析程序时，优先使用 Len、At、Name、Type 等结构化信息，而不要解析打印出来的括号字符串。语言规范中的多值赋值规则见 https://go.dev/ref/spec#Assignments；Tuple 定义见 https://go.dev/src/go/types/tuple.go。