Mengapa Kod Generik Go Gagal dengan 'tidak boleh menggunakan pembolehubah jenis *T sebagai jenis dalam hujah'?

Memahami Ralat dalam Kod Generik

Dalam Go, ralat biasa apabila bekerja dengan generik ialah "tidak boleh menggunakan pembolehubah jenis *T sebagai hujah jenis" apabila mencuba untuk menghantar penunjuk kepada jenis generik kepada fungsi. Ini berlaku kerana parameter jenis generik T tidak bersamaan dengan jenis kekangan yang digunakan untuk menyekatnya.

Memahami Kekangan Jenis

Dalam kod yang disediakan, antara muka FooBar ditakrifkan sebagai gabungan dua jenis foo dan bar. Ini bermakna bahawa mana-mana jenis yang melaksanakan rentetan kaedah a() boleh diberikan kepada antara muka FooBar. Walau bagaimanapun, parameter jenis generik T yang digunakan dalam fungsi blah tidak secara tersirat bersamaan dengan FooBar.

Melaksanakan Kaedah pada Penunjuk

Selain itu, kaedah dalam jenis foo dan bar dilaksanakan pada penerima penuding (foo dan bar). Ini bermakna rentetan kaedah a() sebenarnya ditakrifkan untuk penunjuk kepada jenis ini, bukan jenis itu sendiri.

Menyelesaikan Ralat

Untuk menyelesaikan ralat, anda perlu sama ada menegaskan bahawa parameter jenis generik T melaksanakan antara muka rentetan atau mentakrifkan penyatuan jenis secara eksplisit dalam kekangan itu sendiri.

Menegaskan Rentetan Pelaksanaan

func blah[T FooBar]() {
    t := new(T)
    do(any(t).(stringer))
}

Walau bagaimanapun, pendekatan ini mengetepikan keselamatan jenis dan boleh menyebabkan panik masa jalan.

Menentukan Kesatuan Secara Eksplisit

type FooBar[T foo | bar] interface {
    *T
    stringer
}

func blah[T foo | bar, U FooBar[T]]() {
    var t T
    do(U(&t))
}

Pendekatan ini mengekalkan keselamatan jenis dan membolehkan anda untuk memulakan parameter jenis generik T kepada bukan nol nilai.

Kesimpulan

Memahami hubungan antara parameter jenis generik dan kekangannya adalah penting untuk menggunakan generik secara berkesan dalam Go. Dengan mentakrifkan antara muka dan kekangan dengan teliti, anda boleh menguatkuasakan keselamatan jenis dan mengelakkan ralat masa jalan.

Atas ialah kandungan terperinci Mengapa Kod Generik Go Gagal dengan 'tidak boleh menggunakan pembolehubah jenis *T sebagai jenis dalam hujah'?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!