찾다
백엔드 개발GolangGo 1.18 Generics에서 반공변 유형은 어떻게 작동합니까?

How Do Contravariant Types Work in Go 1.18 Generics?

Go 1.18 Generics의 반공변 유형

Go 1.18에서는 제네릭의 도입으로 반공변 유형에 대한 관심이 촉발되었습니다. 발생하는 주요 질문은 제네릭 컨텍스트 내에서 어떻게 작동하는지입니다.

불리한 동작: 호환되지 않는 유형

다음 코드 조각을 고려하세요.

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))
    }
}

다음과 같이 Pipe를 사용하려고 할 때 함수:

func OpenFile(name string) *os.File { ... }
func ReadAll(rdr io.Reader) []byte { ... }

컴파일러가 T1을 io.Reader와 동일하지 않은 *os.File로 처리하기 때문에 컴파일이 실패합니다.

근본 원인: 반공변 의미론

이 문제는 반공변 유형의 특성에서 비롯됩니다. 이 경우 T1은 A보다 더 구체적인 유형일 것으로 예상됩니다. 즉, T1을 허용하는 함수도 A를 허용할 수 있습니다. 그러나 Go 제네릭은 공변 결과 유형을 지원하지 않습니다. 따라서 T1을 반환하는 함수는 암시적으로 변환 가능하더라도 A를 반환할 수 없습니다.

해결 방법 및 결과

현재 Pipe의 서명을 수정할 수 있는 방법은 없습니다. 원하는 동작을 허용하려면 1.18로 이동하세요. 이는 버그로 간주되지 않고 오히려 의도적인 디자인 선택입니다.

해결 방법: 유형 변환

이 제한을 우회하려면 런타임 시 유형 변환을 사용할 수 있습니다.

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))
    }
}

그러나 이 접근 방식은 컴파일 타임 유형 안전성을 희생합니다.

위 내용은 Go 1.18 Generics에서 반공변 유형은 어떻게 작동합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!

성명
본 글의 내용은 네티즌들의 자발적인 기여로 작성되었으며, 저작권은 원저작자에게 있습니다. 본 사이트는 이에 상응하는 법적 책임을 지지 않습니다. 표절이나 침해가 의심되는 콘텐츠를 발견한 경우 admin@php.cn으로 문의하세요.
INT 기능 및 부작용 : 유지 관리와의 초기화 균형INT 기능 및 부작용 : 유지 관리와의 초기화 균형Apr 26, 2025 am 12:23 AM

toensureInitFunctionSareefeCectiveAdaintainable : 1) minimizesideFectsByReTurningValuesInsteAdglobalstate, 2) inficeDempotencyToHandleMultipLecallsSafely 및 3) BRALKTODDOCLEXINITIANSETSMALLER, FOCUSISSEDFUNCINTURATURITYANDUMALOMODUMALEDUMAL ANDM

GOT GO로 시작 : 초보자 가이드GOT GO로 시작 : 초보자 가이드Apr 26, 2025 am 12:21 AM

goisidealforbeginnersandsuitableforcloudandnetworkservicesduetoitssimplicity, 효율성, 및 콘크리 론 피처

동시성 패턴 : 개발자를위한 모범 사례동시성 패턴 : 개발자를위한 모범 사례Apr 26, 2025 am 12:20 AM

개발자는 다음과 같은 모범 사례를 따라야합니다. 1. 자원 누출을 방지하기 위해 조롱 틴을 신중하게 관리합니다. 2. 동기화를 위해 채널을 사용하지만 과용을 피하십시오. 3. 동시 프로그램의 오류를 명시 적으로 처리합니다. 4. 성능을 최적화하기 위해 GomaxProc을 이해하십시오. 이러한 관행은 효율적이고 강력한 소프트웨어 개발에 효과적이며 자원의 효과적인 관리, 적절한 동기화 구현, 적절한 오류 처리 및 성능 최적화를 보장하여 소프트웨어 효율성 및 유지 관리 가능성을 향상시킬 수 있기 때문입니다.

생산으로 이동 : 실제 사용 사례 및 예제생산으로 이동 : 실제 사용 사례 및 예제Apr 26, 2025 am 12:18 AM

goexcelsinproductionduetoitsperformanceandsimplicity, butrequirescarefulmanagementibility, errorhandling, andresources

GO의 사용자 정의 오류 유형 : 자세한 오류 정보 제공GO의 사용자 정의 오류 유형 : 자세한 오류 정보 제공Apr 26, 2025 am 12:09 AM

