在 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中文网其他相关文章！
