Pourquoi la conversion d'un type dérivé vers un type générique de base échoue-t-elle en C# ?

Casting à partir de types génériques dérivés vers des types génériques de base : analyse de l'incompatibilité

En C#, le modèle d'héritage pour les types génériques conduit souvent à des questions sur conversion des types dérivés aux types de base. Cette requête explore les complexités sous-jacentes et pourquoi une conversion simple d'une classe dérivée vers sa classe de base peut échouer.

L'énigme du casting

Considérez l'extrait de code suivant :

public abstract class EntityBase { }
public class MyEntity : EntityBase { }

public abstract class RepositoryBase<T> where T : EntityBase { }
public class MyEntityRepository : RepositoryBase<MyEntity> { }

Maintenant, examinons la problématique line:

MyEntityRepository myEntityRepo = GetMyEntityRepo(); // whatever
RepositoryBase<EntityBase> baseRepo = (RepositoryBase<EntityBase>)myEntityRepo;

Exécutez ce code et il rencontrera une exception d'exécution. Pourquoi cette tentative de casting échoue-t-elle ?

Variance générique : l'illusion de compatibilité

Intuitivement, nous pourrions supposer qu'une classe dérivée comme MyEntityRepository est également un type de sa base classe, RepositoryBase. Cependant, dans le domaine des génériques, cette hypothèse n'est pas toujours valable.

La variance générique fait référence à la capacité d'un type générique à remplacer son paramètre de type par un type plus ou moins dérivé. Malheureusement, C# ne prend en charge qu'une variance limitée dans certains scénarios spécifiques.

Dans cet exemple, RepositoryBase n'est pas une classe de base de MyEntityRepository. En effet, le paramètre de type T n'est ni covariant ni contravariant par rapport à son type de base.

Covariance : un voyage unilatéral

La covariance permet à une classe générique de faire référence à un paramètre de type plus dérivé que sa classe de base. Ceci est autorisé dans certaines situations où le type générique utilise uniquement son paramètre de type pour renvoyer des valeurs. Cependant, ce n'est pas le cas ici.

Contravariance : An Uphill Battle

Contravariance, en revanche, permet à un type générique d'utiliser un paramètre de type moins dérivé. que sa classe de base lors de l'acceptation de valeurs. Mais encore une fois, cela n'est pas applicable dans ce contexte.

Les protections de sécurité générique

Sans variance générique, le casting d'un type dérivé vers un type de base pourrait conduire à des résultats inattendus. comportement et erreurs d’exécution potentielles. Par exemple, si la propriété RepositoryBase class avait une méthode qui ne pouvait fonctionner que sur des entités de type EntityBase, convertissant MyEntityRepository en RepositoryBase pourrait autoriser des opérations non valides.

Éviter l'écueil du casting

Si vous devez effectuer un cast entre des types génériques, il est essentiel de comprendre les limites de la variance générique. Envisagez d'introduire un casting explicite de la classe de base vers la classe dérivée ou d'utiliser des modèles de conception alternatifs tels que la méthode Factory ou le modèle Bridge pour éviter ces pièges.

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!