Comment la covariance et la contravariance améliorent-elles l'utilisation de l'interface en C# ?

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

La covariance et la contravariance sont des concepts de programmation orientée objet qui définissent la manière dont les références sont utilisées avec différents types. En C#, vous pouvez utiliser les syntaxes <out T> et <in T> pour marquer une interface comme covariante ou contravariante respectivement.

Covariance

En C#, la covariance permet de traiter les références d'interface comme des références à des types supérieurs dans la hiérarchie. Par exemple, l'interface IBibble<out T> peut se voir attribuer une référence d'instance de IBibble<Descendant>, à condition que la classe Descendant hérite du type T. Cela signifie que tout ce qui peut être exécuté sur IBibble<T> peut également être exécuté sur IBibble<Descendant>.

Onduleur

En C#, la contravariance permet de traiter les références d'interface comme des références à des types inférieurs dans la hiérarchie. Par exemple, l'interface IBibble<in T> peut se voir attribuer une référence d'instance de IBibble<Base>, à condition que le type Base hérite du type T. Cela signifie que tout objet pouvant être attribué à IBibble<Base> peut également être attribué à IBibble<Descendant>.

Utilisations et applications

La covariance est utile lorsque vous travaillez avec des collections d'objets partageant un type de base commun. En utilisant des interfaces covariantes, nous garantissons que les opérations effectuées sur le type de base s'appliquent également à tous les types dérivés.

La contravariance est utile lorsqu'il s'agit d'usines ou de délégués qui acceptent des paramètres de différents types. En utilisant une interface contravariante, nous garantissons que tout objet pouvant être affecté à un type de base peut également être utilisé comme paramètre d'une usine ou d'un délégué.

Exemple

Considérez l'extrait de code suivant :

<code class="language-csharp">namespace SO2719954
{
    class Base { }
    class Descendant : Base { }

    interface IBibbleOut<out T> { }
    interface IBibbleIn<in T> { }

    class Program
    {
        static void Main(string[] args)
        {
            // 协变示例
            IBibbleOut<Base> b = GetOutDescendant(); // IBibbleOut<Descendant> 赋值

            // 逆变示例
            IBibbleIn<Descendant> d = GetInBase(); // IBibbleIn<Base> 赋值
        }

        static IBibbleOut<Descendant> GetOutDescendant() { return null; }
        static IBibbleIn<Base> GetInBase() { return null; }
    }
}</code>

Dans cet exemple, l'interface IBibbleOut<out T> est covariante, permettant à b de référencer Descendant des objets ; l'interface IBibbleIn<in T> est contravariante, permettant à d de référencer Base des objets.

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!