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

Question

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

\n

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

\n

Answer 1

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

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

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

暂时就这些了。为什么？

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

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

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

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

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

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

注意支持[]byte | string索引但不支持范围，因为这个联合没有核心类型。

游乐场：https://gotipplay.golang.org/p/uatvtMo_mrZ