BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

.NET泛型中的协变与逆变

| 作者 Jonathan Allen 关注 594 他的粉丝 ,译者 张龙 关注 14 他的粉丝 发布于 2008年8月30日. 估计阅读时间: 2 分钟 | QCon上海2018 关注大数据平台技术选型、搭建、系统迁移和优化的经验。

当前.NET语言如VB和C#还不支持泛型的协变(covariance)与逆变(contravariance)。尽管微软中的很多人也在谈论它,但是在不远的将来这还是不太可能出现。对协变与逆变的完整介绍要花很长时间。基于此,请大家参考Eric Lippert的关于C#中的协变与逆变的系列文章。为了在VB中增加协变与逆变的泛型支持,Lucian Wischik提出了下面的语法。

类型参数可由关键字“In”和“Out”修饰。“In”类型只能作为方法参数。与此类似,“Out”类型只能作为方法的返回类型。

使用Out类型的一个例子就是IEnumerable(Of T)。如果某函数接受一个IEnumerable(Of Animal)类型参数,那么我们就可以给它传一个IEnumerable(of Bird)。对于In类型,一个不太恰当的例子就是顺序。看一下下面的接口:

Interface IWriter(Of T)
Write(value As T)

如果你向接受Writer(Of Animal)类型参数的函数传一个IWriter(Of Bird),当然就不对了。该方法可以将Animal的任何子类传给IWriter.Write,但是它只接受Birds。

如果使用注解,该接口看起来像下面这样:

Interface IEnumerable(Of Out T)

Interface IWriter(Of In T)

这是针对VB编写的,它也可以用在C#上。

interface IEnumerable<out T>

interface IWriter<in T>

不幸的是,这种语法并不能直接应用在大多数常见的场景中。比如IList(Of T),当传给一个向集合中写入的方法时,T应该是In类型。但是当传给一个从集合中读取的方法时,T应该是Out类型。或许这里应该针对IList创建一个基类,该类会将接受T与返回T的方法区分开来。

追溯过去,C#和VB都支持数组协变(out/IEnumerable情况),尽管在逆变的情况下这会导致运行时错误(in/IWriter情况)。这样做的目的是使C#更兼容于Java。大多数人都认为这是一个不好的设计,但是现在却无法改变了。

查看英文原文:Covariance and Contravariance in .NET Generics

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我
社区评论

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT