Bolehkah Kekangan `comparable` Go Generics Dilonggarkan untuk Kekunci Peta?

Go generik: kekangan jenis untuk kekunci peta?

Dalam Go 1.18 dan lebih awal, kekangan setanding yang diisytiharkan terlebih dahulu diperlukan untuk jenis yang digunakan sebagai kunci peta. Kekangan ini memastikan bahawa jenis menyokong pengendali == dan != dan tidak panik apabila operator ini digunakan.

Walau bagaimanapun, kekangan ini tidak selalunya sesuai untuk jenis yang boleh digunakan sebagai kunci peta. Contohnya, kod berikut mentakrifkan senarai pautan generik:

type List[X any] interface {
    isList()
}

type Cons[X any] struct {
    Data X
    Next List[X]
}

func (Cons[X]) isList() {}

type Nil[X any] struct{}

func (Nil[X]) isList() {}

Kod ini mentakrifkan antara muka Senarai yang dilaksanakan oleh dua jenis: Keburukan dan Tiada. Jenis Keburukan mewakili senarai yang tidak kosong, manakala jenis Nil mewakili senarai kosong.

Kod berikut menggunakan antara muka Senarai untuk membuat peta senarai kepada rentetan:

type List[X any] interface {
    isList()
}

func main() {
    x := Cons[int]{5, Nil[int]{}}
    m := map[List[int]]string{}
    m[x] = "Hi"        // succeeds
    fmt.Println(m[x])  // prints "Hi"
}

Kod ini akan disusun dan dijalankan dengan jayanya. Walau bagaimanapun, jika kami cuba menggunakan kaedah pada jenis Cons, kami akan mendapat ralat pengkompil:

type List[X any] interface {
    isList()
}

func main() {
    x := Cons[int]{5, Nil[int]{}}
    fmt.Println(id(x)) // error: Cons[int] does not implement comparable
}

Mesej ralat menunjukkan bahawa jenis Cons[int] tidak melaksanakan kekangan yang setanding. Ini kerana jenis Cons mempunyai medan jenis List[int], dan antara muka List[int] tidak melaksanakan kekangan setanding.

Satu penyelesaian yang mungkin untuk masalah ini ialah menggunakan kekangan jenis yang lebih lemah. Sebagai contoh, kita boleh menggunakan kekangan berikut:

type List[X any] interface {
    isList()
    Comparable() bool
}

Kekangan ini akan membolehkan kami menggunakan jenis Keburukan sebagai kunci peta, walaupun ia tidak melaksanakan kekangan yang setanding.

Pergi 1.20 (Februari 2023)

Kekangan yang setanding ialah kekangan tangkap semua yang betul untuk kunci peta. Semua jenis yang setanding mengikut spesifikasi Go, walaupun perbandingan mungkin panik pada masa berjalan, boleh memenuhi kekangan yang setanding. Kod anda akan disusun seperti yang dijangkakan pada 1.20.

Ini akhirnya membetulkan ketidakkonsistenan dalam versi Go sebelumnya tentang jenis sebanding dengan spesifikasi vs jenis setanding.

Atas ialah kandungan terperinci Bolehkah Kekangan `comparable` Go Generics Dilonggarkan untuk Kekunci Peta?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!