如何使用 Golang 泛型和接口用具体实现填充切片？

Golang 泛型：结合接口和具体实现

在 Go 1.18 中，泛型允许开发人员定义可操作更广泛类型的函数和数据结构。然而，出现了一种特定的场景，即用户寻求在接口中使用泛型，同时还为泛型类型参数提供具体类型。

问题

考虑以下函数，该函数旨在用以下内容填充切片具体类型的新实例：

<code class="go">func Fill[X any](slice []*X) {
   for i := range slice {
      slice[i] = new(X)
   }
}</code>

在填充指向特定类型（例如 []*int）的指针切片时，此函数按预期工作。但是，如果切片由接口组成，并且使用泛型参数的具体类型调用函数，则编译失败。

<code class="go">xs := make([]sync.Locker, 10) // fill with nils
Fill[sync.Locker,sync.Mutex](xs) // ouch</code>

原因

出现问题是因为约束两个类型参数 X Y 为any 则删除了接口与其具体实现之间的关系。在编译时，只知道 X 和 Y 是不同的类型。

解决方案

要解决这个问题，可以使用显式断言：

<code class="go">func Fill[X, Y any](slice []X) {
    for i := range slice {
        slice[i] = any(*new(Y)).(X)
    }
}</code>

但是，如果 Y 未实现 X，此解决方案会引入潜在的运行时恐慌。此外，如果 Y 是指针类型，则基本类型信息会丢失，导致 nil 值而不是所需具体类型的实例。

更好的方法是使用构造函数而不是第二个泛型参数，如下所示：

<code class="go">func main() {
    xs := make([]sync.Locker, 10)
    Fill(xs, func() sync.Locker { return &sync.Mutex{} })
}

func Fill[X any](slice []X, f func() X) {
    for i := range slice {
        slice[i] = f()
    }
}</code>

此解决方案提供了一种更强大且更惯用的方法，可以用特定具体类型的实例填充切片，同时维护类型安全。

以上是如何使用 Golang 泛型和接口用具体实现填充切片？的详细内容。更多信息请关注PHP中文网其他相关文章！