Go mit Generics: Erkundung von „*T ist Zeiger auf Typparameter, nicht Typparameter“

Im Bereich von Go Bei der Verwendung von Generika ist es beim Programmieren von entscheidender Bedeutung, die Natur der Typparameter und ihre Einschränkungen zu verstehen. Eine häufige Gefahr besteht darin, den Typparameter selbst mit seinen Einschränkungen zu verwechseln.

Betrachten Sie das Beispiel der Implementierung eines Objektspeichers für die Typen A und B mit einem gemeinsamen ID-Feld. In der Hoffnung, dem DRY-Prinzip zu folgen, verwendet ein Entwickler Generika, um einen Shop mit einer GS-Schnittstelle zu erstellen, die allgemeine Vorgänge darstellt. Beim Versuch, ein Objekt hinzuzufügen und sein ID-Feld über die GS-Schnittstelle festzulegen, gibt der Compiler jedoch einen Fehler aus:

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

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

Die Dekodierung dieser Fehlermeldung führt zu einem grundlegenden Verständnis: Ein Typparameter unterscheidet sich von seinem Zwang. Die Einschränkung legt die zulässigen Operationen für T fest, stellt jedoch keine Anforderungen an T (den Zeiger auf T). Folglich erbt der Methodensatz von T weder die für den konkreten Typ A deklarierten Zeigerempfängermethoden, noch implementiert er implizit Schnittstellen, die auf *A anwendbar sind.

Um dieses Problem zu lösen, müssen zusätzliche Einschränkungen explizit definiert werden , wie im folgenden Beispiel gezeigt:

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

Um den zweiten Teil des Fehlers zu beheben, der die Implementierung von Einschränkungen betrifft, ist es wichtig zu beachten, dass MyStore mit A instanziiert werden sollte, um die Einschränkung zu erfüllen dass SetId() auf A und nicht auf A definiert ist. Anschließend würde eine Anpassung des Typs des Strukturfelds und der Methodensignatur, um diese Änderung widerzuspiegeln, das gewünschte Verhalten ermöglichen.

Zusammenfassend lässt sich sagen, dass „ Der Fehler „*T ist Zeiger auf Typparameter, nicht Typparameter“ erfordert eine klare Unterscheidung zwischen Typparametern und ihren Einschränkungen. Dadurch wird sichergestellt, dass Einschränkungen explizit deklariert und implementiert werden, wodurch unerwartete Compilerfehler verhindert werden.

Das obige ist der detaillierte Inhalt vonWarum löst Go bei der Verwendung von Generics den Fehler „*T ist Zeiger auf Typparameter, nicht Typparameter' aus?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!