Warum schlägt der generische Code von Go mit der Meldung „Variable vom Typ *T kann nicht als Typ im Argument verwendet werden' fehl?

Den Fehler im generischen Code verstehen

In Go ist ein häufiger Fehler bei der Arbeit mit Generika: „Variable vom Typ *T kann nicht als Typ-Argument verwendet werden“, wenn Sie es versuchen um einen Zeiger auf einen generischen Typ an eine Funktion zu übergeben. Dies liegt daran, dass der generische Typparameter T nicht dem Einschränkungstyp entspricht, der zu seiner Einschränkung verwendet wird.

Grundlegendes zu Typbeschränkungen

Im bereitgestellten Code ist die Schnittstelle FooBar als Vereinigung von zwei definiert Typen foo und bar. Dies bedeutet, dass jeder Typ, der die Methode a() string implementiert, einer FooBar-Schnittstelle zugewiesen werden kann. Der in der Funktion blah verwendete generische Typparameter T ist jedoch nicht implizit äquivalent zu FooBar.

Methoden auf Zeigern implementieren

Darüber hinaus werden die Methoden in den Typen foo und bar auf Zeigerempfängern implementiert (foo und bar). Dies bedeutet, dass die Methode a() string tatsächlich für Zeiger auf diese Typen definiert ist, nicht für die Typen selbst.

Fehler beheben

Um den Fehler zu beheben, müssen Sie entweder bestätigen, dass der Der generische Typparameter T implementiert die Stringer-Schnittstelle oder definiert explizit die Vereinigung von Typen in der Einschränkung selbst.

Bestätigung von Stringer Implementierung

func blah[T FooBar]() {
    t := new(T)
    do(any(t).(stringer))
}

Dieser Ansatz verzichtet jedoch auf die Typsicherheit und könnte zu Laufzeitpaniken führen.

Explizites Definieren der Union

type FooBar[T foo | bar] interface {
    *T
    stringer
}

func blah[T foo | bar, U FooBar[T]]() {
    var t T
    do(U(&t))
}

Dieser Ansatz wahrt die Typsicherheit und ermöglicht Sie können den generischen Typparameter T mit einem Wert ungleich Null initialisieren Wert.

Fazit

Das Verständnis der Beziehung zwischen generischen Typparametern und ihren Einschränkungen ist entscheidend für die effektive Verwendung von Generika in Go. Durch die sorgfältige Definition von Schnittstellen und Einschränkungen können Sie die Typsicherheit erzwingen und Laufzeitfehler vermeiden.

Das obige ist der detaillierte Inhalt vonWarum schlägt der generische Code von Go mit der Meldung „Variable vom Typ *T kann nicht als Typ im Argument verwendet werden' fehl?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!