如何使用自訂介面在 Go 泛型中定義遞歸類型約束？

使用自訂介面定義遞歸型別約束

在 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
}

在此範例中，Apple 類型滿足Lesser[Apple] 接口，因為其Less 方法接受參數類型Apple。然後，IsLess 函數可用於比較兩個 Apple 值。

此方法允許遞歸類型約束，使您能夠強制類型的方法具有參數通用類型。

以上是如何使用自訂介面在 Go 泛型中定義遞歸類型約束？的詳細內容。更多資訊請關注PHP中文網其他相關文章！