Go 2 Generics에서 재귀 유형 제약 조건을 어떻게 정의할 수 있나요?

사용자 정의 인터페이스를 사용하여 재귀 유형 제약 조건을 정의하는 방법

Go2 제네릭에서는 인터페이스를 사용하여 제네릭 유형을 제한하여 특정 메서드를 구현하도록 할 수 있습니다. . 그러나 현재 초안에서는 제네릭 유형의 인수를 사용하여 메소드 구현을 시행하는 것이 허용되지 않았습니다.

솔루션 소개:

새 초안에서는 Lesser 인터페이스와 IsLess를 정의할 수 있습니다. 함수:

type Lesser[T any] interface {
    Less(T) bool
}

func IsLess[T Lesser[T]](x, y T) bool {
    return x.Less(y)
}

이 솔루션은 T가 인수를 취하는 Less 메소드가 필요한 Lesser 인터페이스를 구현하는 유형이어야 함을 강제합니다. T 유형의 제약 조건 T Lesser[T]를 정의하여 재귀 유형 제약 조건을 생성합니다.

실제 예:

type Apple int

func (a Apple) Less(other Apple) bool {
    return a < other
}

type Orange int

func (o Orange) Less(other Orange) bool {
    return o < other
}

func main() {
    fmt.Println(IsLess(Apple(10), Apple(20)))   // true
    fmt.Println(IsLess(Orange(30), Orange(15))) // false
}

이 예에서 사용자 정의 유형 Apple과 Orange는 모두 Lesser 요구 사항을 충족하고 IsLess에 전달될 수 있습니다. 그러나 int를 전달하거나 유형을 혼합(예: Apple 및 Orange)하면 유형 제약으로 인해 컴파일 오류가 발생합니다.

결론:

이 솔루션을 사용하면 정의된 인터페이스를 사용하여 재귀적인 유형 제약을 허용할 수 있습니다. 새로운 Go2 제네릭 초안에서는 제네릭 유형과 해당 메서드 간의 복잡한 관계를 적용할 수 있습니다.

위 내용은 Go 2 Generics에서 재귀 유형 제약 조건을 어떻게 정의할 수 있나요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!