C#泛型的逆变协变之个人理解
作者:崩坏的领航员 发布时间:2021-05-28 16:33:03
一般来说, 泛型的作用就类似一个占位符, 或者说是一个参数, 可以让我们把类型像参数一样进行传递, 尽可能地复用代码。
我有个朋友, 在使用的过程中发现一个问题
IFace<object> item = new Face<string>(); // CS0266
public interface IFace<T>
{
string Print(T input);
}
public class Face<T> : IFace<T>
{
public string Print(T input) => input.ToString();
}
Q:   string
明明是 object
的子类, 为啥这样赋值会报错呢???
A:   因为 Face<string>
实现的是 IFace<string>
, 而 IFace<string>
并不是 IFace<object>
的子类
Q:   但是 string
是 object
的子类啊, IFace<string>
可不就是 IFace<object>
吗?
A:   如果只论接口定义, 看起来确实是这样的, 但是你要看内部实现的方法, IFace<string>
的 Print
方法参数是 string
, 但是 IFace<object>
的 Print
参数是 object
, 如果上面的赋值可以成立, 就意味着允许 Print(string input)
方法传递任意类型的对象, 这样明显是有问题的
Q:   但是我曾经看到过 IEnumerable<object> list = new List<string>();
这个为什么就可以
A:   这就要讲到C#泛型里的逆变协变了
Q:   细嗦细嗦
逆变协变
C#泛型中的逆变(in)协变(out)对于不常自定义泛型的开发来说(可能)是个很难理解的概念, 简单来说其表现形式如下
逆变(in): I<子类> = I<父类>
协变(out): I<父类> = I<子类>
上面例子中提到的 IEnumerable<object> list = new List<string>();
体现的是协变
, 符合一般直觉, 整体上看起来就像是将子类赋值给基类
转到 IEnumerable<>
的定义, 我们可以看到
public interface IEnumerable<out T> : IEnumerable
{
new IEnumerator<T> GetEnumerator();
}
泛型 T
之前加了协变的关键词 out
, 代表支持协变, 可以进行符合直觉且和谐的转化
前编中提到的代码例子不适用并且也不能改造成协变, 只适合使用逆变
相比于符合直觉且和谐的协变, 逆变是不符合直觉并且别扭的
IFace<string> item = new Face<object>();
public interface IFace<in T>
{
string Print(T input);
}
public class Face<T> : IFace<T>
{
public string Print(T input) => input.ToString();
}
这是一个逆变的例子, 与协变相似, 需要在泛型 T
之前加上关键词 in
对比上方的协变, 逆变看起来就像是将基类赋值给子类, 但这其实符合里氏代换的
当我们调用 item.Print
时, 看起来允许传入的参数为 string
类型, 而实际上最终调用的 Face<object>.Print
是支持 object
的, 传入 string
类型的参数没有任何问题
逆变协变的作用
逆变(in)协变(out)的作用就是扩展泛型的用法, 帮助开发者更好地复用代码, 同时通过约束限制可能会出现的破坏类型安全的操作
逆变协变的限制
虽然上面讲了逆变(in)协变(out)看起来是什么样的, 但我的那个朋友还是有些疑问
Q:   那我什么时候可以用逆变, 什么时候可以用协变, 这两个东西用起来有什么限制?
A:   简单来说, 有关泛型输入
的用逆变
, 关键词是in
, 有关泛型输出
的用协变
, 关键词是out
, 如果接口中既有输入又有输出, 就不能用逆变协变
Q:   为什么这两个不能同时存在?
A:   协变
的表现形式为将子类赋值给基类
, 当进行输出
相关操作时, 输出的对象类型为基类, 是将子类转为基类, 你可以说子类是基类;逆变
的表现形式为将基类赋值给子类
, 当进行输入
相关操作时, 输入的对象为子类, 是将子类转为基类, 这个时候你也可以说基类是子类;
如果同时支持逆变协变, 若先进行子类赋值给基类的操作, 此时输出
的是基类, 子类转为基类并不会有什么问题, 但进行输入
操作时就是在将基类转为子类, 此时是无法保证类型安全的;
Q:   听不懂, 能不能举个例子给我?
A:   假设 IEnumerable<>
同时支持逆变协变, IEnumerable<object> list = new List<string>();
进行赋值后, list
中实际保存的类型是string
, item.First()
的输出
类型为object
, 实际类型是string
, 此时说string
是object
没有任何问题, 协变可以正常发挥作用;
但是如果支持了逆变, 假设我们进行输入
类型的操作, item.Add()
允许的参数类型为 object
, 可以是任意类型, 但是实际上支持string
类型, 此时的object
绝无可能是string
Q:   好像听懂了一点了, 我以后慢慢琢磨吧
两者的限制简单总结就是
输入
的用逆变
输出
的用协变
来源:https://www.cnblogs.com/CollapseNav/p/17285595.html
猜你喜欢
- 引言周五去面试又被面试的一个问题问哑巴了面试官:StringBuilder和StringBuffer的区别在哪?我:StringBuilde
- 将IDEA的默认快捷键设置 设置成为 Eclipse的默认快捷键设置题意有些拗口,但没关系,就是将idea中的快捷键转为自己刚学Java时使
- 本文实例为大家分享了java微信公众号支付示例代码,供大家参考,具体内容如下开始之前,先准备好:appid、商家号、商户密匙。工具类:MD5
- 注解类@Documented@Target({ElementType.METHOD})@Retention(RetentionPolicy.
- shiro是一个权限框架,具体的使用可以查看其官网 http://shiro.apache.org/ 它提供了很方便的权限认证和
- 一、 测试代码:二、添加参数1、在终端工具中①先编译: javac Test.java②再运行: java Test args1 args2
- Android短信高效备份这篇文章,承接上一篇。使用高效的方式备份短信——xml序列化器。存储短信,要以对象的方式存储。首先创建javabe
- 在平常工作中我们经常会遇到maven引用的jar包冲突的事情,这时候我们就需要找出冲突的包,并将低版本或者缺少某些方法的jar给剔除掉。这个
- 目录一、前言二、正文2.1 注解2.1.1 注解1:@Target({ElementType.TYPE})2.1.2 注解2:@Retent
- 本篇紧接上一篇内容继续,还是从继承里的细节开始1.代码块初始化关于代码块的定义和使用因为之前已经进行过介绍,所以这里就不再赘述,我们所关注的
- 一、项目背景在实际工作中,会遇到业务比较集中的情况,随着时间推延,这部分业务关联的mysql表就会越来越大,十分臃肿。尽管在项目架构上做了读
- 引言最近在写一个 Mybatis 代码自动生成插件,用的是Mybatis来扩展,其中有一个需求就是 生成javaMapper文件和 xmlM
- 简单回顾一下CAS算法CAS算法 即compare and swap(比较与交换),是一种有名的无锁算法。无锁编程,即不使用锁的情况下实现多
- 在System.Text.RegularExpression命名空间里,有正则表达式方法。using System.Collections.
- 该工具包含是封装了jedis,包含redis.properties和jedisPool,序列化使用的是protostuff,map类型操作使
- Spring框架七大模块简单介绍Spring中MVC模块代码详解Spring的WEB模块用于整合Web框架,例如Struts1、Struts
- webp格式图片webp格式图片是google推出的,相比jpg png有着巨大的优势,同样质量的图片webp格式的图片占用空间更小,在像电
- 异步方法很好的解决了这些问题,异步执行某个方法,程序立即开辟一个新线程去运行你的方法,主线程包括界面就不会死掉了。异步如何开始,好理解,现在
- synchronized都问啥?如果Java面试有什么是必问的,synchronized必定占据一席之地。初出茅庐时synchronized
- Interceptor 介绍 * (Interceptor)同 Filter 过滤器一样,它俩都是面向切面编程—&