• 从C# 4.0开始,泛型接口和泛型委托都支持协变和逆变,由于历史原因,数组也支持协变。
  • 里氏替换原则:任何基类可以出现的地方,子类一定可以出现。

协变(out)

  • 协变:即自然的变化,遵循里氏替换原则,表现在代码上则是任何基类都可以被其子类赋值,如Animal = Dog、Animal = Cat
  • 使用out关键字声明(注意和方法中修饰参数的out含义不同)
  • 被标记的参数类型只能作为方法的返回值(包括只读属性)
  • 在没有协变时:
    abstract class Animal {}
    class Dog : Animal {}
    class Cat : Animal {} interface IPoppable<T>
    {
    T Pop();
    }
    class MyStack<T> : IPoppable<T>
    {
    private int _pos;
    private readonly T[] _data = new T[100]; public void Push(T obj) => _data[_pos++] = obj;
    public T Pop() => _data[--_pos];
    }

    以下代码是无法通过编译的

    var dogs = new MyStack<Dog>();
    IPoppable<Animal> animals1 = dogs; // 此处会发生编译错误
    Stack<Animal> animals2 = dogs; // 此处会发生编译错误

    此时,我们如果需要为动物园饲养员新增一个输入参数为Stack<Animal>饲喂的方法,一个比较好的方法是新增一个约束泛型方法:

    class Zookeeper
    {
    public static void Feed<T>(IPoppable<T> animals) where T : Animal {}
    }
    // 或者
    class Zookeeper
    {
    public static void Feed<T>(Stack<T> animals) where T : Animal {}
    } // Main
    Zookeeper.Feed(dogs);
  • 现在,C#增加了协变

    使IPoppable<T>接口支持协变
    // 仅仅增加了一个 out 声明
    interface IPoppable<out T>
    {
    T Pop();
    }

    简化Feed方法

    class Zookeeper
    {
    public static void Feed(IPoppable<Animal> animals) {}
    } // Main
    Zookeeper.Feed(dogs);

    协变的天然特性——仅可作为方法返回值,接口(或委托)外部无法进行元素添加,确保了泛型类型安全性,所以不用担心Dog的集合中出现Cat

  • 常用的支持协变的接口和委托有:
    • IEnumerable
    • IEnumerator
    • IQueryable
    • IGrouping<out TKey, out TElement>
    • Func等共17个
    • Converter<in TInput, out TOutput>
    IEnumerable<Dog> dogs = Enumerable.Empty<Dog>();
    IEnumerable<Animal> animals = dogs; var dogList = new List<Dog>();
    IEnumerable<Animal> animals = dogList;
  • 另外,由于历史原因,数组也支持协变,例如
    var dogs = new Dog[10];
    Animal[] animals = dogs;

    但是无法保证类型安全性,以下代码可正常进行编译,但是运行时会报错

    animals[0] = new Cat(); // 运行时会报错

逆变(in)

  • 逆变:即协变的逆向变化,实质上还是遵循里氏替换的原则,将子类赋值到基类上
  • 使用in关键字声明
  • 被标记的参数类型只能作为方法输入参数(包括只写属性)
  • 例如:
    abstract class Animal {}
    class Dog : Animal {}
    class Cat : Animal {} interface IPushable<in T>
    {
    void Push(T obj);
    }
    class MyStack<T> : IPushable<T>
    {
    private int _pos;
    private readonly T[] _data = new T[100]; public void Push(T obj) => _data[_pos++] = obj;
    public T Pop() => _data[--_pos];
    } // Main
    var animals = new MyStack<Animal>();
    animals.Push(new Cat());
    IPushable<Dog> dogs = animals;
    dogs.Push(new Dog());

    逆变的天然特性——仅可作为方法输入参数,接口(或委托)无法进行元素获取,即只能将子类赋值到父类上,进而保证了类型安全性。

  • 另外,常用支持逆变的接口和委托有:
    • IComparer
    • IComparable
    • IEqualityComparer
    • Action等共16个
    • Predicate
    • Comparison
    • Converter<in TInput, out TOutput>
Action<Animal> animalAction = new Action<Animal>(a => { });
Action<Dog> DogAction = animalAction;

