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

사용자 정의 인터페이스로 재귀 유형 제약 조건 정의

Go 제네릭에서는 인터페이스를 사용하여 유형 제약 조건을 정의할 수 있습니다. 그러나 표준 초안은 유형의 메소드에 일반 유형의 인수가 있는 재귀 유형 제약 조건을 허용하지 않습니다.

문제 시나리오

인터페이스를 정의하는 다음 코드를 고려하세요 Lesser 및 함수 IsLess:

type Lesser interface {
    Less(rhs Lesser) bool
}

func IsLess[T Lesser](lhs, rhs T) bool {
    return lhs.Less(rhs)
}

이 코드를 실행하면 오류가 발생합니다.

Int does not satisfy Lesser: wrong method signature
    got  func (Int).Less(rhs Int) bool
    want func (Lesser).Less(rhs Lesser) bool

해결책

이 문제를 해결하기 위해 다음을 정의할 수 있습니다. 간소한 인터페이스와 IsLess 함수는 다음과 같습니다.

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

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

이 정의에서 Lesser 인터페이스는 유형 매개변수 T를 사용하고 Less는 T 유형의 인수를 허용합니다. IsLess 함수는 일반 유형 T를 제한하여 Lesser[T] 인터페이스를 구현합니다.

사용 예

여기 다음은 이 솔루션을 사용하는 예입니다.

type Apple int

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

func main() {
    fmt.Println(IsLess(Apple(10), Apple(20)))   // true
    fmt.Println(IsLess(Apple(20), Orange(30))) // compilation error: type mismatch
}

In 이 예에서

Apple 유형은 Less 메소드가 Apple 유형의 인수를 허용하므로 Lesser[Apple] 인터페이스를 충족합니다. 그런 다음 IsLess 함수를 사용하여 두 개의 Apple 값을 비교할 수 있습니다.

이 접근 방식을 사용하면 재귀적인 유형 제약 조건을 허용하여 유형의 메서드에 인수가 있도록 강제할 수 있습니다. 일반적인 유형입니다.

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