Convertir la liste
Lorsqu'il s'agit d'héritage, il est parfois nécessaire de convertir une liste d'objets de classe dérivés en une liste d'objets de classe de base. Cependant, cela peut conduire à des erreurs s’il n’est pas géré correctement.
Erreur lors de la conversion de liste à l'aide de données inscriptibles
Considérez le code suivant :
<code class="language-c#">using System; using System.Collections.Generic; class Animal { public virtual void Play(List<Animal> animal) { } } class Cat : Animal { public override void Play(List<Animal> animal) { } } class Program { static void Main(string[] args) { Cat cat = new Cat(); cat.Play(new List<Cat>()); } }</code>
Ce code générera une erreur de compilation en raison d'une incompatibilité dans les types d'objets de la liste. Animal attend une liste de son propre type (Animal), mais cette méthode est appelée avec une liste d'objets Cat.
Raison de l'erreur
Cette erreur se produit car la liste est accessible en écriture. Si la conversion est autorisée, elle peut entraîner des problèmes de manipulation des données. Par exemple, un objet chien pourrait être ajouté à une liste de chats, ce qui violerait la sécurité du type.
Covariance générique
En C# 4, une fonctionnalité appelée covariance générique a été introduite. Cela permet de convertir une liste de classes dérivées en une liste de classes de base, à condition que ces types garantissent la sécurité des types. Un exemple de type sûr pour la covariance générique est IEnumerable<T>
, qui représente une séquence d'objets mais dans laquelle il est impossible d'écrire.
Mise en œuvre de la covariance générique
Pour implémenter la covariance générique, vous pouvez modifier la signature de la méthode dans la classe de base pour utiliser IEnumerable<T>
comme type de paramètre, comme ceci :
<code class="language-c#">class Animal { public virtual void Play(IEnumerable<Animal> animals) { } } class Cat : Animal { public override void Play(IEnumerable<Animal> animals) { } } class Program { static void Main() { Cat cat = new Cat(); cat.Play(new List<Cat>()); } }</code>
Dans cet exemple, la méthode Play dans Animal prend IEnumerable<Animal>
comme paramètre, ce qui lui permet d'accepter une séquence d'objets Animal et Cat.
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!