為什麼 Go 的介面方法不能有型別參數？

Go 中的泛型：介面方法參數的限制

在Go 1.18beta2 中，定義帶有泛型參數的介面方法時，你可能會遇到錯誤「介面方法必須沒有類型參數」。本文闡明了此限制並探討了潛在的解決方案。

為什麼介面方法中不允許使用型別參數？

此限制的原因根源於設計泛型和型別參數的注意事項。介面定義了一組方法簽章和行為的契約，而泛型方法提供了抽象類型的機制。在介面方法中允許型別參數會在以下方面引入複雜性：

• 保留方法參數的識別
• 在編譯時遍歷方法執行樹，可能會影響效能
• 要求運行時反射，進一步損害性能
• 透過允許實現參數化方法來造成混亂接口

克服限制

雖然型別參數不能直接在介面方法中使用，但有替代的解：

將型別參數移至介面定義：

而不是宣告介面方法中的型別參數，將其移至介面定義本身。這允許介面根據特定的類型參數進行專門化：

type Reader[V Unmarshaler] interface {
    Read(bucket []byte, k ...[]byte) ([][]byte, error)
    ReadDoc(bucket []byte, factory func() (V, error), k ...[]byte) ([]V, error)
}

結論

介面方法中對類型參數的限制是一個經過深思熟慮的設計決策，以確保Go 泛型中介面的清晰度、效能和一致實作。雖然它最初可能會帶來挑戰，但上面提供的替代解決方案提供了解決此限制並在程式碼中利用泛型功能的實用方法。

以上是為什麼 Go 的介面方法不能有型別參數？的詳細內容。更多資訊請關注PHP中文網其他相關文章！