為什麼我不能使用具有 Go 泛型聯合約束的共享方法？

Go 泛型中的聯合限制：未解決的限制

在 Go 泛型領域，類型聯合約束引發了一些混亂。當嘗試對聯合約束內的類型使用通用方法時，編譯器會拋出錯誤，讓開發人員摸不著頭腦。

考慮以下程式碼：

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() } // Compilation error

編譯器抱怨說x.some 未定義，即使 *A 和 *B 都實作了 some 方法。這就引出了一個問題：如果無法使用共享方法，為什麼還要定義聯合約束？

Go 追蹤器建議的解決方法是將方法加入介面限制：

type AB interface { *A | *B ; some() bool }
func some[T AB](x T) bool { return x.some() } // Compiles

然而，這是一個不完美的解決方案。 Go 的類型聯合約束應該允許共享方法，而不需要明確的介面聲明。不幸的是，這是Go 1.18 的限制，記錄在發行說明中：

Go 編譯器目前僅支援在類型參數類型P 的值x 上呼叫方法m（如果m 由P 的約束介面顯式聲明） .

此限制預計將在Go 1.19 中解決。在那之前，開發人員必須依賴解決方法或為共享方法定義統一的介面。

以上是為什麼我不能使用具有 Go 泛型聯合約束的共享方法？的詳細內容。更多資訊請關注PHP中文網其他相關文章！