Mengapa Saya Tidak Boleh Menggunakan Kaedah pada Penunjuk kepada Parameter Jenis dalam Go Generics?

Generik dalam Go: Meneroka Parameter dan Kekangan Jenis

Memahami Parameter dan Kekangan Jenis

Dalam model pengaturcaraan generik Go, parameter jenis mewakili jenis pemegang tempat yang boleh dijadikan instantiated dengan jenis konkrit. Walau bagaimanapun, parameter jenis tidak membayangkan sebarang sifat atau set kaedah khusus untuk jenis penunjuknya (*T). Kekangan, sebaliknya, mentakrifkan keperluan yang mesti dipenuhi oleh jenis konkrit untuk melaksanakan parameter jenis.

Isu Parameter Penunjuk untuk Menaip

Ralat "jenis T ialah penunjuk kepada parameter jenis, bukan parameter jenis" timbul apabila anda cuba menggunakan kaedah yang ditakrifkan pada penuding jenis konkrit (T) sebagai sebahagian daripada set kaedah parameter jenis. Ini kerana parameter jenis dan jenis penudingnya ialah entiti yang berbeza.

Menyelesaikan Isu dengan Kekangan

Untuk menyelesaikan isu ini, anda boleh mengisytiharkan kekangan yang memerlukan jenis konkrit untuk melaksanakan kaedah pada kedua-dua kaedah secara eksplisit jenis dan penunjuknya:

func Foo[T any, PT interface { SetId(string); *T}](v T) {}

Melaksanakan Kekangan

Apabila melaksanakan kekangan, pastikan kaedah diisytiharkan dengan sewajarnya. Dalam kes antara muka GS dengan kaedah SetId yang diisytiharkan pada T, anda harus membuat instantiate MyStore dengan A dan mengubah suai jenis medan dalam MyStore agar sepadan dengan jenis konkrit:

var storeA = &MyStore[*A]{}
type MyStore[T GS] struct {
    values map[string]T 
}
func (s *MyStore[T]) add(item T) {}

Dengan memperhalusi kekangan dan melaksanakan kaedah sewajarnya, anda boleh menggunakan generik dengan berkesan dalam kod Go anda.

Atas ialah kandungan terperinci Mengapa Saya Tidak Boleh Menggunakan Kaedah pada Penunjuk kepada Parameter Jenis dalam Go Generics?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!