使用 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中文網其他相關文章！
