인터페이스를 사용하여 Go2 Generics에서 재귀 유형 제약 조건을 어떻게 정의할 수 있습니까?

미리 정의된 인터페이스를 사용하여 재귀 유형 제약 조건 정의

Go2 제네릭에서는 인터페이스를 사용하여 제네릭 유형에 대한 유형 제약 조건을 지정할 수 있습니다. 그러나 현재 초안은 제네릭 유형 자체의 인수를 사용하여 메서드를 강제로 구현하는 방법을 제공하지 않습니다.

이 제한을 극복하려면 다음 접근 방식을 고려하세요.

재귀 인터페이스 정의:

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

일반 유형 매개변수로 함수 정의 재귀 인터페이스의 제약:

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

사용:

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
}

설명:

유형 제약 조건 T Lesser[T]는 일반 유형 T가 다음을 사용하여 Less 메소드를 구현해야 함을 보장합니다. 이는 유형 T의 인수입니다. 이는 재귀 유형 제약 조건을 허용합니다.

이 접근 방식을 사용하면 자체 Less 메서드를 구현하는 Apple 및 Orange와 같은 사용자 정의 유형을 정의하여 재귀 제약 조건을 충족하고 다음과 함께 IsLess 함수를 사용할 수 있습니다. 사용자 정의 유형입니다.

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