Mengapa Saya Mendapat 'Jenis *T ialah Penunjuk kepada Parameter Taip, Bukan Parameter Taip' Apabila Menggunakan Generik dalam Go?

Go with Generics: Type *T is Pointer to Type Parameter, Not Type Parameter

Memahami Jenis Parameter dan Kekangan

Apabila menggunakan generik dalam Go , adalah penting untuk membezakan antara parameter jenis dan kekangannya. Parameter jenis dilambangkan dengan huruf besar, seperti T, manakala kekangan ialah jenis antara muka yang mentakrifkan tingkah laku yang diperlukan oleh parameter jenis. Contohnya:

<code class="go">type GS interface {
    Id() string
    SetId(string)
}</code>

Dalam kes ini, GS ialah kekangan, yang menyatakan bahawa jenis yang melaksanakan GS mesti mempunyai kaedah Id() dan SetId() dengan tandatangan tertentu.

Jenis * T vs. Parameter Jenis

Apabila menggunakan parameter jenis seperti T dalam generik, adalah penting untuk memahami bahawa *T berbeza daripada T. *T mewakili penunjuk kepada parameter jenis T.

Penjelasan Ralat

Dalam contoh anda, ralat yang dihadapi ialah:

type *T is pointer to type parameter, not type parameter

Ralat ini berlaku apabila cuba menggunakan kaedah penunjuk (SetId() dalam kes ini) pada parameter jenis (T ). Walau bagaimanapun, kaedah penuding hanya tersedia pada penuding kepada parameter jenis (*T) dan bukan pada parameter jenis 本身.

Menyelesaikan Isu

Untuk menyelesaikan isu ini, anda perlu secara eksplisit nyatakan kekangan pada penunjuk kepada parameter jenis. Ini boleh dilakukan dengan menambah kekangan tambahan:

<code class="go">type GS interface {
    Id() string
    SetId(string)
}

type PT interface {
    *GS
}</code>

Kini anda boleh menggunakan PT sebagai kekangan pada MyStore:

<code class="go">type MyStore[T PT] struct {
    values map[string]T
}</code>

Menukar kejadian *T kepada T dalam MyStore struct dan definisi kaedah juga akan diperlukan.

Pelaksanaan Kekangan

Mesej ralat juga menunjukkan bahawa jenis A tidak melaksanakan antara muka GS kerana kaedah SetId() dalam A mempunyai penerima penunjuk. Untuk membetulkannya, anda perlu memastikan bahawa jenis A melaksanakan antara muka GS dengan betul:

<code class="go">func (a *A) SetId(id string) { a.ID = id }</code>

Dengan pengubahsuaian ini, kod harus berjaya disusun.

Atas ialah kandungan terperinci Mengapa Saya Mendapat 'Jenis *T ialah Penunjuk kepada Parameter Taip, Bukan Parameter Taip' Apabila Menggunakan Generik dalam Go?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!