Go types.NewSignatureType 怎样构造带类型参数的函数签名

构造带类型参数的函数签名，需要先创建 *types.TypeParam，再把它放进 types.NewSignatureType 的 typeParams 参数，同时让形参与返回值的类型引用这个对象。类型参数列表声明了什么、参数元组实际用了什么，必须对应起来。

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

下面以类型分析工具需要表示 func[T any](x T) T 为目标。这里是签名的类型表示，不是可直接写在变量声明中的泛型函数类型字面量；也没有创建函数体或可调用的运行时函数。示例用于说明构造方法，未在本机执行。

从旧构造器迁移时多出的两个位置

旧接口 NewSignature 已标记弃用，支持类型参数的替代接口是 NewSignatureType，后者从 Go 1.18 提供。迁移普通函数时，可以把新增的两组类型参数都设为 nil；迁移泛型表示时，则应明确填入函数自身的声明列表。

若原代码只调用旧构造器却在参数元组中塞入一个 T，不能据此认定签名已经声明了 T。迁移时要补上声明列表，而不是仅更换函数名称。

构造一个接收和返回同一类型的签名

package main

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

func makeSignature() *types.Signature {
    // 使用预声明 any 的类型作为约束，T 是本签名的类型参数
    constraint := types.Universe.Lookup("any").Type()
    tp := types.NewTypeParam(
        types.NewTypeName(token.NoPos, nil, "T", nil),
        constraint,
    )

    // 输入和输出直接复用同一个 tp，不再创建第二个同名 T
    params := types.NewTuple(
        types.NewVar(token.NoPos, nil, "x", tp),
    )
    results := types.NewTuple(
        types.NewVar(token.NoPos, nil, "", tp),
    )
    return types.NewSignatureType(
        nil, nil, []*types.TypeParam{tp},
        params, results, false,
    )
}

func main() {
    sig := makeSignature()
    fmt.Println(types.TypeString(sig, nil))
    // 读取对象关系，而不是仅凭打印名称判断
    declared := sig.TypeParams().At(0)
    fmt.Println(sig.Params().At(0).Type() == declared)
    fmt.Println(sig.Results().At(0).Type() == declared)
}

本例的约束取自预声明 any，输入变量名为 x，返回值不命名。返回元组只有一个元素，类型仍是 tp。token.NoPos 表示这些对象没有关联的源文件位置，适合这个手工构造示例。

打印出的签名应能表达一个类型参数、一个输入和一个输出；类型别名的具体展示方式可能随工具配置不同。更值得观察的是后两项对象比较：按示例构造，它们预期都为 true，因为两个位置复用了签名声明的同一个对象。这是代码语义推导，并非执行输出记录。

类型参数对象必须在签名内部保持一致

同一个 tp 同时用于声明列表、输入类型和输出类型。不要为了“补齐参数”分别创建三个名字都叫 T 的 TypeParam：名称相同只方便人读，不能替代对象之间的实际引用关系。

同名新对象可以服务于一个独立签名，但它不会自动成为当前签名的声明参数。若工具生成多份彼此独立的泛型声明，应为各声明建立自己的类型参数和相关元组，而不是把名称作为全局去重键复用所有 T。

也不要把构造函数当成完整源码检查器。它负责建立签名对象并处理构造约束；手工拼出的类型图，仍要由工具作者保证其用途与语言规则一致。需要从真实源码获得可信类型信息时，优先走解析和 go/types 类型检查，而不是反向拼一个看似相同的字符串。

接收者与可变参数不要顺手混入

recvTypeParams 是接收者相关的类型参数，与函数自己的 typeParams 分开。当前任务只构造普通泛型函数，因此前两项都为 nil。不要因为结果里出现 T 就把它放进接收者参数位置；官方接口要求接收者类型参数非空时必须有接收者。

可变参数同样是另一个维度。本例最后一项为 false；如果以后描述普通 Go 函数的 ...T，应同时考虑最后一个参数的切片表示与可变参数标记，而不能只翻转布尔值。内建 append 的特殊表示不属于本例范围。

迁移完成后，读者可以在自己的工具中关注 TypeParams().Len()、Params().Len()、Results().Len()，并逐项追踪参数类型所引用的对象。签名对象不保存函数名称；需要命名的函数声明对象时，还要另建 types.Func。需要泛型实例时则使用实例化相关接口，构造声明签名本身不会自动替换 T。

接口与弃用说明：https://pkg.go.dev/go/types#NewSignatureType。实现参考：https://go.dev/src/go/types/signature.go。