写点什么

C#的未来:追踪空引用

  • 2015-04-29
  • 本文字数:1400 字

    阅读完需:约 5 分钟

在.NET 中最常见的错误类型大概要数空引用异常了。这个错误的根源在于 C#无法表达出非空引用的概念,这也导致让编译器强制进行空检查变成一种过于繁重的任务。

为了应对这个问题,某条提议建议使用一种强制引用,以及一种明确的可空引用的定义。在提议中,可空引用将使用? 后缀进行定义,正如可空值类型的定义方式一样。而强制引用,或者说非空引用将使用! 后缀进行定义。

强制引用以及可空引用都应该被视为一种仅限于语言本身的概念,它们只是改变了编译器的行为,但不会改动所生成的 IL 代码。

在编译器允许访问可空引用对象的任何方法或属性之前,必须明确地检查空引用。并且在将某个可空引用转型为强制引用之前,也必须对空引用进行检查。

强制引用需要编译器证实其中包含的值不可为空。由于这是一种仅限于编译器的规则,因此无法保证在反序列化等场景中能够同样生效。

在阅读这条提议的完整内容时,你会注意到其中提到的某个术语“一般引用”。它指的是 C#中的普通引用,它既不是强制的,也不是明确定义为可空的。由于这种引用将被视为遗留代码,因此可以通过 AllowGeneralReferences 这一属性告诉编译器不允许在代码中使用一般引用。

在结合隐式变量定义时,可以在 var 关键字中使用! 或? 后缀。

类型转换

根据这条提议,你可以隐式地将某个强制引用转换为可空引用。不过,它不允许你将某个一般引用转换为可空引用,对此有如下的解释:

假设一下这个一般引用的意图(或许它从概念上来说应当是强制的,而不是一种可空的概念)。

但这种说法是没有什么道理的,如果某个实际的强制引用能够隐式地转换为可空引用,那么某个“概念性的强制引用”应该也可以实现这一转换。

与之类似的是,从强制引用或可空引用转换为一般引用也是不允许的,这也是基于同样的理由,尽管该理由存在着一些疑问。

构造函数

对于非空引用类型的这一提议中还存在着一条有待解决的问题,那就是很难在构造函数中强制这种非空性。对此,有一条提议就是不要处理这一问题。就像我们在构造函数中可以多次为某个“只读”字段进行赋值一样,我们可以直接声明这条规则在构造函数中并不生效,需要开发者本人注意到这一点。

这条提议乍一看起来会产生反效果,但它实际上是很有道理的。开发者们在构造函数中本来就需要注意访问可能尚未初始化的字段会带来的问题。这一条提议也没有改变这一现象,如果开发者忽略了这一点,那么构造函数就会产生错误,而这将减少出现空引用异常的风险。

混合新代码与遗留代码

非空引用这条提议还需要面对另一个问题,那就是如何处理遗留代码。比方说,如果已经对基础类库进行升级,在其中使用了这个新的语法。而现有的应用程序可能无法立即进行代码的改动,那么必须要有某种机制能够关闭这一新语法的使用。这条提议中提供了一个IgnoreNewStyleReferences 属性,可以通过它忽略某个外部程序集中所使用的新的引用语法。

关于可空引用的更多内容

在前文中,我们提到过可空引用可能会处于两种状态之一:未知或判定为非空(注:也可能判定为空)。这条提议对此进一步说明,如果某个引用已经判定为空,那么在之后的代码中就无法使用它(赋值给另一个可空变量),开发者必须使用一个硬编码的空值,这也能够让代码的意图表现得更加清晰。

其它问题

这一提议还有许多需要处理的问题。比方说,是否能够定义强制引用的数组?在使用反射时如何暴露强制引用与非空引用?它们与泛型之间又将如何交互?

查看英文原文: C# Futures: Nullability Tracking

2015-04-29 09:022087
用户头像

发布了 428 篇内容, 共 176.8 次阅读, 收获喜欢 38 次。

关注

评论

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

免费Android高级工程师学习资源,苦熬一个月

android 程序员 移动开发

含爱奇艺,小米,腾讯,阿里,享学课堂怎么样

android 程序员 移动开发

这部分布式事务开山之作,凭啥第一天预售就拿下当当新书榜No.1?

冰河

数据库 分布式 分布式事务 微服务 数据一致性

Leetcode 题目解析:70. 爬楼梯

程序员架构进阶

LeetCode 动态规划 算法题 10月月更

linux之xargs使用技巧

入门小站

Linux

史上超级详细:扔物线学堂

android 程序员 移动开发

谈一谈使用Python入门量化投资

Regan Yue

量化交易 10月月更

023云原生之Kubernetes的存储

穿过生命散发芬芳

云原生 10月月更

自动驾驶 Lidar 激光雷达 易筋 ARTS 打卡 Week 73

John(易筋)

ARTS 打卡计划

Java8 Lambda表达式与Stream

风翱

Lambda 10月月更

作为一个程序员你觉得最大的悲哀是什么,安卓音视频开发

android 程序员 移动开发

刚从阿里、头条面试回来,动脑学院课程值得买吗

android 程序员 移动开发

对话凡泰极客联合创始人杨涛: 小程序生态市场潜力广阔

FinClip

小程序 金融科技 移动开发

三国与AI,交汇在中原

脑极体

REST API 设计:过滤、排序和分页

devpoint

REST API 10月月更

什么是aPaaS?低代码与高生产率的aPaaS和RAD相比如何?

优秀

低代码 aPaaS RAD

中软国际用一场自我进化,推动云市场跨入下一幕

脑极体

区块链是否正在慢慢演变为中心化的数据库?我们又该如何预防数据中心化?

CECBC

Docker环境搭建和使用

飞鸟

Docker

作为程序员一定不要仅仅追求物质,做了6年Android开发

android 程序员 移动开发

你还在把Java当成Android官方开发语言吗,字节跳动算法工程师总结

android 程序员 移动开发

做了3年Android还没看过OkHttp源码,学Android看这就完事了

android 程序员 移动开发

聊聊产品的使用场景

石云升

场景应用 职场经验 10月月更

央行数字货币已落地,来的太快,机遇在哪?

CECBC

架构设计-电商微服务拆分

小智

架构训练营

紧张的336小时53分钟21秒,我等来了字节跳动offer(Java岗)

Java 编程 程序员 架构 面试

区块链与数字化转型携手并进

CECBC

模块一学习笔记、总结

吴霏

架构实战营 「架构实战营」

分享Android资深架构师的成长之路,系列篇

android 程序员 移动开发

华为云数据库内核专家为您揭秘MySQL Volcano模型迭代器性能提升千倍的秘密

华为云数据库小助手

GaussDB 华为云数据库 GaussDB(for MySQL)

【Quarkus技术系列】「云原生架构体系」在云原生时代下的Java“拯救者”是Quarkus,那云原生是什么呢?

洛神灬殇

云原生 Quarkus 10月月更

C#的未来:追踪空引用_C#_Jonathan Allen_InfoQ精选文章