為什麼 Golang 1.18 泛型不完全支持協方差？

Golang 1.18 泛型中的協變：了解其局限性

Golang 1.18 泛型的引入帶來了許多進步，但仍然存在某些局限性，包括缺乏完整的協方差支持。

理解問題

考慮一個場景，您想要定義一個名為Pipe 的通用函數，它接受兩個函數：

• 左：接受A 類型的參數並傳回T1 類型的值。
• 右：接受 T1 型別的參數並傳回 T2 型別的值。

目標是建立一個函數，將左邊的輸出作為右側的輸入執行。但是，以下實作在某些情況下無法編譯：

出現此問題是因為 Golang 泛型不完全支援協方差。協變意味著類型參數可以用子類型替換而不違反約定。在這種情況下，T1 不允許子類型，而 io.ReadCloser 是 io.Reader 的子類型。

Golang 的設計決策

Golang 決定不完全實現協方差是基於安全考量。允許協變可能會導致使用與預期簽名不匹配的類型呼叫函數，從而導致未定義的行為。

常見問題解答說明

Golang 常見問題解答明確指出當前的行為是故意的而不是錯誤。此決定旨在防止可能損害應用程式可靠性的意外運行時錯誤。

可轉換類型與協變類型

雖然 Golang 不支援完全協變，但它允許一種類型到另一種類型的轉換。但是，在 func Pipe 的情況下，無法使用類型參數來表示此轉換。

作為替代方案，您可以將 left 的結果明確轉換為 right 所需的類型。然而，這種方法在編譯時不是型別安全的，如以下修改後的程式碼所示：

雖然這可以完成工作，但它犧牲了執行時間轉換的編譯時安全性。

以上是為什麼 Golang 1.18 泛型不完全支持協方差？的詳細內容。更多資訊請關注PHP中文網其他相關文章！