飞天发布时刻:2024年 Forrester 公有云平台Wave™评估报告解读 了解详情
写点什么

关于是否在 C#中加入不可空引用类型的争论

  • 2015-10-08
  • 本文字数:1579 字

    阅读完需:约 5 分钟

来自微软的 Mads Togersen 在近期所提出的一条提议,即在 C#语言中加入对不可空引用类型的支持在.NET 社区中引起了热烈的争论。人们对此提议的反应大相径庭,既有人对此表示赞赏,也不乏倾向于保持现状的意见。

在 Reddit 上,这条提议引起了大量关于向后兼容性方面的疑问。Strilanc 认为,如果应用了这一特性,按照这条提议的做法无法实现现有应用的平滑过渡

这条提议还有待改进,它对于保证二进制兼容性、源代码兼容性以及现有代码的渐进式过渡方面还存在着一些考虑不周的情况。

  1. 该提议造成了程序集级别上的意义转变,每个引用类型的名称意义都将变为不可空。它将一次性让整个项目级别的代码块的意义发生巨大的改变,要顺利地完成这一过程,需要付出大量的成本并承担极高的风险。这一点非常糟糕。
  2. 该提议在泛型方面还有待改善,它完全没有提及在大量的泛型代码中将不允许使用 default(T) 这一事实。这一点对于现有的代码将产生怎样的影响?可以采取哪些解决手段?那些确实需要这一功能的类型又将如何实现 default(T) 的效果?这些问题都还没有进行充分的探索。
  3. 这种方式岂不是会允许数组包含一些无效的初始值吗?这种做法公然地违反了类型系统的意义,既然如此,何必还要将它硬塞进去呢?

还有一方面的顾虑在于对于外部类库的向后兼容性,正如 Maplemario 所说:

那么问题来了。假设我要使用一个旧的类库,其中的函数都返回类型 T,无法它是否是可空的。现在,该提议产生了语言范式上的转变,它将 T 视为不可空的 T 类型,而我所调用的某个函数却有可能返回 null(在编写这个类库时,这种做法是合法的)。如果这种场景在整个程序中是一个偶尔才需要进行测试的用例,那么在理想的情况下,项目文档将指出这一点,而我在阅读文档后就知道应当在调用时进行空检查。或者因为我记得这是一段陈旧的代码,因此我将始终进行空检查。而在实际情况下,由于“T 即代表着不可空的 T”,因此我无需再进行空检查。如此一来,这段程序就会在我对空指针进行取值时崩溃。

人们也在热烈地讨论这一提议的替代方案。用户 00Davo 倾向于使用一种新的符号,以表示不可空类型

我也乐于让纯粹的 T 类型总是代表不可空的引用,而只有 T? 才能够接受空值,但这种改变对于向后兼容性来说就是一场恶梦。如果能引入一个全新的、明确的不可空引用符号,那么向后兼容性就会坚挺许多。比如使用 T! 符号,如何?

而在有些人看来,实现这一提议会造成的问题过多了。Number127 建议将静态分析作为一种替代方案

遗憾的是,目前来看,如果要以一种优雅的方法引入不可空引用类型,会造成过多的兼容性问题。我认为最有希望的替代方案是在维持目前的类型系统的情况下,通过静态分析技术以检查某个引用是否能够保证不为空。

在 GitHub 的页面上,人们同样在讨论静态分析这一方案。Paulo Morgado 对此进行了更进一步的阐述,他表示这条提议其实就代表了静态分析的使用

如果我的理解没错,这条提议其实就是一种增强版的方法契约而已。编译器在这里不会做出什么担保,更不用说运行时了。编译器所做的无非是对于那些声明为可空的变量进行数据流的分析而已。

在另一个话题中,Tomas Petricek 指出:这条提议必须考虑到其它 CLR 语言,例如 F#:

该提议能否详细地说明一下如何在 CLR 级别保存可空的标注信息?(我猜测这些标注应当并不具有运行时的意义,它们只会表现为某种.NET
attribute,或某种其它类型的元数据?)

我希望未来某个版本的 F#编译器能够辨识并理解这些标注信息,并定义某种“严格”模式,可空的类型在这种模式中将自动地暴露为 option<'T>
(或者差不多意思的某种类型)。

对于不可空引用类型的争论其实并不新鲜,在过去几年中,对这一问题已经进行了多次讨论。正如原微软的首席开发者 Eric Lippert 所说,在一个已具有15 年历史的语言中添加不可空引用是一项浩大的工程

查看英文原文 Debate: Adding Non-nullable References to C#

2015-10-08 19:001741
用户头像

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

关注

评论

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

云上攻击太多怎么办?不妨试试这些工具

华为云开发者联盟

黑客 云服务 数据安全 华为云 企业上云

Flink任务执行-3

小知识点

大数据 flink

LeetCode题解:11. 盛最多水的容器,while循环双指针,JavaScript,详细注释

Lee Chen

大前端 LeetCode

MySQL中几种常见的日志

Simon

MySQL 日志

我与游戏相伴【自我访谈】

叶阳夏烟

系列 游戏 游戏观 访谈录

领导发表的报告,你真的读懂了吗?

罗小龙

工作经验

Docker 架构及工作原理

哈喽沃德先生

Docker 容器 微服务

LeetCode152-乘积最大子数组-medium

书旅

LeetCode 动态规划

SecureBoost算法

soolaugust

学习 同态加密 secureboost

力扣题 - 29 解析大佬题解

Geek_663541

Java算法

学习源码的第八个月,我成了Spring的开源贡献者

程序员DMZ

spring 开源

MySQL容器化详细教程

Simon

MySQL Docker 容器

GrowingIO 数据采集 iOS SDK 测试实践

GrowingIO技术专栏

ios 数据采集 sdk

[High Performance TIDB] Leeson 01:TIDB整体架构---作业

远鹏

高性能 #TiDB

CSS属性整理

kidd

不完满的选择,要不要放弃

zhoo299

随笔杂谈

ARTS打卡第一周(200511-200517)

老胡爱分享

ARTS 打卡计划 ARTS活动

TypeScript 设计模式之发布-订阅模式

Geek_z9ygea

typescript 大前端 设计模式

带着面试题学习红黑树操作原理,解析什么时候染色、怎么进行旋转、与2-3树有什么关联

小傅哥

Java 数据结构 小傅哥 红黑树 2-3树

不说再见

太以

疫情 毕业季 遗憾 大学

图解JavaScript——进阶篇(执行上下文、变量对象、作用域、作用域链、闭包、this、原型及原型链、事件循环等一把梭)

执鸢者

Java 大前端 函数执行 事件循环

Apache Pulsar 在 BIGO 的性能调优实战(上)

Apache Pulsar

CDN百科11 | 担心纸质病例被洪水淹没?ECS+CDN+OSS如何助力医疗上云

阿里云Edge Plus

CDN 存储 云服务器

糖果不需要意义

zhoo299

随笔杂谈 电影

常用SQL语句分享

Simon

MySQL sql

Docker入门与简单使用

Simon

Docker Linux

疫情按下快进键,电商抢占市场红利需可靠的助力

华为云开发者联盟

高并发 电商 华为云 流量 云服务器

MySQL下的DB Link

Simon

MySQL

学习笔记2

Qx

学习

安全系列之——RSA的公钥私钥有多少人能分的清楚?RSA的签名验签与加密解密如何使用公私钥?

诸葛小猿

加密解密 非对称加密 rsa 签名验签

Docker从入门到放弃---基础篇

书旅

Docker 容器

关于是否在C#中加入不可空引用类型的争论_.NET_Pierre-Luc Maheu_InfoQ精选文章