Go types.Tuple 的 nil 指针可以调用 Len 吗

可以。var t *types.Tuple 时，调用 t.Len() 是安全的，结果为 0。go/types 明确把 nil *Tuple 定义成合法的空元组，所以这里不是普通 Go 指针“碰巧没崩”，而是 API 有意提供的空值语义。

不过这个结论只适用于 Len。遍历签名参数或返回值时，应该把“能安全计数”和“能访问元素”分开判断：空元组没有可供 At(i) 读取的变量。

先确认 nil Tuple 的 API 契约

types.Tuple 表示一组有序变量，常见于函数签名的参数和结果。官方文档特别说明，nil *Tuple 是合法的空元组；官方实现的 Len 也先判断接收者是否为 nil，再返回变量数量。因此下面的写法会得到 0：

package main

import (
	"fmt"
	"go/types"
)

func main() {
	// nil Tuple 表示没有参数或结果，Len 对这个空表示返回 0。
	var tuple *types.Tuple
	fmt.Println(tuple.Len()) // 0
}

这个设计很适合调用方写统一的统计逻辑：不必先为“没有参数”和“有参数”拆成两条计数分支，直接读取 Len() 即可。这里的返回值代表变量个数，不代表 Tuple 指针本身一定非 nil。

看清 NewTuple 的空输入行为

创建 Tuple 时，types.NewTuple() 没有传入变量，会返回 nil；传入至少一个变量，才会返回包含变量列表的 Tuple。也就是说，“空 Tuple”在这个 API 中通常有 nil 这一种紧凑表示：

package main

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

func main() {
	empty := types.NewTuple()
	value := types.NewVar(token.NoPos, nil, "value", types.Typ[types.Int])
	nonEmpty := types.NewTuple(value)

	// 空输入采用 nil 表示，但 Len 仍可直接读取。
	fmt.Println(empty == nil, empty.Len()) // true 0
	fmt.Println(nonEmpty == nil, nonEmpty.Len()) // false 1
}

这也解释了为什么不要只用指针是否为 nil 来判断“有没有返回值”：对 Tuple 来说，正确的数量判断是 Len()。如果业务还需要保留“来源是否明确提供了 Tuple”的信息，再单独记录指针状态。

把 Len 与 At 的使用边界分开

Len 只读取数量，官方实现对 nil 做了特殊处理；At(i) 则是按下标取变量，需要先有实际的变量列表，并且下标必须满足 0 。因此不能因为 nil.Len() 安全，就把所有 Tuple 方法都当作 nil-safe：

package main

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

func printFirst(tuple *types.Tuple) {
	// 先取数量，再访问元素，空 Tuple 不会进入 At。
	if tuple == nil || tuple.Len() == 0 {
		fmt.Println("没有可访问的变量")
		return
	}

	// 只有确认至少有一个变量后，At(0) 才有合法前提。
	fmt.Println(tuple.At(0).Name())
}

func main() {
	item := types.NewVar(token.NoPos, nil, "item", types.Typ[types.String])
	printFirst(nil)
	printFirst(types.NewTuple(item))
}

还要留意一个细节：NewTuple 传入一个 nil 的 *types.Var，仍然是“有一个槽位”的 Tuple，Len() 会返回 1，但 At(0) 得到的变量指针可能是 nil。正常代码应避免构造这种不完整的变量列表。

在签名遍历代码中采用稳妥写法

处理 *types.Signature 时，参数和结果 Tuple 可能为空。最简单的稳定做法是把 Tuple 当作可计数对象，把元素访问放到数量判断之后：

func tupleNames(tuple *types.Tuple) []string {
	// nil Tuple 等价于空集合，提前返回可避免无意义的下标访问。
	if tuple == nil || tuple.Len() == 0 {
		return nil
	}

	names := make([]string, 0, tuple.Len())
	for i := 0; i 

可以把这条规则记成一句话：对 *types.Tuple，Len 可以直接问，At 必须先确认有元素。这样既利用了 API 的空值契约，也不会把 nil 容错范围误传到元素访问和下标操作上。

常见问题

nil *types.Tuple 调用 Len 会 panic 吗？

不会。官方文档把 nil Tuple 规定为空元组，Len() 返回 0。

NewTuple() 和 NewTuple(nil) 一样吗？

不一样。前者没有参数，返回 nil；后者传入了一个 nil 变量指针，仍会创建长度为 1 的 Tuple，但其中的变量项不完整。

读取 At(0) 前只判断 tuple != nil 够吗？

不够。还要确认 Len() > 0，并保证下标没有超出范围；如果变量列表来自外部构造，还应按需处理 At(i) 返回 nil 的情况。

总结：types.Tuple 的 nil 接收者是一个明确的空集合表示，Len() 返回 0 正是它的设计用途。把计数和取元素分开处理，就能在类型分析代码中保持简洁而不牺牲边界安全。