Warum können die generischen Typen von Go mit unterschiedlichen Typargumenten nicht einander zugewiesen werden?

Warum können generische Instanzen desselben Typs nicht einander zugewiesen werden?

Go verbietet die Zuweisung von Instanzen generischer Typen mit unterschiedlichem Typ Argumente zueinander, auch wenn die Typargumente Schnittstellenbeziehungen erfüllen. Um dies zu veranschaulichen, betrachten Sie den folgenden Code:

type Generic interface {
    ID() string
}

type Props[G Generic] struct{}

type Example struct {
    id string
}

func (example Example) ID() string {
    return example.id
}

var ExampleProps = Props[Example]{}

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

Die Ausführung dieses Codes führt zu einem Kompilierungsfehler:

cannot use ExampleProps (variable of type Props[Example]) as Props[Generic] value in return statement

Dieser Fehler tritt auf, weil durch die Instanziierung eines generischen Typs mit einem neuen Typargument erstellt wird ein eigenständiger Typ. Konkret:

• Props[Example] ist ein benannter Typ und
• Props[Generic] ist ein anderer benannter Typ.

Diese beiden Typen sind es nicht austauschbar, obwohl „Example“ „Generic“ implementiert. Daher ist die Zuweisung von exampleProps (einer Instanz von Props[Example]) zu Props[Generic] ungültig.

Dieses Verhalten erstreckt sich auf Generics, die mit any instanziiert werden. any ist lediglich ein statischer Typ, der eine leere Schnittstelle aliast: interface{}. Es ist nicht gleichbedeutend mit „beliebiger Typ“ oder T. Daher ist ein mit „any“ instanziierter Typ nicht einem Typ zuweisbar, der mit einem anderen spezifischen Typ instanziiert wurde.

Um dieses Problem zu beheben, können Sie Props mit einem Typparameter instanziieren , um sicherzustellen, dass sowohl die Eingabe- als auch die Ausgabetypen der Funktion konsistent sind. Zum Beispiel:

type Props[G Generic] struct{ Value G }

func Problem[T Generic](v T) Props[T] {
    return Props[T]{ Value: v }
}

func main() {
    a := Problem(Example{})
    fmt.Println(a)
}

Das obige ist der detaillierte Inhalt vonWarum können die generischen Typen von Go mit unterschiedlichen Typargumenten nicht einander zugewiesen werden?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!