Go types.Tuple 怎样输出多返回值的名称和声明位置

如果你已经通过 go/types 拿到了一个函数签名，想输出它的多个返回值，入口不是把签名转成字符串再切分，而是直接读取 sig.Results() 返回的 *types.Tuple。然后用 Len() 和 At(i) 按声明顺序访问每个 *types.Var：名称调用 Name()，类型调用 Type()，声明位置调用 Pos()，最后交给对应的 token.FileSet 转成文件名、行号和列号。

这样做既能保留返回值顺序，也不会误把格式化后的签名当成结构化数据。需要注意的是，匿名返回值的名称是空字符串，但它仍然有自己的类型；位置则必须用同一个文件集解释。

最小读取路径就是：sig.Results() → tuple.Len() → tuple.At(i) → Var.Name/Type/Pos。名称为空不代表结果不存在，只代表源码没有给该返回值命名。

先从函数签名定位结果 Tuple

types.Tuple 表示有序变量列表，签名的参数和结果都会使用它。官方文档还特别说明，空的 *Tuple 是合法的空元组，而且 Tuple 不是 Go 语言中的一等类型。因此，读取结果时应围绕签名对象和 Tuple API 操作，不要依赖字符串解析。

通常先从包作用域找到 *types.Func，再把它的类型断言成 *types.Signature：

fn, ok := pkg.Scope().Lookup("LookupUser").(*types.Func)
if !ok {
	return fmt.Errorf("函数不存在或不是函数对象")
}

sig, ok := fn.Type().(*types.Signature)
if !ok {
	return fmt.Errorf("对象类型不是函数签名")
}

results := sig.Results()
fmt.Println("返回值数量:", results.Len())

代码中的 pkg 可以来自 types.Config.Check 的返回值。Results() 返回的 Tuple 允许直接调用 Len()；如果函数没有返回值，长度就是零。

用 Len 和 At 保留多返回值顺序

Tuple 的 At(i) 返回第 i 个 *types.Var。它的索引顺序就是源码中返回值的声明顺序，所以遍历时使用普通的从零开始的循环即可。不要用名称做 map 的键来替代顺序，因为匿名返回值没有名称，重复名称也不适合作为位置标识。

for i := 0; i "
	}

	fmt.Printf("[%d] %s %s\n", i, name, result.Type().String())
}

例如源码声明 func LookupUser() (id int64, found bool) 时，第 0 项是 id int64，第 1 项是 found bool。如果声明为 (int64, bool)，两项仍然存在，只是 Name() 都返回空字符串。

用 Var.Pos 输出名称和声明位置

types.Var 同时提供名称、类型和位置。Pos() 返回的是 token.Pos，它只是文件集中的位置标识，不能直接当成可读行号。把它交给解析时使用的 token.FileSet.Position，才能得到文件名、行号和列号。

func printResults(fset *token.FileSet, results *types.Tuple) {
	for i := 0; i 

位置解释有一个关键前提：fset 必须是解析源文件和类型检查时使用的同一个 token.FileSet。如果换了文件集，token.Pos 就失去了对应的文件坐标关系。

匿名返回值和空 Tuple 怎么处理

命名返回值与匿名返回值的差别只在名字，不在 Tuple 的元素数量。应用层可以保留空名称，也可以只在展示层替换成“匿名返回值”；不要把展示占位文本写回类型对象。

如果使用较新的 Go 版本，也可以关注 Tuple.Variables() 这种迭代方式；但需要兼容更早版本时，Len()+At(i) 是更直接、边界也更明确的写法。

常见问题

为什么不直接解析 Signature.String？

字符串适合展示，不适合可靠地恢复返回值名称、类型和源码位置。结构化读取还能正确处理匿名结果、嵌套函数类型和类型参数。

Var.Pos 能直接得到行号吗？

不能。它返回的是 token.Pos，必须交给同一个 token.FileSet 的 Position 方法。

结果 Tuple 为空时能调用 At 吗？

先检查 Len()。长度为零时不要访问任何索引；另外，官方 API 允许 nil Tuple 表示空 Tuple，实际代码应把 nil 视为没有结果处理。

把多返回值当作 Tuple 遍历，再把每个元素当作 Var 读取，是输出名称和声明位置最稳妥的路径：结构信息由 go/types 保留，位置转换由 token.FileSet 完成，展示层只负责处理匿名名称。

官方资料：https://pkg.go.dev/go/types#Tuple

官方资料：https://pkg.go.dev/go/types#Var