Go 1.18 제네릭의 인덱싱 제약 조건

Go 1.18에 제네릭이 도입되면서 개발자는 특정 작업을 수행하는 알고리즘을 구현할 수 있는 기회를 갖게 되었습니다. 유형. 일반적인 요구 사항 중 하나는 배열, 슬라이스, 맵, 문자열 등 인덱싱을 지원하는 유형을 사용하는 것입니다.

인덱스 가능 제약

유형 매개변수를 인덱싱 가능한 유형으로 제한하려면 , 공용체와 함께 다음 제약 조건을 사용하는 것이 좋습니다.

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

인덱싱 가능 제약 조건의 제한

위 제약 조건은 바이트 및 문자열 인덱싱에 작동하지만 맵 및 배열과 같은 다른 인덱싱 가능 유형과 함께 사용하는 데에는 제한이 있습니다. :

• 맵: 공용체에는 키와 요소 유형이 동일한 지도 유형만 포함되어야 합니다. 이러한 제한으로 인해 서로 다른 키와 값이 있는 맵을 처리해야 하는 일반 알고리즘에는 비실용적입니다.
• Arrays: 배열의 길이는 해당 유형의 일부이므로 공용체는 다음을 지정해야 합니다. 가능한 모든 길이. 이는 번거롭고 범위를 벗어난 오류가 발생하기 쉽습니다.

대체 접근 방식

이러한 제한으로 인해 인덱싱을 지원하는 유일한 실제 공용체는 다음과 같습니다. []바이트 | 끈. 이 통합체는 인덱싱 작업을 허용하지만 핵심 유형이 부족하기 때문에 범위 작업을 지원하지 않습니다.

사용 예

다음 예에서는 인덱싱 가능 제약 조건을 사용하는 방법을 보여줍니다.

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

이 함수는 색인 생성 가능한 값과 색인을 가져와 지정된 색인에 있는 바이트를 반환합니다.

결론

Go 1.18에서는 다음과 같은 방법을 제공합니다. 공용체를 사용하여 유형을 인덱싱 가능한 유형으로 제한하려면 해당 제약 조건의 제한으로 인해 제한된 사용 사례 집합, 즉 바이트 인덱싱 및 문자열.