Pourquoi la covariance ne fonctionne-t-elle pas avec des types de valeur en C #?

C # Covariance et contre-lamence: Type de valeur Restrictions

L'interface IEnumerable<T> dans C # présente une covariance, permettant l'attribution de références de type dérivé aux références de type de base. Cependant, cela ne s'applique pas aux types de valeur. L'attribution IEnumerable<int> à IEnumerable<object> entraîne une erreur de compilation.

Cette limitation découle de la boxe et du déballage. La boxe convertit un type de valeur en un type de référence (object), tandis que le déballage l'inverse. Le paramètre de type IEnumerable<T> T ne fonctionne qu'avec des types de référence. L'attribution d'un IEnumerable d'un type de valeur à un IEnumerable<object> nécessite la boxe, qui n'est pas implicitement prise en charge pour les types de valeur.

La covariance et la contravariation reposent sur une représentation de valeur cohérente entre les conversions. Les types de valeur, cependant, ne maintiennent pas cette cohérence. La boxe modifie leur représentation, conduisant potentiellement à la perte et à l'instabilité de l'identité, violant les principes des affectations covariantes et contravenantes.

Les écrits d'Eric Lippert sur la représentation et l'identité soulignent que ces conversions exigent la préservation de l'identité. Étant donné que le processus de boxe des types de valeurs rompt cette préservation, ils sont incompatibles avec la covariance et la contravariance.

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!