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 dijadikan instantiated dengan A untuk memenuhi kekangan yang SetId() ditakrifkan pada A, bukan A. Selepas itu, melaraskan jenis struct tandatangan medan dan kaedah untuk mencerminkan perubahan ini akan membolehkan tingkah laku yang diingini.

Ringkasnya, mengendalikan "*T dengan berkesan adalah penunjuk kepada parameter jenis, bukan parameter jenis ralat" 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!