Bagaimanakah Saya Boleh Menentukan Kekangan Jenis Rekursif dalam Go 2 Generik?

Cara Menentukan Kekangan Jenis Rekursif Menggunakan Antara Muka Tersuai

Dalam Go2 generik, anda boleh menggunakan antara muka untuk mengekang jenis generik, memastikan ia melaksanakan kaedah tertentu . Walau bagaimanapun, menguatkuasakan pelaksanaan kaedah dengan hujah jenis generik tidak dibenarkan dalam draf semasa.

Memperkenalkan Penyelesaian:

Draf baharu membenarkan untuk menentukan antara muka Lesser dan IsLess berfungsi sebagai:

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

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

Penyelesaian ini menguatkuasakan bahawa T mestilah daripada jenis yang melaksanakan antara muka Lesser, yang memerlukan Less kaedah mengambil hujah jenis T. Dengan mentakrifkan kekangan T Lesser[T], kami mencipta kekangan jenis rekursif.

Contoh Praktikal:

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
}

Dalam contoh ini, jenis tersuai Apple dan Orange kedua-duanya memenuhi keperluan Lesser dan boleh diserahkan kepada IsLess. Walau bagaimanapun, menghantar jenis int atau pencampuran (cth., Apple dan Orange) akan mengakibatkan ralat penyusunan disebabkan oleh kekangan jenis.

Kesimpulan:

Penyelesaian ini membenarkan kekangan jenis rekursif menggunakan antara muka yang ditentukan dalam draf generik Go2 baharu, membolehkan anda menguatkuasakan perhubungan yang kompleks antara jenis generik dan kaedahnya.

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