Go Generics의 '비교 가능' 제약 조건을 맵 키에 대해 완화할 수 있나요?

Go 일반: 맵 키에 대한 유형 제약 조건?

Go 1.18 이하에서는 맵 키로 사용되는 유형에 대해 미리 선언된 비교 제약 조건이 필요합니다. 이 제약 조건은 해당 유형이 == 및 != 연산자를 지원하고 이러한 연산자를 사용할 때 당황하지 않도록 보장합니다.

그러나 이 제약 조건은 맵 키로 사용할 수 있는 유형에 항상 적합한 것은 아닙니다. 예를 들어, 다음 코드는 일반 연결 목록을 정의합니다.

type List[X any] interface {
    isList()
}

type Cons[X any] struct {
    Data X
    Next List[X]
}

func (Cons[X]) isList() {}

type Nil[X any] struct{}

func (Nil[X]) isList() {}

이 코드는 Cons와 Nil이라는 두 가지 유형으로 구현되는 List 인터페이스를 정의합니다. Cons 유형은 비어 있지 않은 목록을 나타내고 Nil 유형은 빈 목록을 나타냅니다.

다음 코드는 List 인터페이스를 사용하여 목록과 문자열의 맵을 생성합니다.

type List[X any] interface {
    isList()
}

func main() {
    x := Cons[int]{5, Nil[int]{}}
    m := map[List[int]]string{}
    m[x] = "Hi"        // succeeds
    fmt.Println(m[x])  // prints "Hi"
}

이 코드는 성공적으로 컴파일되고 실행됩니다. 그러나 Cons 유형에서 메서드를 사용하려고 하면 다음과 같은 컴파일러 오류가 발생합니다.

type List[X any] interface {
    isList()
}

func main() {
    x := Cons[int]{5, Nil[int]{}}
    fmt.Println(id(x)) // error: Cons[int] does not implement comparable
}

오류 메시지는 Cons[int] 유형이 비교 가능한 제약 조건을 구현하지 않음을 나타냅니다. 이는 Cons 유형에 List[int] 유형의 필드가 있고 List[int] 인터페이스가 비교 가능한 제약 조건을 구현하지 않기 때문입니다.

이 문제에 대한 가능한 해결책 중 하나는 더 약한 유형 제약 조건을 사용하는 것입니다. 예를 들어 다음 제약 조건을 사용할 수 있습니다.

type List[X any] interface {
    isList()
    Comparable() bool
}

이 제약 조건을 사용하면 비교 가능한 제약 조건을 구현하지 않더라도 Cons 유형을 맵 키로 사용할 수 있습니다.

Go 1.20(2023년 2월)

비교 가능한 제약 조건은 지도 키에 대한 올바른 포괄 제약 조건입니다. Go 사양에 따라 비교 가능한 모든 유형은 런타임 시 비교가 패닉이 발생할 수 있더라도 비교 가능한 제약 조건을 충족할 수 있습니다. 코드는 1.20에서 예상대로 컴파일됩니다.

이로 인해 이전 Go 버전에서 사양 비교 유형과 비교 유형에 대한 불일치가 마침내 해결되었습니다.

위 내용은 Go Generics의 '비교 가능' 제약 조건을 맵 키에 대해 완화할 수 있나요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!