Im generischen Programmiermodell von Go stellen Typparameter Platzhaltertypen dar, die kann mit konkreten Typen instanziiert werden. Typparameter implizieren jedoch keine spezifischen Eigenschaften oder Methodensätze für ihre Zeigertypen (*T). Einschränkungen hingegen definieren die Anforderungen, die konkrete Typen erfüllen müssen, um einen Typparameter zu implementieren.
Der Fehler „Typ T ist ein Zeiger auf.“ „Typparameter, nicht Typparameter“ tritt auf, wenn Sie versuchen, Methoden zu verwenden, die auf dem Zeiger eines konkreten Typs (T) als Teil des Methodensatzes des Typparameters definiert sind. Dies liegt daran, dass der Typparameter und sein Zeigertyp unterschiedliche Einheiten sind.
Um dieses Problem zu lösen, können Sie Einschränkungen explizit deklarieren, die konkrete Typen erfordern, um Methoden auf beiden zu implementieren der Typ und sein Zeiger:
func Foo[T any, PT interface { SetId(string); *T}](v T) {}
Stellen Sie beim Implementieren von Einschränkungen sicher, dass die Methoden ordnungsgemäß deklariert sind. Im Fall der GS-Schnittstelle mit einer auf T deklarierten SetId-Methode sollten Sie MyStore mit A instanziieren und den Typ des Felds in MyStore so ändern, dass er dem konkreten Typ entspricht:
var storeA = &MyStore[*A]{} type MyStore[T GS] struct { values map[string]T } func (s *MyStore[T]) add(item T) {}
Indem Sie die Einschränkungen verfeinern und Methoden entsprechend implementieren, können Sie Generics effektiv in Ihrem Go-Code nutzen.
Das obige ist der detaillierte Inhalt vonWarum kann ich in Go Generics keine Methoden für einen Zeiger auf einen Typparameter verwenden?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!