표준 오류 인터페이스가 제한된 정보를 제공하고 사용자 정의 유형이 더 많은 컨텍스트와 구조화 된 정보를 추가 할 수 있으므로 오류 유형을 사용자 정의해야합니다. 1) 사용자 정의 오류 유형에는 오류 코드, 위치, 컨텍스트 데이터 등이 포함될 수 있습니다. 2) 디버깅 효율성 및 사용자 경험 향상, 3) 복잡성 및 유지 보수 비용에주의를 기울여야합니다.

GO 프로그래밍 언어로 확장 가능한 시스템 구축GO 프로그래밍 언어로 확장 가능한 시스템 구축Apr 25, 2025 am 12:19 AM

goisidealforbuildingscalablesystemsduetoitssimplicity, 효율성 및 빌드-내부 컨 컨 오렌 스upport.1) go'scleansyntaxandminimalisticdesignenenhance-reductivityandreduceerrors.2) itsgoroutinesandChannelsableefficedsoncurrentProgramming, DistributingLoa

GO에서 시작 기능을 효과적으로 사용하기위한 모범 사례GO에서 시작 기능을 효과적으로 사용하기위한 모범 사례Apr 25, 2025 am 12:18 AM

initTectionsIntOnaUtomaticallyBeforemain () andAreSefulforsettingupenvirondentAnitializingVariables.usethemforsimpletasks, propoysideeffects 및 withtestingntestingandloggingtomaincodeclarityAndestability.

GO 패키지에서 시작 함수의 실행 순서GO 패키지에서 시작 함수의 실행 순서Apr 25, 2025 am 12:14 AM

goinitializespackages는 theyareimported, theexecutesinitfunctions, theneiredefinitionorder, andfilenamesDeterMineDeTerMineTeRacrossMultipleFiles.ThemayLeadTocomplexInitializations의 의존성 의존성의 의존성을 확인합니다

See all articles

핫 AI 도구

Undresser.AI Undress

Undresser.AI Undress

사실적인 누드 사진을 만들기 위한 AI 기반 앱

AI Clothes Remover

AI Clothes Remover

사진에서 옷을 제거하는 온라인 AI 도구입니다.

Undress AI Tool

Undress AI Tool

무료로 이미지를 벗다

Clothoff.io

Clothoff.io

AI 옷 제거제

Video Face Swap

Video Face Swap

완전히 무료인 AI 얼굴 교환 도구를 사용하여 모든 비디오의 얼굴을 쉽게 바꾸세요!

뜨거운 도구

WebStorm Mac 버전

WebStorm Mac 버전

유용한 JavaScript 개발 도구

mPDF

mPDF

mPDF는 UTF-8로 인코딩된 HTML에서 PDF 파일을 생성할 수 있는 PHP 라이브러리입니다. 원저자인 Ian Back은 자신의 웹 사이트에서 "즉시" PDF 파일을 출력하고 다양한 언어를 처리하기 위해 mPDF를 작성했습니다. HTML2FPDF와 같은 원본 스크립트보다 유니코드 글꼴을 사용할 때 속도가 느리고 더 큰 파일을 생성하지만 CSS 스타일 등을 지원하고 많은 개선 사항이 있습니다. RTL(아랍어, 히브리어), CJK(중국어, 일본어, 한국어)를 포함한 거의 모든 언어를 지원합니다. 중첩된 블록 수준 요소(예: P, DIV)를 지원합니다.

에디트플러스 중국어 크랙 버전

에디트플러스 중국어 크랙 버전

작은 크기, 구문 강조, 코드 프롬프트 기능을 지원하지 않음

DVWA

DVWA

DVWA(Damn Vulnerable Web App)는 매우 취약한 PHP/MySQL 웹 애플리케이션입니다. 주요 목표는 보안 전문가가 법적 환경에서 자신의 기술과 도구를 테스트하고, 웹 개발자가 웹 응용 프로그램 보안 프로세스를 더 잘 이해할 수 있도록 돕고, 교사/학생이 교실 환경 웹 응용 프로그램에서 가르치고 배울 수 있도록 돕는 것입니다. 보안. DVWA의 목표는 다양한 난이도의 간단하고 간단한 인터페이스를 통해 가장 일반적인 웹 취약점 중 일부를 연습하는 것입니다. 이 소프트웨어는

SublimeText3 영어 버전

SublimeText3 영어 버전

권장 사항: Win 버전, 코드 프롬프트 지원!