如何在 Go 泛型中使用帶有聯合類型約束的共享方法？

Go 中的泛型限制：對聯合型別使用共享方法

在Go 泛型(v1.18) 中，型別聯合約束可讓您定義一組可以指派給泛型類型參數的類型。但是，對這些類型使用共用方法可能會導致錯誤。

請考慮以下程式碼：

type A struct {}
type B struct {}

type AB interface {
    *A | *B
}

func (a *A) some() bool {
    return true
}

func (b *B) some() bool {
    return false
}

func some[T AB](x T) bool {
    return x.some()   // <- error
}

發生錯誤的原因是編譯器找不到聯合型別 AB 上的某個方法。要解決此問題，您需要將方法新增至介面限制：

type AB interface {
    *A | *B
    some() bool
}

func some[T AB](x T) bool {
    return x.some()   // works
}

這將泛型類型 T 限制為同時實作 *A 和 *B 的類型，並且還定義了 some 方法。

但是，如 Go 1.18 發行說明所述，這是一個臨時限制。 Go 1.19 預計會取消這個限制，讓編譯器自動從聯合型別推斷出 some 方法。

以上是如何在 Go 泛型中使用帶有聯合類型約束的共享方法？的詳細內容。更多資訊請關注PHP中文網其他相關文章！