你了解C#的协变和逆变吗
你了解C#的协变和逆变吗
从C# 4.0开始,泛型接口和泛型委托都支持协变和逆变,由于历史原因,数组也支持协变。
里氏替换原则:任何基类可以出现的地方,子类一定可以出现。
协变(out)
协变:即自然的变化,遵循里氏替换原则,表现在代码上则是任何基类都可以被其子类赋值,如Animal = Dog、Animal = Cat
使用out关键字声明(注意和方法中修饰参数的out含义不同)
被标记的参数类型只能作为方法的返回值(包括只读属性)
在没有协变时:
abstract class Animal {}
class Dog : Animal {}
class Cat : Animal {}
interface IPoppable
{
T Pop();
}
class MyStack : IPoppable
{
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();
IPoppable animals1 = dogs; // 此处会发生编译错误
Stack animals2 = dogs; // 此处会发生编译错误
此时,我们如果需要为动物园饲养员新增一个输入参数为Stack饲喂的方法,一个比较好的方法是新增一个约束泛型方法:
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接口支持协变
// 仅仅增加了一个 out 声明
interface IPoppable
{
T Pop();
}
简化Feed方法
class Zookeeper
{
public static void Feed(IPoppable<Animal> animals) {}
}
// Main
Zookeeper.Feed(dogs);
协变的天然特性——仅可作为方法返回值,接口(或委托)外部无法进行元素添加,确保了泛型类型安全性,所以不用担心Dog的集合中出现Cat
常用的支持协变的接口和委托有:
IEnumerable
IEnumerator
IQueryable
IGrouping
Func等共17个
Converter
IEnumerable dogs = Enumerable.Empty();
IEnumerable animals = dogs;
var dogList = new List();
IEnumerable 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
{
void Push(T obj);
}
class MyStack : IPushable
{
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();
animals.Push(new Cat());
IPushable dogs = animals;
dogs.Push(new Dog());
逆变的天然特性——仅可作为方法输入参数,接口(或委托)无法进行元素获取,即只能将子类赋值到父类上,进而保证了类型安全性。
另外,常用支持逆变的接口和委托有:
IComparer
IComparable
IEqualityComparer
Action等共16个
Predicate
Comparison
Converter
Action animalAction = new Action(a => { });
Action DogAction = animalAction;
作者:xiaoxiaotank
出处:https://www.cnblogs.com/xiaoxiaotank/
低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。
持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。
转载内容版权归作者及来源网站所有,本站原创内容转载请注明来源。
- 上一篇
SpringBoot2.x与MongoDB集成(十)
SpringBoot2.x与MongoDB集成(十) 准备工作 介绍MongoDB与Spring Boo集成,并通过MongoRepository以及MongoTemplate来执行CRUD操作。 Spring Boot:2.3.0.RELEASESpring Boot Data MongoDB:2.3.0.RELEASEMongoDB:4.2.6MongoDB Driver:4.0.3 要操作的集合示例数据结构(即model) Department:String idString nameString descriptionArray employees Employee:String empIdString nameint agedouble salary one to many relationships 安装MongoDB MongoDB快速入门指南与docker-compose快体验 https://www.yuque.com/ekko/database/dkluyg 创建Spring Boot项目 SpringBoot2.x快速入门指南(一) https://www.yuq...
- 下一篇
一文带你学会国产加密算法SM4的java实现方案
一文带你学会国产加密算法SM4的java实现方案 前言今天给大家带来一个国产SM4加密解密算法的java后端解决方案,代码完整,可以直接使用,希望给大家带来帮助,尤其是做政府系统的开发人员,可以直接应用到项目中进行加密解密。画重点!是SM4哦,不是SM。哈哈,各位要在知识里遨游,不要想歪。正文开始~ 国产SM4加密解密算法概念介绍SMS4算法是在国内广泛使用的WAPI无线网络标准中使用的加密算法,是一种32轮的迭代非平衡Feistel结构的分组加密算法,其密钥长度和分组长度均为128。SMS4算法的加解密过程中使用的算法是完全相同的,唯一不同点在于该算法的解密密钥是由它的加密密钥进行逆序变换后得到的。SMS4分组加密算法是中国无线标准中使用的分组加密算法,在2012年已经被国家商用密码管理局确定为国家密码行业标准,标准编号GM/T 0002-2012并且改名为SM4算法,与SM2椭圆曲线公钥密码算法,SM3密码杂凑算法共同作为国家密码的行业标准,在我国密码行业中有着极其重要的位置。SMS4算法的分组长度为128bit,密钥长度也是128bit。加解密算法均采用32轮非平衡Feistel...
相关文章
文章评论
共有0条评论来说两句吧...
文章二维码
点击排行
推荐阅读
最新文章
- MySQL8.0.19开启GTID主从同步CentOS8
- Mario游戏-低调大师作品
- CentOS关闭SELinux安全模块
- CentOS7,CentOS8安装Elasticsearch6.8.6
- CentOS8安装MyCat,轻松搞定数据库的读写分离、垂直分库、水平分库
- Docker安装Oracle12C,快速搭建Oracle学习环境
- Red5直播服务器,属于Java语言的直播服务器
- CentOS8编译安装MySQL8.0.19
- SpringBoot2整合MyBatis,连接MySql数据库做增删改查操作
- Springboot2将连接池hikari替换为druid,体验最强大的数据库连接池