Go泛型：如何指定类型实现json.Unmarshaler接口以调用helper函数？

问题分析 #

你的代码存在两个核心问题：

1. 调用helper[MyStruct](jsonTxt)编译失败：MyStruct的UnmarshalJSON方法是指针接收者，因此只有*MyStruct类型才实现了json.Unmarshaler接口，MyStruct本身不满足约束。
2. 调用helper[*MyStruct](jsonTxt)运行时panic：var s T会创建一个nil指针，调用UnmarshalJSON时触发空指针引用。

你希望避免传入&MyStruct{}的workaround，通过优化泛型约束实现直接调用helper[MyStruct](jsonTxt)。

解决方案 #

我们可以通过约束**T的指针类型实现json.Unmarshaler**来解决这个问题，以下是两种可行方案：

方案1：自定义接口约束（兼容Go 1.18+） #

定义一个泛型接口，要求该类型既是*T，同时实现json.Unmarshaler：

package main

import "encoding/json"

// 约束类型必须是*T，且实现json.Unmarshaler
type UnmarshalerPtr[T any] interface {
    *T
    json.Unmarshaler
}

func helper[T any, P UnmarshalerPtr[T]](jsonTxt []byte) {
    var s T
    ptr := P(&s) // 将&s转换为约束类型，确保可调用UnmarshalJSON
    ptr.UnmarshalJSON(jsonTxt)
}

type MyStruct struct {
    Val string
}

func (m *MyStruct) UnmarshalJSON([]byte) error {
    m.Val = "fake"
    return nil
}

func main() {
    jsonTxt := []byte(`{"val":"fake"}`)
    helper[MyStruct](jsonTxt) // 编译器自动推导P为*MyStruct
}

调用时只需传入MyStruct作为类型参数，编译器会自动推导第二个参数P为*MyStruct，因为它满足约束条件。

方案2：使用Go 1.22+的where子句（更简洁） #

如果使用Go 1.22及以上版本，可借助where子句直接在函数声明中约束*T实现接口，无需额外定义类型：

package main

import "encoding/json"

// 直接约束*T必须实现json.Unmarshaler
func helper[T any](jsonTxt []byte) where *T: json.Unmarshaler {
    var s T
    (&s).UnmarshalJSON(jsonTxt) // &s是*T类型，已被约束为实现接口
}

type MyStruct struct {
    Val string
}

func (m *MyStruct) UnmarshalJSON([]byte) error {
    m.Val = "fake"
    return nil
}

func main() {
    jsonTxt := []byte(`{"val":"fake"}`)
    helper[MyStruct](jsonTxt) // 直接调用，编译运行正常
}

失败尝试的原因 #

你之前写的helper[*T U, U json.Unmarshaler]不符合Go泛型语法规范，Go不支持这种反向推导的泛型参数声明。正确的思路是约束T的指针类型满足接口，而非尝试将指针类型映射到另一个参数。

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