Comment les interfaces covariantes et contravariantes améliorent-elles la sécurité des types en C# ?

Compréhension approfondie des interfaces covariantes et contravariantes en C#

En C#, les interfaces covariantes et contravariantes offrent une flexibilité dans la définition des relations entre les types. Ils permettent à un objet d'être traité respectivement comme membre d'un type de base ou d'un type dérivé.

Interface covariante (sortie)

L'interface covariante est définie comme suit :

<code>interface IBibble<out T></code>

Un objet d'un type dérivé peut être considéré comme la contrepartie d'un objet de son type de base. Ceci est utile lors du renvoi de valeurs ou de l'accès à des propriétés en lecture seule.

Interface onduleur (In)

En revanche, l'interface de l'onduleur est représentée comme :

<code>interface IBibble<in T></code>

Permet de transmettre des objets de types de base en tant qu'arguments ou de les stocker dans des propriétés en écriture seule. Ceci est utile pour transmettre des objets à des fonctions qui opèrent sur leurs types de base ou ancêtres.

Exemple de covariante :

Supposons que nous ayons une classe de base Base et une classe dérivée Descendant. Une interface de sortie IBibbleOut<T> peut être utilisée pour renvoyer une collection de Descendants. Puisque chaque descendant est également un objet de base, nous pouvons convertir le résultat en toute sécurité vers IBibbleOut<Base>, en garantissant qu'aucun objet de base n'est ajouté à la collection.

Exemple inverse :

De même, l'interface contravariante IBibbleIn<T> peut être appliquée aux méthodes qui acceptent une collection d'objets de base. Puisque Descendant hérite de son type de base, nous pouvons transmettre une collection de Descendants à la méthode en la convertissant en IBibbleIn<Descendant>, garantissant que la méthode peut fonctionner sur n'importe quel type de Descendant.

Importance du modificateur de variance :

Le modificateur de variance joue un rôle essentiel dans le maintien de la sécurité du type. Sans eux, des conversions incorrectes peuvent provoquer des erreurs d'exécution ou un comportement inattendu. En marquant explicitement une interface comme covariante ou contravariante, le compilateur peut vérifier que les opérations sont cohérentes avec les relations de types attendues.

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!