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

C#的未来:追踪空引用

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

    阅读完需:约 5 分钟

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

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

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

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

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

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

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

类型转换

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

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

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

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

构造函数

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

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

混合新代码与遗留代码

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

关于可空引用的更多内容

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

其它问题

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

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

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

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

关注

评论

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

OkHttp 断点上传的“基操”,算法题+JVM

android 程序员 移动开发

Okhttp的缓存机制,原理讲解

android 程序员 移动开发

React Native Android混合开发实战教程(1),flutter瀑布流

android 程序员 移动开发

直呼内行!阿里大佬离职带出内网专属“高并发系统设计”学习笔记

编程 程序员 消息队列 高并发系统

OkHttp 断点上传的“基操”(1),完美讲解内存缓存LruCache实现原理

android 程序员 移动开发

python3如何安装MySQLdb库

YUKI0506

Python3 mysqldb

React Native 与 嵌入Android原生与Activity页面互相跳转

android 程序员 移动开发

MVVM系列之一:Lifecycle,面试竟然被这31道Android基础题难倒了

android 程序员 移动开发

实验室信息系统的主要功能及作用

低代码小观

企业管理 管理系统 LIMS实验室信息管理系统 信息管理系统 实验室

OkHttp 3,安卓移动开发大作业

android 程序员 移动开发

OOM问题原理解析(二),移动端开发技术

android 程序员 移动开发

网易云信亮相 LiveVideoStackCon 2021,解构自研大规模传输网 WE-CAN

网易云信

通信云 传输协议

MotionLayout_ 打开动画新世界大门 (part II)(1),kotlin框架

android 程序员 移动开发

QQ音乐Android编译提速之路,腾讯T2大牛亲自讲解

android 程序员 移动开发

React Native Android 源码框架浅析(主流程及 Java 与 JS 双边通信)

android 程序员 移动开发

【等保小知识】等保与关保两者之间有啥区别?

行云管家

网络安全 等级保护 分保 关保

springmvc的定时任务

小鲍侃java

11月日更

Java线程安全ReentrantLock

FunTester

Java 性能测试 线程安全 测试开发 FunTester

MVVM系列之二:LiveData,android程序开发教程

android 程序员 移动开发

Native开发工具之CPU 和架构(三),学习Android开发的步骤,

android 程序员 移动开发

OKio源码分析(1)six sy007 情感导师,android面试题2019

android 程序员 移动开发

React Native 与 嵌入Android原生与Activity页面互相跳转(1)

android 程序员 移动开发

MotionLayout_ 打开动画新世界大门 (part II),android插件化原理

android 程序员 移动开发

「元宇宙」赛道,除了脸书,微软也来了

WorkPlus

OkHttp3源码详解之拦截器(四),计算机应届毕业生面试题

android 程序员 移动开发

毕业总结和毕业设计

cherrycheek

分享 | 一文了解 PG PITR 即时恢复

RadonDB

数据库 postgresql RadonDB

OkHttp流程分析,音视频编解码技术

android 程序员 移动开发

一站式智能化是采购数字化的大趋势

WorkPlus

React Native Android混合开发实战教程,Android入门你值得拥有

android 程序员 移动开发

具有中国特色的堡垒机到底有用吗?有什么用?

行云管家

网络安全 信息安全 数据安全 堡垒机

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