提问人：Jevon Cowell 提问时间：2/21/2022 最后编辑：blackgreenJevon Cowell 更新时间：3/19/2022 访问量：748
如何将类型限制为带有索引的类型？
How to constrain type to types with index?
问：
我决定深入研究 Go，因为 1.18 引入了泛型。我想实现一种只接受顺序类型的算法——数组、切片、映射、字符串，但我无法破解如何。
有没有一种方法可以针对涉及可索引性？
答：
5赞
blackgreen
2/21/2022
#1
您可以将约束与联合一起使用，但是唯一有意义的约束是：
type Indexable interface {
~[]byte | ~string
}
func GetAt[T Indexable](v T, i int) byte {
return v[i]
}
仅此而已，暂时。为什么？
对具有联合约束的类型允许的操作仅允许用于约束类型集中的所有类型。
若要允许索引，联合中的类型必须具有相等的键类型和相等的元素类型。
类型参数建议建议可以用于 的并集，但这已被禁止。规范现在在索引表达式中提到了这一点：“如果 P 的类型集中存在映射类型，则该类型集中的所有类型都必须是映射类型，并且相应的键类型必须完全相同”。
map[int]T[]T对于数组，长度是类型的一部分，因此联合必须指定要处理的所有可能的长度，例如 等。非常不切实际，并且容易出现越界问题（有一个建议可以改进这一点）。
[1]T | [2]T
因此，唯一支持索引的具有不同类型的联合似乎是（可能是近似的）。由于是 的别名，因此也可以使用 进行实例化。[]byte | string~byteuint8[]uint8
除此之外，没有其他方法可以定义支持对所有可能的可索引类型进行索引的约束。
注意，它支持索引，但不支持范围，因为此联合没有核心类型。[]byte | string
评论