Go 1.18 泛型中的索引約束

隨著Go 1.18 中泛型的引入，開發人員有機會實現適用於特定類型的演算法類型。常見的要求是使用支援索引的類型，例如陣列、切片、映射和字串。

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

type Indexable interface { 〜[]位元組| 〜字串 }

• 雖然上述約束適用於索引字節和字串，但將其與其他可索引類型（例如映射和數組）一起使用時有限制:
• Maps: 聯合必須僅包含具有相同鍵和元素類型的映射類型。此限制使得必須處理具有不同鍵和值的映射的通用演算法變得不切實際。

陣列： 陣列的長度是其類型的一部分，因此聯合需要指定所有可能的長度。這可能很麻煩並且容易出現越界錯誤。

由於這些限制，支持索引的唯一實用聯合是[]字節|細繩。此聯合允許索引操作，但不支援範圍操作，因為它缺少核心類型。

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

func GetAt[T Indexable](v T, i int) byte { 返回 v[i] }這個函數接受一個可索引值和一個索引，並傳回指定索引處的位元組。