原标题：里程碑技术！飞镖宣布引入零安全源：开源中国
Dart团队宣布，Dart编程语言通过其新的空安全特性的技术预览达到了一个新的重要里程碑。该团队表示，这项功能已经开发了一年多，是自Dart 2以来对Dart语言的最大补充。零安全性现在可以在DartPad版本中试用，并将在2020年底投入生产。
团队成员菲利普赫拉切克和迈克尔汤姆森在他们的帖子中写道：“零安全可以帮助你避免一种通常很难发现的错误，作为额外的奖励，可以实现一系列的性能改进。”
Dart是一种类型安全语言，这意味着编译器可以保证变量的类型，但是类型安全本身不能保证变量不为空。空错误在Dart中很常见，并在Dart代码中导致许多问题。
空安全性向开发人员保证他们的代码不包含空元素。空安全在编写代码时提供静态错误，因此开发人员不必等到代码在运行时编译后才发现错误。
Dart团队用三个核心原则设计了这个特性：
默认情况下，它必须是不可为空的，这样开发人员就可以显式声明变量何时可以为空。
它必须逐步被采用，这意味着空安全代码和非空安全代码可以一起存在于同一个项目中。
第三，它必须完全健全。
根据该团队的说法，达特的零安全性是向后兼容的，而不是突破性的改变。这意味着现有的代码可以调用使用空安全的代码，并且空安全在可用时将成为可选功能。
从现在开始，它将添加更多的新功能来逐步改进自己，例如添加迁移工具、pub.dev上的标签(用于显示包是否支持空安全)和对“pub过时”命令的扩展，增加对查找支持空安全的依赖版本的支持。
