你了解C#的协变和逆变吗
- 从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#的协变和逆变吗的更多相关文章
- C#4.0泛型的协变,逆变深入剖析
C#4.0中有一个新特性:协变与逆变.可能很多人在开发过程中不常用到,但是深入的了解他们,肯定是有好处的. 协变和逆变体现在泛型的接口和委托上面,也就是对泛型参数的声明,可以声明为协变,或者逆变.什么 ...
- C#协变和逆变
我们知道在C#中,是可以将派生类的实例赋值给基类对象的.
- C# 泛型的协变和逆变
1. 可变性的类型:协变性和逆变性 可变性是以一种类型安全的方式,将一个对象当做另一个对象来使用.如果不能将一个类型替换为另一个类型,那么这个类型就称之为:不变量.协变和逆变是两个相互对立的概念: 如 ...
- 不变(Invariant), 协变(Covarinat), 逆变(Contravariant) : 一个程序猿进化的故事
阿袁工作的第1天: 不变(Invariant), 协变(Covarinat), 逆变(Contravariant)的初次约 阿袁,早!开始工作吧. 阿袁在笔记上写下今天工作清单: 实现一个scala类 ...
- 再谈对协变和逆变的理解(Updated)
去年写过一篇博客谈了下我自己对协变和逆变的理解,现在回头看发现当时还是太过“肤浅”,根本没理解.不久前还写过一篇“黑”Java泛型的博客,猛一回头又是“肤浅”,今天学习Java泛型的时候又看到了协变和 ...
- 【转】c# 协变和逆变
本文转自:http://www.cnblogs.com/rr163/p/4047404.html C#的协变和逆变 由子类向父类方向转变是协变,用out关键字标识,由父类向子类方向转变是逆变,用in关 ...
- .NET 4.0中的泛型的协变和逆变
转自:http://www.cnblogs.com/jingzhongliumei/archive/2012/07/02/2573149.html 先做点准备工作,定义两个类:Animal类和其子类D ...
- 深入理解 C# 协变和逆变
msdn 解释如下: “协变”是指能够使用与原始指定的派生类型相比,派生程度更大的类型. “逆变”则是指能够使用派生程度更小的类型. 解释的很正确,大致就是这样,不过不够直白. 直白的理解: “协变” ...
- Java用通配符 获得泛型的协变和逆变
Java对应泛型的协变和逆变
- [改善Java代码]警惕泛型是不能协变和逆变的
什么叫做协变(covariance)和逆变(contravariance)? 在变成语言的类型框架中,协变和逆变是指宽类型和窄类型在某种情况下(如参数,泛型,返回值)替换或交换的特性,简单的说,协变是 ...
随机推荐
- RT-Thread—STM32—在线升级(Ymodem_OTA、HTTP_OTA)
概述 本教程主要根据官方推荐的教程进行改编,详细信息请参考OTA Downloader软件包STM32 通用 Bootloader 本例程通过自己实际搭建环境,测试总结. bootloader的制作 ...
- TensorFlow keras 迁移学习
数据的读取 import tensorflow as tf from tensorflow.python import keras from tensorflow.python.keras.prepr ...
- webug3.0靶场渗透基础Day_2(完)
第八关: 管理员每天晚上十点上线 这题我没看懂什么意思,网上搜索到就是用bp生成一个poc让管理员点击,最简单的CSRF,这里就不多讲了,网上的教程很多. 第九关: 能不能从我到百度那边去? 构造下面 ...
- python学习14集合
'''''''''集合:set1.定义:是一个无序的不重复元素序列.2.表示:大括号 { } 或者 set() 函数创建集合,注意:创建一个空集合必须用 set() 而不是 { },因为 { } 是用 ...
- 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 ...
- Spring框架中文件目录遍历漏洞 Directory traversal in Spring framework
官方给出的描述是Spring框架中报告了一个与静态资源处理相关的目录遍历漏洞.某些URL在使用前未正确加密,使得攻击者能够获取文件系统上的任何文件,这些文件也可用于运行SpringWeb应用程序的进程 ...
- (转)SQLite数据库的加密
1.创建空的SQLite数据库. //数据库名的后缀你可以直接指定,甚至没有后缀都可以 //方法一:创建一个空sqlite数据库,用IO的方式 FileStream fs = File.Create( ...
- mysql 5.7 MGR
最近看了一下mysql5.7的MGR集群挺不错的,有单主和多主模式,于是乎搭建测试了一下效果还不错,我指的不错是搭建和维护方面都比较简单.网上绝大多数都是单主模式,当然我这里也是,为了加深印象,特意记 ...
- PHP版DES算法加密数据(3DES)另附openssl_encrypt版本
PHP版DES算法加密数据(3DES) 可与java的DES(DESede/CBC/PKCS5Padding)加密方式兼容 <?php /** * Created by PhpStorm. * ...
- IP 基础知识全家桶,45 张图一套带走
前言 前段时间,有读者希望我写一篇关于 IP 分类地址.子网划分等的文章,他反馈常常混淆,摸不着头脑. 那么,说来就来!而且要盘就盘全一点,顺便挑战下小林的图解功力,所以就来个 IP 基础知识全家桶. ...