如何在 Go 中使用泛型安全地建立泛型類型的類型化物件？

使用 Go 泛型建立類型化物件

在 Go 1.18 中，泛型提供了動態操作類型的強大方法。一項常見任務是建立指定類型的新物件。考慮以下範例：

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"
}

FruitFactory 嘗試建立泛型類型 T 的新實例。但是，返回 nil 會使程式崩潰。讓我們探討一下在這種情況下如何建立新物件：

建立非指針對象

如果類型 T不是指標類型，則可以建立變數並傳回其位址：

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

或者，您可以使用new(T):

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

建立指標

創建指針對象需要更多工作。您可以使用類型推斷來聲明非指標變數並將其轉換為指標：

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

// The first type param 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)
}

type Apple struct {
    color string
}

func main() {
    // Instantiating with pointer type
    appleFactory := FruitFactory[*Apple, Apple]{}
    apple := appleFactory.Create()

    // All good
    apple.color = "red"

    fmt.Println(apple) // &{red}
}

以上是如何在 Go 中使用泛型安全地建立泛型類型的類型化物件？的詳細內容。更多資訊請關注PHP中文網其他相關文章！