Mengapa Kekangan `comparable` Go Generics Tidak Boleh Digunakan dengan Operator Pemesanan?

Generik dalam Go: Operator Pesanan Tidak Serasi dengan Kekangan Setanding

Pengenalan

Apabila meneroka generik Go, pembangun mungkin menghadapi kesukaran apabila cuba menggunakan pengendali pesanan seperti > dalam fungsi yang menerima jenis yang memenuhi kekangan setanding. Artikel ini menyelidiki rasional di sebalik ketidakserasian ini dan meneroka penyelesaian yang berpotensi.

Kekangan setanding

Kekangan setanding, seperti yang ditakrifkan dalam spesifikasi bahasa Go, terpakai pada jenis yang menyokong pengendali kesaksamaan (== dan !=). Ini termasuk jenis yang boleh digunakan sebagai kunci peta, termasuk tatasusunan dan struct dengan medan yang setanding.

Operator Pemesanan

Sementara spesifikasi bahasa Go menggunakan istilah "operator perbandingan " untuk merangkumi kedua-dua kesaksamaan dan pengendali pesanan, spesifikasi jelas membezakan antara jenis yang digunakan untuknya. Khususnya, operator pesanan seperti > dan < ditujukan untuk operan yang "tersusun."

Ketidakserasian dengan Sebanding

Malangnya, kekangan sebanding tidak membayangkan bahawa jenis menyokong operator pesanan. Ini terbukti daripada mesej ralat yang ditemui: "operasi tidak sah: tidak boleh membandingkan t1 > t2 (pengendali > tidak ditakrifkan pada T)."

Penyelesaian

Go 1.21 dan Ke Atas

For Go versi 1.21 dan ke atas, pembangun boleh memanfaatkan kekangan jenis cmp.Tertib yang diperkenalkan oleh perpustakaan standard. Kekangan ini dan fungsinya yang berkaitan, Kurang dan Bandingkan, memudahkan perbandingan pada jenis tersusun.

Pergi 1.18 hingga 1.20

Untuk versi Go antara 1.18 dan 1.20, kekangan .Kekangan yang dipesan daripada pakej golang.org/x/exp boleh digunakan untuk perbandingan yang melibatkan operator pesanan.

Atas ialah kandungan terperinci Mengapa Kekangan `comparable` Go Generics Tidak Boleh Digunakan dengan Operator Pemesanan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!