如何在 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 方法現在會傳回其指標：

透過這些更改，Create 方法現在會傳回其指標：

// 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)
}

透過這些更改，Create 方法現在會傳回類型T 的有效對象，解決了nil 指標問題。

處理指標類型如果 FruitFactory使用指標類型實例化時，需要更複雜的解決方案來避免分段錯誤。需要一個自訂介面 Ptr 來約束類型參數中的指標類型：透過此設置，可以在通用工廠中建立指標類型的新實例，從而防止分段錯誤。

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