Mengapa Adakah Go Throw "*T ialah penunjuk kepada parameter taip, bukan parameter taip" Ralat Semasa Menggunakan Generik?

Go with Generics: Meneroka "*T ialah penunjuk kepada parameter taip, bukan parameter taip"

Dalam alam Go pengaturcaraan, apabila menggunakan generik adalah penting untuk memahami sifat parameter jenis dan kekangannya. Perangkap biasa terletak pada mengelirukan parameter jenis itu sendiri dengan kekangannya.

Pertimbangkan contoh melaksanakan stor objek untuk jenis A dan B dengan medan ID kongsi. Dengan harapan untuk mengikuti prinsip DRY, pembangun menggunakan generik untuk mencipta kedai dengan antara muka GS yang mewakili operasi biasa. Walau bagaimanapun, apabila cuba menambah objek dan menetapkan medan IDnya menggunakan antara muka GS, pengkompil menimbulkan ralat:

item.SetId undefined (type *T is pointer to type parameter, not type parameter)

A does not implement GS (SetId method has pointer receiver)

Menyahkod mesej ralat ini membawa kepada pemahaman asas: parameter jenis berbeza daripadanya kekangan. Kekangan menetapkan operasi yang dibenarkan pada T tetapi tidak mengenakan sebarang keperluan pada T (penunjuk kepada T). Akibatnya, set kaedah T tidak mewarisi kaedah penerima penuding yang diisytiharkan pada jenis konkrit A, dan tidak juga secara tersirat melaksanakan antara muka yang digunakan untuk *A.

Menyelesaikan isu ini melibatkan penentuan kekangan tambahan secara eksplisit , seperti yang ditunjukkan dalam contoh berikut:

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

Untuk menangani bahagian kedua ralat, berkenaan dengan pelaksanaan kekangan, adalah penting untuk ambil perhatian bahawa MyStore harus digunakan segera dengan A untuk memenuhi kekangan bahawa SetId() ditakrifkan pada A, bukan A. Selepas itu, melaraskan jenis medan struct dan tandatangan kaedah untuk mencerminkan perubahan ini akan membolehkan tingkah laku yang diingini.

Ringkasnya, pengendalian dengan berkesan " *T ialah penunjuk kepada parameter jenis, bukan ralat parameter jenis" memerlukan perbezaan yang jelas antara parameter jenis dan kekangannya. Ini memastikan bahawa kekangan diisytiharkan dan dilaksanakan secara eksplisit, mengelakkan ralat pengkompil yang tidak dijangka.

Atas ialah kandungan terperinci Mengapa Adakah Go Throw "*T ialah penunjuk kepada parameter taip, bukan parameter taip" Ralat Semasa Menggunakan Generik?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!