J'ai un problème à comprendre comment le polymorphisme fonctionne lors de l'utilisation de génériques. À titre d'exemple, j'ai défini le programme suivant:
MyClass newClass = new MyClass(); IMyInterface myInterface = (IMyInterface)newClass;
3 Réponses :
Remarque: Dans tous les cas, vous devrez initialiser le champ code> code> sur un objet concret implémentant lorsque vous gardez la contrainte générique , vous pouvez faire: p> Lorsque vous ne le faites pas, vous pouvez faire: p> ilist > code> MyContainer container = new MyContainer();
container.Contents.Add(new MyClass());
this.CallAllMethodsInContainer(container);
C'est un problème de covariance
http://msdn.microsoft.com/en-us/library /dd799517.aspx
Vous ne pouvez pas lancer myContainer myContainer Sommaire.Ajouter (nouveau autreClassThatimplemplementsImyInterface ())
WOW, cette question a été lancée beaucoup récemment.
Réponse courte: Non, ce n'est pas possible. Voici ce que est possible: et voici pourquoi ce que vous avez essayé n'est pas possible (pris de Considérez la liste Le code ci-dessus illustre ce que signifie être (et ne pas être) a Type Covariant . Notez que la diffusion d'un type pense de cette façon: si un type Incidemment, un type est Contravariant si son paramètre de type générique apparaît uniquement sous la forme d'entrée - c'est-à-dire des paramètres de la méthode. Si un type pense de cette façon: Si un type Votre list list list t t où d dérive de b est possible (en .NET 4.0) si t est covariant ; Un type générique est covariant si son argument de type générique n'apparaît jamais sous la forme de la sortie - c'est-à-dire des propriétés en lecture seule et des valeurs de retour de fonction. T toujours fournit un B , puis une qui fournit toujours un d ( t t car tous les d s sont b s. t est contravariant alors il peut être coulé à un t t Toujours nécessite un B , alors il peut entrer pour une personne qui nécessite toujours un < code> d car, à nouveau, tous d s sont b s. myContainer classe est Ni covariant ni contrevraveurt, car son paramètre de type apparaît dans les deux contextes - comme entrée (via contenu.add ) et comme sortie (via le contenu
C'est là que les gens trotent des mots effrayants comme la covariance et la contrevenance.
@Greg: sur le côté de plus, je me sens comme mon posséder la compréhension de ces concepts a vraiment été enveloppée récemment en raison de la pléthore de questions telles que celles-ci.
Les concepts sont bons, mais les noms sont effrayants. :)
@Greg: convenu. Je propose que nous les changeons à Gobbling and Spewing .