你了解C#的协变和逆变吗的更多相关文章

  1. C#4.0泛型的协变,逆变深入剖析

    C#4.0中有一个新特性:协变与逆变.可能很多人在开发过程中不常用到,但是深入的了解他们,肯定是有好处的. 协变和逆变体现在泛型的接口和委托上面,也就是对泛型参数的声明,可以声明为协变,或者逆变.什么 ...

  2. C#协变和逆变

    我们知道在C#中,是可以将派生类的实例赋值给基类对象的.

  3. C# 泛型的协变和逆变

    1. 可变性的类型:协变性和逆变性 可变性是以一种类型安全的方式,将一个对象当做另一个对象来使用.如果不能将一个类型替换为另一个类型,那么这个类型就称之为:不变量.协变和逆变是两个相互对立的概念: 如 ...

  4. 不变(Invariant), 协变(Covarinat), 逆变(Contravariant) : 一个程序猿进化的故事

    阿袁工作的第1天: 不变(Invariant), 协变(Covarinat), 逆变(Contravariant)的初次约 阿袁,早!开始工作吧. 阿袁在笔记上写下今天工作清单: 实现一个scala类 ...

  5. 再谈对协变和逆变的理解(Updated)

    去年写过一篇博客谈了下我自己对协变和逆变的理解,现在回头看发现当时还是太过“肤浅”,根本没理解.不久前还写过一篇“黑”Java泛型的博客,猛一回头又是“肤浅”,今天学习Java泛型的时候又看到了协变和 ...

  6. 【转】c# 协变和逆变

    本文转自:http://www.cnblogs.com/rr163/p/4047404.html C#的协变和逆变 由子类向父类方向转变是协变,用out关键字标识,由父类向子类方向转变是逆变,用in关 ...

  7. .NET 4.0中的泛型的协变和逆变

    转自:http://www.cnblogs.com/jingzhongliumei/archive/2012/07/02/2573149.html 先做点准备工作,定义两个类:Animal类和其子类D ...

  8. 深入理解 C# 协变和逆变

    msdn 解释如下: “协变”是指能够使用与原始指定的派生类型相比,派生程度更大的类型. “逆变”则是指能够使用派生程度更小的类型. 解释的很正确,大致就是这样,不过不够直白. 直白的理解: “协变” ...

  9. Java用通配符 获得泛型的协变和逆变

    Java对应泛型的协变和逆变

  10. [改善Java代码]警惕泛型是不能协变和逆变的

    什么叫做协变(covariance)和逆变(contravariance)? 在变成语言的类型框架中,协变和逆变是指宽类型和窄类型在某种情况下(如参数,泛型,返回值)替换或交换的特性,简单的说,协变是 ...

随机推荐

  1. RT-Thread—STM32—在线升级(Ymodem_OTA、HTTP_OTA)

    概述 本教程主要根据官方推荐的教程进行改编,详细信息请参考OTA Downloader软件包STM32 通用 Bootloader 本例程通过自己实际搭建环境,测试总结. bootloader的制作 ...

  2. TensorFlow keras 迁移学习

    数据的读取 import tensorflow as tf from tensorflow.python import keras from tensorflow.python.keras.prepr ...

  3. webug3.0靶场渗透基础Day_2(完)

    第八关: 管理员每天晚上十点上线 这题我没看懂什么意思,网上搜索到就是用bp生成一个poc让管理员点击,最简单的CSRF,这里就不多讲了,网上的教程很多. 第九关: 能不能从我到百度那边去? 构造下面 ...

  4. python学习14集合

    '''''''''集合:set1.定义:是一个无序的不重复元素序列.2.表示:大括号 { } 或者 set() 函数创建集合,注意:创建一个空集合必须用 set() 而不是 { },因为 { } 是用 ...

  5. Inno setup: check for new updates

    Since you've decided to use a common version string pattern, you'll need a function which will parse ...

  6. Spring框架中文件目录遍历漏洞 Directory traversal in Spring framework

    官方给出的描述是Spring框架中报告了一个与静态资源处理相关的目录遍历漏洞.某些URL在使用前未正确加密,使得攻击者能够获取文件系统上的任何文件,这些文件也可用于运行SpringWeb应用程序的进程 ...

  7. (转)SQLite数据库的加密

    1.创建空的SQLite数据库. //数据库名的后缀你可以直接指定,甚至没有后缀都可以 //方法一:创建一个空sqlite数据库,用IO的方式 FileStream fs = File.Create( ...

  8. mysql 5.7 MGR

    最近看了一下mysql5.7的MGR集群挺不错的,有单主和多主模式,于是乎搭建测试了一下效果还不错,我指的不错是搭建和维护方面都比较简单.网上绝大多数都是单主模式,当然我这里也是,为了加深印象,特意记 ...

  9. PHP版DES算法加密数据(3DES)另附openssl_encrypt版本

    PHP版DES算法加密数据(3DES) 可与java的DES(DESede/CBC/PKCS5Padding)加密方式兼容 <?php /** * Created by PhpStorm. * ...

  10. IP 基础知识全家桶,45 张图一套带走

    前言 前段时间,有读者希望我写一篇关于 IP 分类地址.子网划分等的文章,他反馈常常混淆,摸不着头脑. 那么,说来就来!而且要盘就盘全一点,顺便挑战下小林的图解功力,所以就来个 IP 基础知识全家桶. ...