如何在 Go 1.18 中使用泛型创建特定类型的新对象？

在 Go 1.18 中使用泛型创建新对象

Go 1.18 beta 中的泛型提供了一种强大的方法来创建灵活且可重用的代码。一项常见任务是创建特定类型的新对象。然而，实现此功能需要对泛型语法有一定的了解。

问题：通过泛型创建对象

下面的代码定义了一个带有泛型类型参数 T 的 FruitFactory。Create 方法尝试创建T 的一个新实例（例如，*Apple），但它当前返回 nil，导致程序在访问该对象的

type FruitFactory[T any] struct{}

func (f FruitFactory[T]) Create() *T {
    // How to create a non-nil fruit here?
    return nil
}

type Apple struct {
    color string
}

func example() {
    appleFactory := FruitFactory[Apple]{}
    apple := appleFactory.Create()
    // Panics because nil pointer access
    apple.color = "red"
}

解决方案：初始化并返回变量

由于 Apple 是非指针类型，我们可以简单地声明一个 T 类型的变量并返回其地址：

func (f FruitFactory[T]) Create() *T {
    var a T
    return &a
}

或者，new(T) 可用于创建一个新实例并返回其指针：

func (f FruitFactory[T]) Create() *T {
    return new(T)
}

通过这些更改，Create 方法现在返回类型 T 的有效对象，解决了 nil 指针问题。

处理指针类型

如果 FruitFactory使用指针类型实例化时，需要更复杂的解决方案来避免分段错误。需要一个自定义接口 Ptr 来约束类型参数中的指针类型：

// Constraining a type to its pointer type
type Ptr[T any] interface {
    *T
}

// The first type parameter will match pointer types and infer U
type FruitFactory[T Ptr[U], U any] struct{}

func (f FruitFactory[T,U]) Create() T {
    // Declare var of non-pointer type. This is not nil!
    var a U
    // Address it and convert to pointer type (still not nil)
    return T(&a)
}

通过此设置，可以在通用工厂中创建指针类型的新实例，从而防止分段错误。

以上是如何在 Go 1.18 中使用泛型创建特定类型的新对象？的详细内容。更多信息请关注PHP中文网其他相关文章！