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 <p>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.</p><p>Kesimpulan:</p><p>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.</p>

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!