Go Generics의 Union 제약 조건이 명시적인 인터페이스 선언 없이 공유 메서드를 호출할 수 있나요?

Go Generics의 Union 제약 조건에 대한 메서드 호출

Go Generics(v1.18)에서는 제한하는 유형 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() } // Compiler error

컴파일러 오류 "x.some undefine" 이는 유형 통합 제약 조건 *A | *B는 *A와 *B 모두에 일부 메서드가 존재한다고 보장하지 않습니다.

이 문제를 해결하려면 인터페이스 제약 조건에 메서드를 추가할 수 있습니다.

type AB interface { *A | *B; some() bool }

func some[T AB](x T) bool { return x.some() } // Works

이것은 *A 또는 *B를 모두 구현하고 some 메소드를 선언하는 유형으로 T를 제한합니다.

그러나 이 솔루션은 유형 결합에서 이상적으로 작동해야 하는 것에 대한 해결 방법으로 간주됩니다. 홀로. Go 1.18에는 현재 P의 제약 조건 인터페이스에서 메서드 m이 명시적으로 선언된 경우에만 컴파일러가 유형 매개 변수 P의 값에 대한 메서드 호출을 지원하는 제한 사항이 있습니다. 인터페이스의 메소드 세트가 인터페이스 유형 세트에 있는 각 유형의 메소드 세트의 교차점이라는 언어 사양에도 불구하고. 이 문제는 Go 1.19에서 해결될 것으로 예상됩니다.

위 내용은 Go Generics의 Union 제약 조건이 명시적인 인터페이스 선언 없이 공유 메서드를 호출할 수 있나요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!