Go 제네릭: 유효하지 않은 복합 리터럴-Golang-php.cn

Go 제네릭: 유효하지 않은 복합 리터럴

王林

풀어 주다： 2024-02-08 22:00:11

앞으로

1248명이 탐색했습니다.

Go 泛型：无效的复合文字

php 편집기 Xigua는 "Go Generics: Invalid 복합 리터럴"이라는 최신 정보를 제공합니다. Go 언어 커뮤니티에서 제네릭은 항상 큰 관심사였습니다. Go 1.18이 출시되면서 제네릭이 Go 언어의 표준 라이브러리에 공식적으로 포함됩니다. 그러나 이 결정이 모든 사람에게 받아들여지는 것은 아니다. 이 글에서는 독자들이 이 기술을 더 잘 이해할 수 있도록 돕고 실제 개발에 적용할 수 있는 참고 자료를 제공하기 위해 Go 언어의 제네릭 구현과 관련 논란 및 논의에 대해 논의할 것입니다.

질문 내용

다음 코드는 "잘못된 복합 리터럴 유형 t" 오류를 발생시킵니다.

으아악

인터페이스만 thing中包含thing，或者删除a string和b int，那么foo和bar정확히 동일하게 만들면 코드가 오류 없이 실행됩니다. 그러나 이것이 제네릭의 목적을 무너뜨리는 것일까요? 특히 어떤 필드에도 액세스할 수 없는 경우 왜 이와 같은 일반 유형을 인스턴스화할 수 없습니까?

https://github.com/golang/go/issues/48522와 관련이 있을 수 있습니다.

해결 방법

대부분의 일반 유형은 복합 리터럴에 유효한 유형이 아닙니다. 하지만 제네릭 유형의 값을 생성하는 다른 방법이 있기 때문에 문제가 되지 않습니다.

새 0 값에 대한 포인터 만들기:

으아악

또는 포인터가 아닌 0 값을 생성하세요:

으아악

이런 식으로 오류가 발생하는 왜 에 대해서는 특정 문제를 해결하기 위해 수정된 사양의 설명이 있습니다.

복합 텍스트의 경우:

리터럴 유형의 핵심 유형 t는 구조, 배열, 슬라이스 또는 맵 유형이어야 합니다

핵심형이란 무엇인가요?

[...] t의 유형 세트에 있는 모든 유형의 기본 유형인 단일 유형 u가 존재하는 경우 인터페이스 t에는 핵심 유형이 있습니다

다른 인터페이스에는 핵심 유형이 없습니다.

기본 유형은 무엇인가요?

모든 유형 t에는 기본 유형이 있습니다. t가 미리 선언된 부울, 숫자 또는 문자열 유형 중 하나이거나 유형 리터럴인 경우 해당 기본 유형은 t 자체입니다. 그렇지 않은 경우 t의 기본 유형은 선언에서 t가 참조하는 유형의 기본 유형입니다.

"유형 리터럴"은 리터럴 구조 유형을 참조할 수 있습니다. 예: struct{int id}。因此，当 foo 和 bar 都具有 struct{int id} 的底层类型时，则 thing 具有 struct{int id} 的核心类型，因此复合文字是可能的。当 foo 和 bar 没有相同的底层类型时，则 thing 핵심 유형이 없고 복합 리터럴이 불가능하므로 오류가 발생합니다.