Bagaimanakah Saya Boleh Mentakrifkan Kekangan Jenis Rekursif dalam Go2 Generik Menggunakan Antara Muka?

Mentakrifkan Kekangan Jenis Rekursif Menggunakan Antara Muka Pratakrif

Dalam generik Go2, antara muka boleh digunakan untuk menentukan kekangan jenis pada jenis generik. Walau bagaimanapun, draf semasa tidak menyediakan cara untuk memaksa pelaksanaan kaedah dengan hujah jenis generik itu sendiri.

Untuk mengatasi had ini, pertimbangkan pendekatan berikut:

Tentukan Antara Muka Rekursif:

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

Tentukan Fungsi dengan Parameter Jenis Generik Terkekang oleh Antara Muka Rekursif:

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

Penggunaan:

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
}

Penjelasan:

The kekangan jenis T Lesser[T] memastikan bahawa jenis T generik mesti melaksanakan kaedah Less dengan hujah jenis T. Ini membenarkan kekangan jenis rekursif.

Pendekatan ini membolehkan anda menentukan jenis tersuai seperti Apple dan Jingga yang melaksanakan kaedah Less mereka sendiri, memenuhi kekangan rekursif dan membolehkan penggunaan fungsi IsLess dengan tersuai tersebut jenis.

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