Mengapa Senarai Terpaut Generik Tidak Boleh Digunakan sebagai Kunci Peta dalam Go (Sebelum 1.20)?

Go Generics: Kekangan Taip untuk Kekunci Peta

Soalan:

Mengapa perkara berikut kod gagal disusun apabila menggunakan senarai pautan generik sebagai peta kunci?

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

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

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

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

Jawapan:

Dalam Go 1.18 dan 1.19, kekangan sebanding yang diisytiharkan didahulukan diperlukan untuk kunci peta dan ia mengehadkan penggunaan kepada jenis yang setanding dengan ketat. sokongan == dan != perbandingan tanpa panik semasa runtime. Antara muka, walaupun menyokong perbandingan kesaksamaan, tidak melaksanakan setanding kerana ia mempunyai set jenis tak terhingga.

Walaupun antara muka List[X] itu sendiri boleh digunakan sebagai kunci peta, struct Cons[X] tidak tidak melaksanakan setanding kerana ia mengandungi medan Senarai[X]. Tiada kekangan yang lebih lemah yang boleh digunakan untuk mengenal pasti jenis yang sesuai untuk digunakan sebagai kunci peta.

Walau bagaimanapun, dalam Go 1.20 (Februari 2023), tingkah laku ini telah diperbaiki. comparable kini menerima semua jenis yang setanding mengikut spesifikasi bahasa, walaupun mereka mungkin panik semasa runtime disebabkan perbandingan. Ini membenarkan kod untuk disusun dengan jayanya.

Kekangan Alternatif:

Jika perlu menggunakan kekangan yang termasuk kaedah isList(), anda boleh menentukan sendiri kekangan seperti berikut:

type List interface {
    comparable
    isList() bool
}

Kemudian, minta struct kunci peta anda melaksanakan antara muka Senarai ini dan bukannya mengisytiharkan medan antara muka.

Atas ialah kandungan terperinci Mengapa Senarai Terpaut Generik Tidak Boleh Digunakan sebagai Kunci Peta dalam Go (Sebelum 1.20)?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!