Que sont les mots clés covariance, contravariance et « in »/« out » dans les génériques .NET ?

Explication détaillée de la covariance, de la contravariance et du "in/out" dans les génériques .NET

La covariance et la contravariance jouent un rôle crucial dans la conception des interfaces et des délégués génériques .NET. Ils déterminent comment remplacer en toute sécurité les types génériques dans différents scénarios.

Covariance et contravariance

La covariance permet d'utiliser un type plus "dérivé" (plus spécifique) à la place d'un type primitif, à condition que le type primitif ne soit qu'une "valeur de retour" (par exemple, comme valeur de retour). En revanche, la contravariance permet d'utiliser un type plus « de base » (moins spécifique) à la place du type d'origine, à condition que le type d'origine ne soit utilisé que comme « entrée » (par exemple, comme paramètre de méthode).

« dedans » et « dehors »

Les mots-clés "in" et "out" sont respectivement des abréviations de covariance et contravariance. Lorsqu'un type générique apparaît uniquement comme valeur de retour, utilisez "out" ; lorsqu'un type générique apparaît uniquement comme paramètre de méthode, utilisez "in".

Clarification de la relation

L'exemple de l'article sur l'incapacité de traiter List comme List illustre le concept de contravariance. Écrire dans un type (dérivé) plus spécifique signifie utiliser une contrainte « in » (contravariance) car le type de données en cours d'écriture doit être plus spécifique.

Explication détaillée de l'utilisation des interfaces génériques

Pour une compréhension plus approfondie de la covariance et de la contravariance, considérez les deux méthodes génériques suivantes :

<code>public Base DoSomething(int variable)
public Derived DoSomethingElse(int variable)</code>

Supposons une interface MyInterface, qui a une méthode MyFunction(int variable), qui renvoie un T.

• Utilisez "out" pour modifier T : interface MyInterface<out T> indique que T ne peut être utilisé que comme type de retour. L'attribution de MyInterface à MyInterface est valide car Derived est un type dérivé de Base.
• Utilisez "in" pour modifier T : interface MyInterface<in T> indique que T ne peut être utilisé que comme paramètre de méthode. L'attribution de MyInterface à MyInterface n'est pas valide car elle viole la règle de contravariance.

Résumé

Comprendre les concepts de covariance, de contravariance et d'« entrée/sortie » est crucial pour utiliser efficacement les génériques dans .NET. Il vous permet de créer du code de type sécurisé en garantissant que les types génériques sont remplacés correctement en fonction de leur utilisation.

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!