c # covariance et contravariance: restrictions de type de valeur

L'interface ienumerable en C # présente la 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 à ienumerable se traduit par 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 ( objet ), tandis que le déballage l'inverse. ienumerable Paramètre de type t ne fonctionne qu'avec des types de référence. L'attribution d'un ienumerable d'un type de valeur à un ienumerable 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é. Parce que le processus de boxe de Value Types rompt cette préservation, ils sont incompatibles avec la covariance et la contravariance.