Aller aux génériques : pourquoi ne puis-je pas attribuer « Props[Example] » à « Props[Generic] » ?

Incompatibilité d'argument de type générique : pourquoi les affectations échouent

Dans Go, tenter d'attribuer une valeur de type Props[Exemple] à une variable de tapez Props[Generic] entraînera une erreur. En effet, malgré l'implémentation de l'interface générique par exemple, l'instanciation d'un type générique avec des arguments de type différents produit des types nommés distincts.

Instanciation de type avec des génériques

Lors de la spécification d'un type argument pour un type générique, que ce soit dans les arguments de fonction ou dans les types de retour, un nouveau type distinct est instancié. Par exemple :

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

Cette ligne instancie Props avec l'argument de type Generic, ce qui donne Props[Generic]. De même, ExempleProps est instancié avec l'argument de type Exemple, ce qui donne Props[Example].

Incomparabilité et affectation de type

As Props[Example] et Props[Generic] sont deux types nommés différents, ils ne peuvent pas être attribués l'un à l'autre, même si les types utilisés comme arguments (par exemple, Exemple et Générique) satisfont à une affectation condition comme l'implémentation d'une interface.

Ce concept s'applique de la même manière aux génériques instanciés avec any. any est un type statique, un alias pour interface{}, et il ne correspond pas à T ou à un type particulier.

Résoudre le problème

Pour résoudre l'erreur d'affectation tout en conservant la flexibilité, envisagez d'instancier des Props avec un paramètre de type :

type Props[G Generic] struct{ Value G }

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

Cela vous permet d'instancier des Props avec un argument de type qui répond aux exigences nécessaires contrainte et utilisez la valeur renvoyée comme prévu.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!