类型约束的描述：揭示 Go 类型中可变结构行为

对于一个Golang开发者来说，牢固扎实的基础是十分重要的，golang学习网就来带大家一点点的掌握基础知识点。今天本篇文章带大家了解《类型约束的描述：揭示 Go 类型中可变结构行为》，主要介绍了，希望对大家的知识积累有所帮助，快点收藏起来吧，否则需要时就找不到了！

我想定义一个通用函数，其中类型约束描述可变结构行为。

我所说的“可变行为”是这样的界面：

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

...实现看起来像这样：

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 类型调用该泛型函数。

func main() {
    foo, err := Unmarshal[*Foo]([]byte("hello"))
    if err == nil {
        log.Println(foo.Content) // hello
    } else {
        log.Fatal(err)
    }
}

我必须传递 *Foo 作为类型参数，因为只有指向 Foo 的指针才实现 Unmarshaler 接口。但是，当 Foo 的 Unmarshal 方法收到 f 的 nil 值时，就会出现恐慌。这对我来说都是有意义的，因为 var m T 将使指向 Foo 的指针值为零，即 nil。但我不确定我是否已经走进了死胡同？

https://go.dev/play/p/H5s59NWNiDA

正如我所能描述的那样，每当我的类型约束描述一些可变的结构行为，并且我的泛型函数想要初始化，然后改变结构的实例时，我都会遇到这个问题。这可能吗？有更好的方法来构建这个吗？

正确答案

核心问题是为某些类型 T 创建有用的值。有几种方法可以做到这一点： m := make(T) （地图和频道）等。您可以使用 reflect 包来创建值，但让调用者将值作为参数传递会更简单。

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

像这样调用函数：

foo, err := Unmarshal(&Foo{}, []byte("hello"))

https://go.dev/play/p/LbSuiXe9zOu

今天关于《类型约束的描述：揭示 Go 类型中可变结构行为》的内容就介绍到这里了，是不是学起来一目了然！想要了解更多关于的内容请关注golang学习网公众号！