Go Generics의 Union 제약 조건과 함께 공유 메서드를 사용할 수 없는 이유는 무엇입니까?

Go Generics의 Union 제약 조건: 해결되지 않은 제한

Go Generics 영역에서 Union 제약 조건 유형은 약간의 혼란을 불러일으켰습니다. 공용체 제약 조건 내의 유형에 대해 일반적인 방법을 사용하려고 하면 컴파일러에서 오류가 발생하여 개발자는 머리를 긁적입니다.

다음 코드를 고려하세요.

type A struct {}
type B struct {}
type AB interface { *A | *B }

func (a *A) some() bool { return true }
func (b *B) some() bool { return false }
func some[T AB](x T) bool { return x.some() } // Compilation error

컴파일러는 다음과 같이 불평합니다. *A와 *B 모두 some 메소드를 구현하더라도 x.some은 정의되지 않습니다. 공유 메소드를 활용할 수 없는 경우 왜 통합 제약 조건을 정의해야 할까요?

Go 추적기에서 제안한 해결 방법은 인터페이스 제약 조건에 메소드를 추가하는 것입니다.

type AB interface { *A | *B ; some() bool }
func some[T AB](x T) bool { return x.some() } // Compiles

그러나 이것은 불완전한 해결책입니다. Go의 유형 결합 제약 조건은 명시적인 인터페이스 선언 없이도 공유 메서드를 허용해야 합니다. 불행하게도 이는 릴리스 노트에 문서화된 Go 1.18의 제한 사항입니다.

Go 컴파일러는 현재 P의 제약 조건 인터페이스에서 m이 명시적으로 선언된 경우 유형 매개 변수 유형 P의 x 값에 대해 m 메서드 호출을 지원합니다. .

이러한 제한은 Go 1.19에서 해결될 것으로 예상됩니다. 그때까지 개발자는 해결 방법에 의존하거나 공유 메서드에 대한 통합 인터페이스를 정의해야 합니다.

위 내용은 Go Generics의 Union 제약 조건과 함께 공유 메서드를 사용할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!