Go 泛型中如何使用介面實作遞歸類型約束？

預先定義類型的遞歸類型限制

在 Go 泛型中，可以使用介面指定泛型類型的類型限制。然而，強制實現帶有泛型類型參數的方法可能具有挑戰性。

為了在Go 泛型中實現遞歸類型約束，我們可以定義一個接口，其中的方法將泛型類型視為一個參數：

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

然後我們可以創建一個函數，它接受兩個Lesser[T] 類型的參數並傳回一個boolean:

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

現在，可以在函數中使用實作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
}

Lesser[T] 約束確保提供的類型IsLess 函數實作一個採用相同型別參數的 Less 方法。這允許在不使用類型文字的情況下進行遞歸類型約束。

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