如何将类型限制为可被索引的类型？

从现在开始，努力学习吧！本文《如何将类型限制为可被索引的类型？》主要讲解了等等相关知识点，我会在golang学习网中持续更新相关的系列文章，欢迎大家关注并积极留言建议。下面就先一起来看一下本篇正文内容吧，希望能帮到你！

自从 1.18 引入泛型以来，我决定深入研究 Go。我想实现一个只接受顺序类型的算法 - 数组、切片、映射、字符串，但我无法破解如何实现。

有没有一种方法可以针对涉及可索引性的目标？

正确答案

您可以将约束与并集一起使用，但是您可以拥有的唯一有意义约束是：

type Indexable interface {
    ~[]byte | ~string
}

func GetAt[T Indexable](v T, i int) byte {
    return v[i]
}

暂时就这些了。为什么？

1. 具有联合约束的类型允许的操作仅限于约束类型集中的所有类型允许的操作。

2. 要允许建立索引，联合中的类型必须具有相等的键类型和相等的元素类型。

3. 类型参数提案建议 map[int]t 可以与 []t 联合使用，但这是不允许的。现在规范在 Index expressions 中提到了这一点：“如果 p 的类型集中有一个映射类型，则该类型集中的所有类型都必须是映射类型，并且各自的键类型必须全部相同” .

4. 对于数组，长度是类型的一部分，因此联合必须指定要处理的所有可能的长度，例如[1]t | [2]t等。相当不切实际，并且容易出现越界问题（有proposal可以改进这一点）。

因此，唯一支持索引的不同类型的联合似乎是 []byte | string（可能近似为 ~）。由于 byte 是 uint8 的别名，因此您也可以使用 []uint8 进行实例化。

除此之外，没有其他方法可以定义支持对所有可能的可索引类型进行索引的约束。

注意 []byte | string 支持索引但不支持范围，因为此联合 doesn't have a core type。

演示：https://gotipplay.golang.org/p/uatvtMo_mrZ

今天带大家了解了的相关知识，希望对你有所帮助；关于Golang的技术知识我们会一点点深入介绍，欢迎大家关注golang学习网公众号，一起学习编程~