Go 泛型可以有效地强制执行除“[]byte”和“string”之外的索引约束吗？

Go 泛型中将类型约束为可索引类型

在 Go 1.18 中，泛型的引入为类型安全开辟了新的可能性。一种常见的场景是需要将允许的类型限制为支持索引的类型，例如数组、切片、映射和字符串。

可索引性是一种约束吗？

虽然索引对于许多类型来说是一个理想的功能，但它本身并不是一个可以直接指定的约束。 Go 泛型中的约束是使用类型集指定的，类型集定义了允许的类型。

有意义的索引约束

使用联合类型集的唯一有意义的索引约束是 Indexable，它将允许的类型限制为 []byte 或 string。此约束允许定义接受两种类型并执行索引操作的泛型函数。

索引约束的限制

其他潜在的可索引类型，例如数组和映射，不能在联合类型集中进行有意义的组合。联合类型上允许的操作仅是所有成员类型都支持的操作，并且约束要求索引的键和元素类型相同。

实际实现

结果，唯一实用的索引约束是 []byte 和 string 的 Indexable。这允许对两种类型进行操作的通用函数，例如答案中提供的 GetAt 函数，它返回指定索引处的字节。

附加说明

需要注意的是，Indexable 约束不支持范围操作，因为它缺少核心类型。然而，类型 []byte 和 string 都具有范围功能，可以在需要范围操作的地方使用。

以上是Go 泛型可以有效地强制执行除“[]byte”和“string”之外的索引约束吗？的详细内容。更多信息请关注PHP中文网其他相关文章！