Go 泛型可以有效地強制執行除「[]byte」和「string」之外的索引約束嗎？

Go 泛型中將類型約束為可索引類型

在Go 1.18 中，泛型的引入為類型安全開闢了新的可能性。常見的場景是需要將允許的類型限制為支援索引的類型，例如陣列、切片、映射和字串。

可索引性是一種限制嗎？

雖然索引對於許多類型來說是一個理想的功能，但它本身並不是一個可以直接指定的約束。 Go 泛型中的限制是使用類型集指定的，類型集定義了允許的類型。

有意義的索引約束

使用聯合類型集的唯一有意義的索引約束是 Indexable，它將允許的類型限制為 []byte 或 string。此約束允許定義接受兩種類型並執行索引操作的泛型函數。

索引約束的限制

其他潛在的可索引類型，例如數組和映射，不能在聯合類型集中進行有意義的組合。聯合類型上允許的操作僅是所有成員類型都支援的操作，且約束要求索引的鍵和元素類型相同。

實際實作

結果，唯一實用的索引限制是 []byte 和 string 的 Indexable。這允許對兩種類型進行操作的通用函數，例如答案中提供的 GetAt 函數，它會傳回指定索引處的位元組。

附加說明

需要注意的是，Indexable 約束不支援範圍操作，因為它缺少核心型別。然而，類型 []byte 和 string 都具有範圍功能，可以在需要範圍操作的地方使用。

以上是Go 泛型可以有效地強制執行除「[]byte」和「string」之外的索引約束嗎？的詳細內容。更多資訊請關注PHP中文網其他相關文章！