Go Generics의 '비교 가능' 제약 조건이 1.20 이전 버전의 맵 키에 대해 약화될 수 있습니까?

Go Generics: 맵 키에 대한 유형 제약 조건

문제:

일반적으로 정의된 연결 목록을 다음과 같이 사용할 때 Go 1.18에서 map 키를 사용하면 연결된 목록이 유사한 인터페이스를 구현하지 않는다는 오류 메시지가 나타납니다. 이 목적에 적합한 더 약한 대체 제약 조건이 있나요?

답변:

Go 1.20(2023년 2월)

The 비교 가능한 제약 조건은 맵 키에 대한 적절한 포괄적 제약 조건입니다. Go 1.20에서는 사양 비교 가능 유형과 비교 가능 유형 간의 불일치가 해결되어 코드를 성공적으로 컴파일할 수 있습니다.

Go 1.18 및 1.19

Go의 비교 가능 제약 조건 1.18 및 1.19는 런타임 패닉 없이 == 및 !=를 지원하는 엄격하게 비교 가능한 유형을 위해 설계되었습니다. 이는 동등 연산자를 지원하는 인터페이스를 포함하여 인터페이스를 제외합니다. 인터페이스에는 무한한 유형 집합이 있으므로 비교 가능 항목으로 인스턴스화할 수 없습니다.

이 문제를 해결하려면 다음과 같이 비교 가능 항목을 포함하는 사용자 지정 제약 조건을 사용하는 것이 좋습니다.

type List interface {
    comparable
    isList() bool
}

이 제약 조건을 구조적으로 구현합니다. 연결된 목록을 맵 키로 사용할 수 있습니다.

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