Go TypeParam.Index 怎样恢复签名中的参数顺序

用 go/types 分析泛型函数时，想恢复 A、B、C 在签名中的声明顺序，最稳妥的依据不是 map 遍历顺序，也不是参数名的字典序，而是类型参数列表本身。直接读取 Signature.TypeParams().At(i) 可以得到第 i 个参数；如果手里只有若干 *types.TypeParam，再用它们的 Index() 排序即可。

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

先用 TypeParamList 直接恢复声明顺序

TypeParam 表示泛型声明中的一个类型参数，TypeParamList 才是承载顺序的列表。列表的 At(i) 返回第 i 个参数，索引从 0 开始，所以签名 func Combine[A any, B comparable, C ~int] 对应的顺序就是 A、B、C。

如果来源是函数签名，代码应先拿到 sig.TypeParams()，然后按列表长度读取。这个路径保留了类型检查器建立的顺序，最适合生成文档、参数映射或泛型分析报告。

// 读取函数签名中的类型参数，顺序与源代码声明保持一致。
func orderedTypeParams(sig *types.Signature) []*types.TypeParam {
	list := sig.TypeParams()
	if list == nil {
		return nil // 非泛型函数没有类型参数列表。
	}
	params := make([]*types.TypeParam, 0, list.Len())
	for i := 0; i 

Index 的含义是列表位置，不是参数名或类型编号

Index() 返回的是当前 TypeParam 在所属参数列表中的位置。例如 A、B、C 的结果分别为 0、1、2。它不代表约束类型的编号，也不能用来推断参数的具体类型；约束应通过 Constraint() 读取，参数名称则通过 Obj().Name() 读取。

用 NewTypeParam 手工创建参数、还没有把它绑定到某个命名类型或签名时，Index() 可能是 -1。因此不能把所有返回值直接当作数组下标。

从无序对象集合恢复顺序时要先处理 -1

类型检查结果常常被收集到 map、集合或其他无序容器。此时可以复制已绑定的参数，用 Index() 排序；遇到 -1 就放到未绑定分支，等待补齐所属列表后再参与排序。这样既不会把未绑定参数排到第一位，也不会因为对象遍历顺序变化而产生不稳定输出。

// 对无序收集到的类型参数按 Index 排序，同时隔离未绑定项。
func sortBoundTypeParams(input []*types.TypeParam) (bound, unbound []*types.TypeParam) {
	bound = make([]*types.TypeParam, 0, len(input))
	for _, param := range input {
		if param.Index() 

用完整签名核对名称、位置和约束

下面的检查函数从源码建立类型信息，再按 Index() 输出类型参数。示例故意同时打印名称、位置和约束，便于排查“名称对了但顺序错了”的问题。实际接入分析器时，info.Defs 只是一个收集入口，最终顺序仍应交给 TypeParams 或 Index。

// 通过 go/types 检查一个泛型声明，并按 Index 输出参数顺序。
func inspectGenericSource(src string) error {
	fset := token.NewFileSet()
	file, err := parser.ParseFile(fset, "sample.go", src, 0)
	if err != nil {
		return err // 解析失败时没有可靠的类型参数列表。
	}
	info := &types.Info{Defs: make(map[*ast.Ident]types.Object)}
	conf := types.Config{Importer: importer.Default()}
	_, err = conf.Check("example", fset, []*ast.File{file}, info)
	if err != nil {
		return err // 类型约束错误不能被 Index 排序掩盖。
	}
	params := make([]*types.TypeParam, 0)
	for _, obj := range info.Defs {
		name, ok := obj.(*types.TypeName)
		if !ok {
			continue
		}
		param, ok := name.Type().(*types.TypeParam)
		if ok && param.Index() >= 0 {
			params = append(params, param)
		}
	}
	sort.Slice(params, func(i, j int) bool {
		return params[i].Index() 

相关问题

Index() 返回 -1 需要手动改成 0 吗？

不需要。-1 是“尚未绑定到类型”的边界信号，先补齐所属参数列表或单独记录，不能把它改写成合法位置。

只调用 Obj().Name() 能恢复顺序吗？

不能。名称只是标识符，A、B 的声明顺序必须来自 TypeParamList 或 Index。

已经有 Signature.TypeParams 还要排序吗？

通常不用。按 At(0) 到 At(Len()-1) 遍历已经是参数列表顺序，排序只适合处理额外收集出来的无序对象。