Contravariance가 Go 1.18의 파이프 기능에서 일반 유형 호환성 문제를 해결할 수 있습니까?

Go 1.18 Generics의 반공변 유형

Go 1.18에서 제네릭 유형을 사용하면 유형 인수에 따라 달라지는 유형으로 함수를 정의할 수 있습니다. 특정 유형의 분산인 반공변성(Contravariance)을 사용하면 함수가 입력 유형과 출력 유형 간의 잘 정의된 관계를 유지하면서 더 넓은 범위의 입력 유형을 수용할 수 있습니다.

파이프 함수

제공되는 Pipe 함수는 값을 변환하는 함수를 구성하는 것을 목표로 합니다. 왼쪽 함수의 출력 유형이 오른쪽 함수의 입력 유형과 일치할 것으로 예상합니다. 그러나 다음 예에서는 컴파일에 실패합니다.

func Pipe[A, T1, T2 any](left func(A) T1, right func(T1) T2) func(A) T2 {
    return func(a A) T2 {
        return right(left(a))
    }
}

func OpenFile(name string) *os.File {
    ...
}

func ReadAll(rdr io.Reader) []byte {
    ...
}

var OpenRead = Pipe(OpenFile, ReadAll)

T1이 io.Reader와 호환됨에도 불구하고 *os.File로 간주되기 때문에 컴파일러가 불평합니다.

해결책이 있나요?

안타깝게도 Go에는 방법이 없습니다. 1.18 제네릭은 원하는 동작을 활성화하기 위해 Pipe의 서명을 수정합니다. Go는 공변 결과 유형을 지원하지 않습니다. 즉, 함수의 출력 유형은 입력 유형에 따라 달라질 수 없습니다.

버그인가요?

Go 1.18은 버그가 아닙니다. 이는 Go 제네릭에 대한 FAQ에 설명된 대로 의도적으로 설계된 것입니다.

해결 방법

이 제한 사항을 해결하기 위해 수정된 버전의 Pipe 기능을 사용할 수 있지만 컴파일 시간 유형 안전성이 희생됩니다.

func Pipe[A, T1, T2, T3 any](left func(A) T1, right func(T2) T3) func(A) T3 {
    return func(a A) T3 {
        return right(any(left(a)).(T2))
    }
}

위 내용은 Contravariance가 Go 1.18의 파이프 기능에서 일반 유형 호환성 문제를 해결할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!