Go 函数单返回值为什么仍然用 Tuple 表示

在 Go 源码里，func Parse(s string) int 看起来只有一个返回类型；但用 go/types 读取它时，Signature.Results() 仍然返回一个 *types.Tuple。这不是 Go 增加了“单元素元组”，而是类型检查器把参数列表和结果列表统一表示成“有序变量列表”。因此，单返回值对应长度为 1 的 Tuple，无返回值对应空 Tuple，多返回值对应多个按声明顺序排列的变量。

结论很简单：Tuple 是 go/types 的容器抽象，不是业务代码里可以直接声明和传递的 Go 元组类型。分析单返回值时先取 Len()，再用 At(0) 取得唯一的 *types.Var。

Go 语法允许简写，类型 API 仍需要统一列表

Go 规范把函数签名的结果定义为一个参数列表或一个类型。单个未命名结果可以写成 int，也可以写成 (int)；只要结果带名称，或者结果超过一个，就要使用括号列表。例如 func Load() int 与 func Load() (int) 在这个场景下表达的是同一个函数签名。

如果 API 为单返回值另设一个 Type() 分支，为多返回值再设一个 Tuple() 分支，调用方每次都要先判断形态。go/types.Signature 选择让 Params() 和 Results() 都返回 Tuple，调用方只需要处理一套“有序的 *types.Var 列表”接口。

读取单返回值时先看 Len，再取 At

下面的示例用类型检查器读取一个函数声明。关键点是不要直接假设结果存在：先检查 Results() 是否为空，再判断长度。对于单返回值，At(0) 返回唯一的 *types.Var，可以继续读取变量名和变量类型。

package main

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

func describeResult(sig *types.Signature) {
    results := sig.Results()
    // 结果列表可能为空；不要在未知签名上直接调用 At(0)。
    if results == nil || results.Len() == 0 {
        fmt.Println("没有返回值")
        return
    }

    // 单返回值和多返回值都从同一个有序列表读取。
    for i := 0; i 

这里的 nil *Tuple 和长度为 0 的 Tuple 都表示空列表语义，实际工具应当同时兼容。对于结果名，未命名的 func() int 通常得到空字符串；命名结果如 func() (n int) 才会保留 n。不要把空名字误判成类型缺失。

四种结果形态如何映射到 Tuple

可以把常见签名按“结果变量个数”处理。这个数量是静态分析里最可靠的第一层分支，随后再读取每个变量的类型和名称。

这也解释了“单返回值为什么仍然用 Tuple”：分析器关心的是结果列表，而不是源码是否使用了括号。统一容器可以保留顺序、名字和类型，还能让参数与结果共用 Len、At、Variables 等遍历思路。

不要把 Tuple 当成 Go 的一等元组类型

go/types.Tuple 只服务于类型检查器的内部模型和相关 API。它不是可以写在 Go 变量声明里的语言类型，也不是把多个返回值打包后就能比较、序列化的值。要生成报告时，应读取每个 *types.Var 的 Name()、Type() 和位置，再由工具决定输出格式。

如果工具要兼容泛型函数、方法或嵌入调用，仍然先从 *types.Signature 获取结果 Tuple，再根据结果数量处理；不要从函数源码文本猜测“有没有括号”。源码格式可以变化，类型模型的顺序和数量才是稳定边界。

常见问题

单返回值的 Tuple 长度是不是 0？

不是。只要函数声明了一个结果，Results().Len() 就应按一个结果处理；长度为 0 代表没有结果。

Tuple 能不能作为普通函数返回值？

不能。它是 go/types 提供的分析对象，不是 Go 语言中的一等元组类型。

读取结果时应优先看名字还是类型？

优先用数量和类型判断语义，名字只作为辅助信息。未命名结果的名字为空，命名结果的名称也可能只是文档提示。

实际编写分析器时，把 Results() 当成有序结果列表即可：先处理空列表，再区分一个或多个，最后逐项读取变量信息。这样既符合 Go 语法的简写规则，也不会把 go/types 的 Tuple 误解成 Go 语言本身新增的元组。