【AICon】探索RAG 技术在实际应用中遇到的挑战及应对策略!AICon精华内容已上线73%>>> 了解详情
写点什么

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:0010223

评论

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

腾讯前端高频面试题合集

loveX001

JavaScript

React-Hooks怎样封装防抖和节流-面试真题

beifeng1996

React

跟着卷卷龙一起学Camera--延迟02

卷卷龙

ISP camera 10月月更

用PM2做Python进程管理也太好用了吧

芥末拌个饭吧

进程 pm2 10月月更

架构实战训练营模块 2 作业

Geek_b35d92

架构实战训练营模块 2 作业

Geek_b35d92

redis设计成单线程的原因是什么

芥末拌个饭吧

后端 redis 底层原理 10月月更

React-Hooks源码深度解读

goClient1992

React

Qt|QListWidget实现自定义Item效果

中国好公民st

c++ qt 10月月更

80%的前端开发都答不上来的js异步面试题

loveX001

JavaScript

Vue是怎样监听数组的变化的?

bb_xiaxia1998

Vue

美团前端vue面试题(边面边更)

bb_xiaxia1998

Vue

这几道const和iota的面试题你能做对吗?

王中阳Go

Go 面试题 const 10月月更 go基础

React源码分析(一)Fiber

goClient1992

React

跟着卷卷龙一起学Camera--延迟03

卷卷龙

ISP camera 10月月更

TLS加密远程连接Docker

程序员欣宸

Docker 容器安全 10月月更

Java核心之多态

魏铁锤

java 编程 10月月更

java之字节型文件流笔记

魏铁锤

java 编程 10月月更

模块二作业:微信朋友圈复杂度分析

愚人夜行者

React-hooks面试考察知识点汇总

beifeng1996

React

Docker Swarm从部署到基本操作

程序员欣宸

Docker Docker Swarm 10月月更

微信朋友圈的高性能复杂度分析

乖乖IvyShine

大数据ELK(二十八):制作Dashboard

Lansonli

10月月更

华为云从入门到实战 | 云关系数据库备份、恢复及存储容灾服务

TiAmo

华为 华为云 云开发 10月月更

一天梳理React面试高频知识点

beifeng1996

React

你知道Redis是如何保持数据一致性吗

芥末拌个饭吧

后端 redis 底层原理 10月月更

22道js输出顺序问题,你能做出几道

loveX001

JavaScript

Java编程之方法重写

魏铁锤

后端 java 编程 10月月更

面试官:深度不够,建议回去深挖

小傅哥

Java 程序员 面试 小傅哥 招聘

$nextTick的原理是什么-vue面试进阶

bb_xiaxia1998

Vue

CorelDRAW 2019 软件应用项目(三)

张立梵

设计师 CorelDRAW 2022 10月月更

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