Bagaimanakah Kekangan Jenis Rekursif Boleh Dicapai dalam Go Generik Menggunakan Antara Muka?

Kekangan Jenis Rekursif dengan Jenis Dipratentukan

Dalam Go generik, menentukan kekangan jenis pada jenis generik menggunakan antara muka adalah mungkin. Walau bagaimanapun, ia boleh mencabar untuk menguatkuasakan pelaksanaan kaedah dengan hujah jenis generik.

Untuk mencapai kekangan jenis rekursif dalam Go generik, kita boleh menentukan antara muka dengan kaedah yang mengambil jenis generik sebagai hujah:

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

Kita kemudian boleh mencipta fungsi yang mengambil dua hujah jenis Lesser[T] dan mengembalikan a boolean:

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

Kini, jenis tersuai yang melaksanakan antara muka Lesser[T] boleh digunakan dalam fungsi:

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
}

Kekangan Lesser[T] memastikan bahawa jenis yang disediakan kepada fungsi IsLess melaksanakan kaedah Less yang mengambil hujah daripada jenis yang sama. Ini membenarkan kekangan jenis rekursif tanpa menggunakan huruf jenis.

Atas ialah kandungan terperinci Bagaimanakah Kekangan Jenis Rekursif Boleh Dicapai dalam Go Generik Menggunakan Antara Muka?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!