AI 从业者都在关注的 NVIDIA GTC 2023 China AI Day 来了!报名戳 了解详情
写点什么

C#的未来:协变返回类型

  • 2020-02-04
  • 本文字数:1028 字

    阅读完需:约 3 分钟

C#的未来:协变返回类型

一个常见的 API 设计问题是无法在重写方法时使用更具体的返回类型。Clone 方法就是一个很好的例子。


public abstract Request Clone();
复制代码


在子类中,你可能会希望像下面这样实现这个方法:


public override FtpRequest Clone() { ... }
复制代码


由于 FtpRequest 是 Request 的子类,从逻辑上讲这是合理的。但在.NET 中你不能这样实现,因为重写必须精确匹配。你也不能通过重写获得一个仅有返回类型不同的新方法。所以通常你会得到一些复杂的东西,比如:


public Request Clone() => OnClone();protected abstract Request OnClone();
复制代码


然后,在子类里:


public new FtpRequest Clone() => (FtpRequest)OnClone();protected override Request OnClone() { ... }
复制代码


提案49在“协变返回类型”中探讨了改变被重写方法返回类型的能力。


在 2017 年最初提出时,这个特性应该是使用一些“编译器魔法”实现的。到 2019 年 10 月,重点已经转向使它成为 CLR 的一等特性。


协变返回类型规范草案中,IL 指令.override 将变成:


重写方法的返回类型必须可以通过标识或隐式引用转换为被重写的基方法的返回类型。


当前的规则是:


重写方法和被重写的基方法应具有相同的返回类型。

属性和索引器

属性和索引器包括在此特性中,但仅当它们是只读的。该特性不会对逆变属性和索引设置器提供匹配支持。

接口

接口上的方法可以使用与子类/基类相同的规则重写基接口上的协变方法。


当类实现接口时,实现方法可以与接口方法协变。


为了进行接口映射,类成员 A 在以下情况下与接口成员 B 匹配:

A 和 B 是方法,A 和 B 的名称和形式参数列表相同,A 的返回类型可以通过一个隐式引用标识转换为 B 的返回类型。


对于隐式实现的接口,这种规则变化可能会导致破坏性更改。这种情况会在子类重新实现基类已经实现的接口时发生。


interface I1 { object M(); }class C1 : I1 { public object M() { return "C1.M"; } }class C2 : C1, I1 { public new string M() { return "C2.M"; } }
复制代码


为了避免破坏性更改,Andy Gocke 对规则做了一个小小的修改:


如果没有其他实现(包括默认实现),我们是否可以更改映射成员的搜索,将具有不同协变返回类型的隐式实现考虑进来?


遗憾的是,这与接口的默认实现不兼容。Neal Gafter 写到:


我看不出这在二进制兼容的情况下是如何工作的。如果发布了带有默认实现的新版本的接口,那么运行时将更改为使用该接口,而不是使用基类的实现?


微软内部正在跟踪对协变返回类型提供必要的运行时支持的优先级。


原文链接:


C# Futures: Covariant Return Types


2020-02-04 09:004675

评论

发布
暂无评论
发现更多内容

Centos6 内核升级

唯爱

软件设计原则

superman

嵌入SpreadJS,赋能计量器具检定信息化

葡萄城技术团队

SpreadJS 计量检定

第二周课程作业

Geek_a327d3

作业

江帅帅:精通 Spring Boot 系列 03

古月木易

Spring Boot

我写了10年博客,却被人说“不火”?我是这样怼回去的!

王磊

Java 程序人生 「Java 25周年」

在野望中奔跑:镜头前"摆摊"的联想来酷总裁们

Geek_116789

程序员买买买,纸书半价,电子书55折,抢券叠加使用更划算

图灵社区

图灵教育 热门活动

架构师训练营 第2周作业

Lingjun

极客大学架构师训练营

架构师训练营 第 2 周总结

Lingjun

极客大学架构师训练营

分布式柔性事务的TCC方案

古月木易

分布式

软件设计原则-第二周总结

孙志平

第二周作业

戴维斯

架构是训练营

Monorepo 原来像陈老师这么香!

admin

软件设计原则 - 第二周作业

孙志平

架构师训练营-第二周命题作业

牛牛

极客大学架构师训练营 命题作业

设计原则

东哥

极客大学架构师训练营

分布式柔性事务的TCC方案

奈学教育

分布式

依赖倒置原则联想

极客大学架构师训练营

「架构师训练营」第 2 周作业 - 设计原则

森林

产品周刊 | 第 19 期(20200614)

Herbert

产品 设计 产品经理 产品开发

centos7升级内核

唯爱

java静态代理与动态代理

张瑞浩

程序设计原则

技术小生

极客大学架构师训练营

江帅帅:精通 Spring Boot 系列 03

奈学教育

springboot

「架构师训练营」第 2 周作业 - 总结

森林

架构师训练营-02作业

ashuai1106

架构师 极客大学架构师训练营 架构设计原则

架构师训练营第二周作业

东哥

极客大学架构师训练营

第二周作业

技术小生

极客大学架构师训练营

江帅帅:精通 Spring Boot 系列 04

奈学教育

Spring Boot

江帅帅:精通 Spring Boot 系列 04

古月木易

Spring Boot

C#的未来:协变返回类型_编程语言_Jonathan Allen_InfoQ精选文章