AI实践哪家强?来 AICon, 解锁技术前沿,探寻产业新机! 了解详情
写点什么

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:162190
用户头像

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

关注

评论

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

【YashanDB知识库】exp 导出数据库时,报错YAS-00402

YashanDB

数据库 yashandb

SD-WAN:跨国企业组网方案

Ogcloud

SD-WAN SD-WAN组网 SD-WAN国际专线 跨国网络专线 跨国企业组网

链游破局之路:如何打破边缘化,获得更好的发展

区块链软件开发推广运营

交易所开发 dapp开发 链游开发 代币开发 交易所开发公链开发

数造科技获中国信通院感谢信:携手推进数字中国建设

数造万象

数字化转型 数据治理 数字经济 科技 大模型

深度解析DAPP开发 | 智能合约与业务应用

区块链软件开发推广运营

交易所开发 dapp开发 链游开发 公链开发 代币开发

第二十八期中国管理会计沙龙在北京成功举办

用友智能财务

Chrome 或引入 Gemini AI 功能「Glic」,需访问麦克风;理想同学 App 即将上线支持语音交流、识物

声网

【YashanDB知识库】通过触发器复制varchar(4000 char)列的数据导致乱码

YashanDB

数据库 yashandb

【YashanDB知识库】由于druid中间件配置导致的YAS-04003 maximum number of open cursors is 1000

YashanDB

数据库 yashandb

【YashanDB知识库】YAS-04209 unexpected word ;

YashanDB

数据库 yashandb

以腾讯混元模型为例,在管理平台上集成一个智能助手

为自己带盐

大模型应用

Spring常见的77道面试题及答案

Geek_Yin

Java spring 程序员 java面试 Java面试题

【YashanDB知识库】使用leading hint调整SQL执行计划后报错YAS-04522 invalid hint leading

YashanDB

数据库 yashandb

【YashanDB知识库】YAS-00004 feature "create user" has not been implemented yet

YashanDB

数据库 yashandb

从流畅到智能再到安全,看看原生鸿蒙如何“一锅端”

最新动态

飞轮科技荣获中国电信星海大数据最佳合作伙伴奖!

SelectDB

数据库 大数据 数据仓库 数据分析 喜报

电商平台能挡住恶意网络爬虫的攻击吗?

网络安全服务

爬虫 IP 电商平台 带宽 电商网站

Apache Doris 创始人:何为“现代化”的数据仓库?

SelectDB

数据库 数据仓库 数据分析 Doris 大数据 开源

【连载 07】线程安全与 synchronize

FunTester

在 DevOps 中,如何应对技术债务和系统复杂性,以确保可持续的研发效能和创新?

思码逸研发效能

研发效能 效能管理 研发效能度量 研发效能管理

【YashanDB知识库】YAS-00004 feature "implict table" has not been implemented yet

YashanDB

数据库 yashandb

【YashanDB知识库】YAS-04003 maximum number of open cursors is xxx

YashanDB

数据库 yashandb

【YashanDB知识库】yasboot集群状态命令登录失败问题

YashanDB

数据库 yashandb

推荐一个C#轻量级矢量图形库

不在线第一只蜗牛

C#

“明星”“网红”入局跨境电商,三个月只赚了...

kookeey代理严选

代理IP 海外市场 tiktok运营 亚马逊运营 跨境电商运营

2025最新版Java面试八股20w字(附各大厂面试真题及答案)

Geek_Yin

Java 程序员 2025 Java面试题 Java面试八股文

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