写点什么

C#将引入可空的引用类型

  • 2017-04-20
  • 本文字数:1360 字

    阅读完需:约 4 分钟

是的,标题没错。C#其中一份新提案假定,所有的引用类型在默认情况下都是不可空的。在新语法下,你需要显式地标明一个引用变量是可空的,就像对值类型所做的那样。

和值类型一样,T 是指不可空类型,而 T? 是指可空类型。以下情况会产生警告:

  • 取消对可空变量的引用;
  • 一个可空变量或参数被赋值给一个不可空变量;
  • 从 T?[] 转换到 T[];
  • 从 T[] 转换到 T?[];
  • 将一个空字面量赋值给一个不可空变量或参数;
  • 构造函数没有给所有的不可空字段赋值;

对于前两种情况,如果你使用了感叹号运算符(x!)或者编译器能够证明已经执行了 null 检查,那么警告将被忽略。

实现细节

底层编译器将会忽略可空注解,因此,那不是问题。不过,在程序集级,应该有某种标记,可以说明库在编译时启用了可空注解。

由于所有这类可空的东西从技术上讲都是一种破坏性修改,所以当前的计划是允许开发人员选择下面的类别:

  • 可空警告;
  • 不可空警告;
  • 警告来自其他文件中的注解。

提案继续写道:

选择参与的粒度表明,这是一个类似分析器的模型,大段的代码通过编译指令选择参与和退出,用户可以选择安全级别。此外,每个库的选项(“在准备好应对后果之前,忽略 JSON.NET 中的注解”)可以表示为代码中的属性。

根据预期,这种设计要达到以下三个目的:

  • 用户可以像他们希望的那样逐步采用可空属性检查;
  • 库作者可以添加可空属性注解,而不必担心破坏用户的代码;
  • 除此之外,没有“配置噩梦”之感。

对于同一个方法,你不必进行可空和不可空的重载。虽然从技术上讲,CLR 支持这样做,但那不是 CLS 或者通用语言规范的组成部分。这意味着,大多数编译器都会不知道发生了什么。HaloFour 作了如下说明:

modreq不是 CLS。modopt确实支持重载,但需要具体了解所有重要编译器的这个部分,因为至少要将修饰符复制到调用签名里。两者都会破坏与现有方法签名的兼容。对于希望在整个 BCL 快速传播的东西来说,使用modopt会成为巨大的障碍。

泛型

在使用泛型时,以下情况会出现额外的警告:

  • 从 C转换到 C<T?>,除非类型参数是协变量(出);
  • 从 C<T?> 转换到 C,除非类型参数是反变量(入);
  • 使用 C<T?>,然后将类型参数限制为不可为空。

使用“class”,则泛型强制非空。使用“class?”则允许空值。该提案继续写道:

如果一个类型参数没有约束,或者只有可空约束,则情况会稍微复杂一些:这意味着,相应的类型参数既可以为空,也可以不为空。在那种情况下,安全的做法是将类型参数既作为可空参数来处理,又作为不可空参数来处理,任何一个不满足,就发出警告。

数组

数组是一项特殊的挑战,因为在一个不可为空的数组中,不一定可以确保每个槽都有一个值。

对于一个非空引用数组,我们无法通过充分地跟踪来保证数组的所有元素都被初始化。不过,在从数组读取数据或者传递数组之前,如果新创建的数组没有元素被赋值,我们就会发出警告。那应该可以处理常见的情况,而又不带来太多干扰。

开放性设计问题

使用 default(T) 应该发出警告吗?还是说假定它会返回 T?,而不是 T?

可以删除局部变量上的? 而根据使用情况推断其可空性吗?

参数可以使用 T! x 模式自动生成 null 检查吗?

可以调整一下可空值类型,以便让开发人员可以使用 x.method 代替 x.Value.method 吗(这用在当 x 已知非空时,比如已经成功完成了 null 检查)?

更多信息

查看英文原文: C# Futures: Nullable Reference Types

2017-04-20 18:161875
用户头像

发布了 1008 篇内容, 共 390.1 次阅读, 收获喜欢 344 次。

关注

评论

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

商家运营优化:基于京东API返回值的商品管理策略

技术冰糖葫芦

API Gateway API 接口 API 测试 pinduoduo API

mcgs笔记 报警 各变量的报警属性功能

万里无云万里天

自动化 HMI mcgs

mcgs笔记 查看 辅助提示

万里无云万里天

自动化 HMI mcgs

支持 128TB 超大存储,GaussDB (for MySQL) 如何轻松应对海量数据挑战

华为云开发者联盟

数据库

基于LangChain手工测试用例转App自动化测试生成工具

测吧(北京)科技有限公司

测试

mcgs笔记 安全属性 使能控制与安全控制

万里无云万里天

自动化 HMI mcgs

mcgs笔记 报警 报警浏览构件

万里无云万里天

自动化 HMI mcgs

mcgs笔记 报警 报警统一配置

万里无云万里天

自动化 HMI mcgs

mcgs笔记 报警 报警统一配置的导出与导入

万里无云万里天

自动化 HMI mcgs

mcgs笔记 动画按钮 根据值分段显示内容

万里无云万里天

自动化 HMI mcgs

mcgs笔记 权限 按钮的操作权限设置

万里无云万里天

自动化 HMI mcgs

【IoTDB 线上小课 07】多类写入接口,快速易懂的“说明书”!

Apache IoTDB

自控经验 工厂在地理上的分区

万里无云万里天

自动化 工厂运维

自控经验 自控的分层 工厂车间设备级控制

万里无云万里天

自动化 工厂运维

mcgs笔记 报警 报警滚动条

万里无云万里天

自动化 HMI mcgs

中国信通院可信人工智能基础平台(AI Infra)第八批评估工作正式启动

中国信通院AI Infra工作组

基于LangChain手工测试用例转App自动化测试生成工具

霍格沃兹测试开发学社

Akamai 调研揭示:安全性成数字原生企业选择云服务首要考量,87%企业优先重视安全再议成本及可扩展性

财见

科技创新推动教育普惠,华为云WeLink助力"青椒计划"举办种子教师研学活动

轶天下事

繁星·数智思享会:以流程为中心的数字化转型战役已打响

望繁信科技

数字化转型 流程管理 流程挖掘 流程资产 流程智能

一文详解低代码开发如何成为学校低成本数字化转型的新引擎

快乐非自愿限量之名

低代码 数字化

数据中台的兴衰与数据飞轮的兴起

乌龟哥哥

数据中台 #数据飞轮

如何免费调用GPT API进行自然语言处理

幂简集成

API ChatGPT

mcgs笔记 用户 登录登出查看用户信息

万里无云万里天

自动化 HMI mcgs

inBuilder低代码平台新特性推荐-第二十四期

inBuilder低代码平台

低代码 表单设计

解决 AI 算法开发和存储难题,华为云 DTSE 助力文华云技术架构升级

华为云开发者联盟

一文搞定WeakHashMap

不在线第一只蜗牛

Java

自控经验 传统流程工业的特点

万里无云万里天

自动化 工厂运维

低代码开发:助力制造业数字化高质量发展

不在线第一只蜗牛

低代码

天池Fashion AI 比赛失败经历分享

阿里云天池

mcgs笔记 用户 查看用户与用户组

万里无云万里天

自动化 HMI mcgs

C#将引入可空的引用类型_.NET_Jonathan Allen_InfoQ精选文章