Go泛型：如何实现描述可变结构体行为的类型约束并避免panic？

问题背景 #

我希望定义一个泛型函数，其类型约束描述可变结构体行为——这里的“可变行为”指类似Unmarshal这样的接口：

type Unmarshaler interface {
    Unmarshal(data []byte) error
}

例如Foo结构体通过指针接收者实现该接口，调用接口方法会修改结构体本身：

type Foo struct {
    Content string
}

func (f *Foo) Unmarshal(data []byte) error {
    f.Content = string(data)
    return nil
}

我尝试定义如下泛型函数，负责初始化具体类型实例并调用接口方法修改后返回：

func Unmarshal[T Unmarshaler](data []byte) (T, error) {
    var m T
    return m, m.Unmarshal(data)
}

但调用时必须传入*Foo作为类型参数（因为只有Foo的指针实现了Unmarshaler接口），此时var m T会生成nil指针，调用Unmarshal时直接panic。请问这种场景是否可行？有没有更好的实现方式？

可行解决方案 #

方案1：通过类型约束强制支持实例化 #

修改类型约束，新增对new()方法的要求，确保能在函数内创建非nil的指针实例：

type Unmarshaler interface {
    Unmarshal(data []byte) error
}

// 定义组合约束：T的指针类型 + 实现Unmarshaler
type UnmarshalerPtr[T any] interface {
    *T
    Unmarshaler
}

// 泛型函数：接收数据，返回初始化并填充后的结构体值
func Unmarshal[T any, P UnmarshalerPtr[T]](data []byte) (T, error) {
    // 创建非nil的结构体实例指针
    ptr := new(T)
    // 调用Unmarshal修改实例
    err := ptr.Unmarshal(data)
    // 返回结构体值
    return *ptr, err
}

// 调用示例
func main() {
    foo, err := Unmarshal[Foo]([]byte("test content"))
    if err != nil {
        panic(err)
    }
    println(foo.Content) // 输出：test content
}

这种方式类型安全，无反射开销，调用时只需传入结构体类型Foo，编译器会自动推导对应的指针类型*Foo。

方案2：用反射初始化nil指针 #

如果不想修改类型约束，可以通过反射在函数内自动初始化nil的指针实例：

func Unmarshal[T Unmarshaler](data []byte) (T, error) {
    var m T
    val := reflect.ValueOf(&m).Elem()
    
    // 检查当前实例是否为nil指针，若是则创建非nil实例
    if val.Kind() == reflect.Ptr && val.IsNil() {
        val.Set(reflect.New(val.Type().Elem()))
    }
    
    err := m.Unmarshal(data)
    return m, err
}

// 调用示例
func main() {
    fooPtr, err := Unmarshal[*Foo]([]byte("test content"))
    if err != nil {
        panic(err)
    }
    println(fooPtr.Content) // 输出：test content
}

此方案无需修改约束，但反射会带来一定性能损耗，适合对性能要求不高的场景。

方案3：调整接口实现（不推荐） #

若场景允许，可尝试给值类型实现Unmarshaler，但值类型接收者会拷贝结构体，无法真正修改原实例，不符合Unmarshal的语义，仅作参考：

// 不推荐：值类型接收者无法修改原实例
func (f Foo) Unmarshal(data []byte) error {
    f.Content = string(data)
    return nil
}

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