Go泛型中如何实例化类型参数对应的非nil指针类型？

问题1：是否有更简单的解决方案 #

存在不需要显式传入构造函数的实现方案，可以借助reflect包自动识别泛型类型的种类，完成兼容值接收者、指针接收者的初始化逻辑，代码示例如下：

import "reflect"

func SetGetterSlice[V any, T SetGetter[V]](values []V) []T {
    out := make([]T, len(values))
    // 获取T的实际类型
    tType := reflect.TypeOf((*T)(nil)).Elem()
    
    for i, v := range values {
        if tType.Kind() == reflect.Ptr {
            // 指针类型则初始化底层结构体
            elem := reflect.New(tType.Elem())
            out[i] = elem.Interface().(T)
        } else {
            // 值类型直接使用零值
            out[i] = *new(T)
        }
        out[i].Set(v)
    }
    return out
}

该方案下调用方无需传入构造函数，直接按原始逻辑调用即可同时兼容指针、值接收者的实现类。

问题2：是否为Go泛型的固有限制 #

该问题本质不是泛型的限制，是Go语言零值规则的固有特性：指针类型的零值固定为nil，非泛型场景下直接初始化[]*Count类型的切片，元素也都是nil，直接调用方法同样会触发panic。
只是泛型场景下需要同时兼容值类型、指针类型两类实现，才会出现需要额外处理初始化逻辑的场景。目前Go 1.21及以上版本都没有提供语法层面的原生支持，仅能通过「显式传构造函数」或「反射自动判断」两种方式实现，不存在其他更原生的写法。

问题3：是否需要向Go官方提交issue #

该场景属于Go泛型落地时的已知常见问题，官方团队早已知晓，无需提交新issue。官方没有计划新增语法支持这类自动初始化逻辑，原因符合Go「显式优于隐式」的设计哲学：自动初始化指针可能会带来不符合开发者预期的行为，因此不会在语法层面做这类隐式处理。

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