Go Generics: Warum kann ich „Props[Example]' nicht „Props[Generic]' zuweisen?

Nichtübereinstimmung von generischen Typargumenten: Warum Zuweisungen fehlschlagen

In Go wird versucht, einer Variablen von einen Wert vom Typ Props[Beispiel] zuzuweisen Der Typ Props[Generic] führt zu einem Fehler. Dies liegt daran, dass die Instanziierung eines generischen Typs mit unterschiedlichen Typargumenten trotz der Implementierung der generischen Schnittstelle durch Beispiel unterschiedliche benannte Typen erzeugt.

Typinstanziierung mit Generika

Bei der Angabe eines Typs Argument für einen generischen Typ, egal ob in Funktionsargumenten oder Rückgabetypen, ein neuer, eindeutiger Typ wird instanziiert. Zum Beispiel:

func Problem() Props[Generic] {
    return ExampleProps
}

Diese Zeile instanziiert Props mit dem Typargument Generic, was zu Props[Generic] führt. In ähnlicher Weise wird „ExampleProps“ mit dem Typargument „Example“ instanziiert, was zu „Props[Example]“ führt. Da es sich um zwei unterschiedliche benannte Typen handelt, können sie nicht einander zugeordnet werden, selbst wenn die als Argumente verwendeten Typen (z. B. Beispiel und Generisch) eine erfüllen Zuweisungsbedingung wie die Implementierung einer Schnittstelle.

Dieses Konzept gilt ähnlich für Generika, die mit any instanziiert werden. any ist ein statischer Typ, ein Alias ​​für interface{}, und er stimmt nicht mit T oder einem bestimmten Typ überein.

Behebung des Problems

Um den Zuweisungsfehler zu beheben Erwägen Sie unter Beibehaltung der Flexibilität die Instanziierung von Props mit einem Typparameter:

Dadurch können Sie Props mit einem Typargument instanziieren, das die erforderliche Einschränkung erfüllt und verwenden Sie den zurückgegebenen Wert wie erwartet.

Das obige ist der detaillierte Inhalt vonGo Generics: Warum kann ich „Props[Example]' nicht „Props[Generic]' zuweisen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!