如何从reflect.Type实例化Go泛型类型并验证接口实现

现有泛型接口定义如下：

type G[T any] interface {
    // 接口方法
}

给定一个reflect.Type类型的变量t，如何实例化出代表G[t]的reflect.Type？最终目的是验证t对应的类型是否实现了G[t]，示例框架代码如下：

func ImplementsG(t reflect.Type) bool {
    var gType reflect.Type = ... // 这里需要获取对应G[t]的接口类型

    return t.Implements(gType)
}

要获取G[t]对应的reflect.Type，可以通过反射构造泛型类型实例的方式实现，步骤如下：

• 先获取泛型接口G的原始模板类型：可以通过创建一个临时的泛型接口指针，再用反射提取其元素类型。比如用reflect.TypeOf((*G[any])(nil)).Elem()，就能拿到未实例化的G泛型接口模板。
• 调用模板类型的Instantiate方法，传入类型参数t，得到实例化后的G[t]类型。

整合到示例函数的完整代码如下：

func ImplementsG(t reflect.Type) bool {
    // 获取泛型接口G的模板类型
    gGenericType := reflect.TypeOf((*G[any])(nil)).Elem()
    // 实例化得到G[t]的接口类型
    gType := gGenericType.Instantiate(t)

    return t.Implements(gType)
}

• 确保传入的t是合法的类型（具体类型或接口类型），否则Instantiate方法会触发panic。
• 如果泛型接口G包含多个类型参数，调用Instantiate时需要传入对应数量的reflect.Type参数。

内容的提问来源于stack exchange，提问作者404