如何在 Golang 泛型中用具体类型填充接口片段？

Golang 泛型：同时使用接口和具体类型

在 Go 1.18 中，泛型为类型处理引入了新的可能性。然而，当一起使用接口和具体类型时，某些场景可能会带来挑战。

尝试创建这样的函数时会出现这样的场景：

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

此函数旨在填充具有具体类型的接口片段。例如，可以使用此函数用 new(int) 填充 *int 数组。

尝试使用实现接口的具体类型填充接口切片时会出现问题。考虑以下代码：

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

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

在这种情况下，该函数不起作用，因为将 X 和 Y 都约束为任何会破坏接口和实现类型之间的关系。编译器在编译时仅识别 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，它会发生恐慌，就像使用sync.Locker 和sync.Mutex 一样。此外，对 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>

在这种方法中，函数采用 X 类型的切片和构造函数。构造函数创建一个 X 类型的实例，用具体实例填充切片。

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