健全的空安全
Dart 语言强制执行健全的空安全。
空安全可以防止由于意外访问设置为 null
的变量而导致的错误。
例如,如果一个方法期望一个整数,但接收到 null
,则您的应用会导致运行时错误。这种类型的错误,即空指针解引用错误,可能很难调试。
使用健全的空安全,所有变量都需要一个值。这意味着 Dart 认为所有变量都是不可空的。您只能分配声明类型的数值,例如 int i=42
。您永远不能将 null
值分配给默认变量类型。要指定变量类型可以具有 null
值,请在类型注释后添加一个 ?
:int? i
。这些特定类型可以包含 null
或 定义类型的值。
健全的空安全将潜在的运行时错误更改为编辑时分析错误。使用空安全,如果不可空变量具有以下情况,Dart 分析器和编译器会标记:
- 未用非空值初始化
- 已分配
null
值。
这些检查允许您在部署应用程序之前修复这些错误。
通过示例介绍
#使用空安全,以下代码中的任何变量都不能为 null
// With null safety, none of these can ever be null.
var i = 42; // Inferred to be an int.
String name = getFileName();
final b = Foo();
int? aNullableInt = null;
空安全原则
#Dart 使用以下两个核心设计原则支持空安全
默认不可空。除非您明确告诉 Dart 变量可以为空,否则它被认为是不可空的。经过研究发现,在 API 中,非空是迄今为止最常见的选择,因此选择了此默认值。
完全健全。Dart 的空安全是健全的,这使得编译器优化成为可能。如果类型系统确定某事物不是空值,那么该事物永远不可能是空值。一旦您将整个项目及其依赖项迁移到空安全,您将获得健全的全部好处——不仅是更少的错误,而且更小的二进制文件和更快的执行速度。
Dart 3 和空安全
#Dart 3 内置了健全的空安全。Dart 3 会阻止没有它的代码运行。
要了解如何迁移到 Dart 3,请查看Dart 3 迁移指南。在解析依赖项时,不使用空安全支持开发的包会导致问题
$ dart pub get
Because pkg1 doesn't support null safety, version solving failed.
The lower bound of "sdk: '>=2.9.0 <3.0.0'" must be 2.12.0 or higher to enable null safety.
与 Dart 3 不兼容的库会导致分析或编译错误。
$ dart analyze .
Analyzing .... 0.6s
error • lib/pkg1.dart:1:1 • The language version must be >=2.12.0.
Try removing the language version override and migrating the code.
• illegal_language_version_override
$ dart run bin/my_app.dart
../pkg1/lib/pkg1.dart:1:1: Error: Library doesn't support null safety.
// @dart=2.9
^^^^^^^^^^^^
要解决这些问题
Dart 3 可以在 Dart 和 Flutter 的稳定通道中找到。要了解更多信息,请查看下载页面以获取详细信息。要测试您的代码与 Dart 3 的兼容性,请使用 Dart 3 或更高版本。
$ dart --version # make sure this reports 3.0.0-417.1.beta or higher
$ dart pub get / flutter pub get # this should resolve without issues
$ dart analyze / flutter analyze # this should pass without errors
如果 pub get
步骤失败,请检查依赖项的状态。
如果 analyze
步骤失败,请更新您的代码以解决分析器列出的问题。
Dart 2.x 和空安全
#从 Dart 2.12 到 2.19,您需要启用空安全。您不能在早于 Dart 2.12 的 SDK 版本中使用空安全。
要启用健全的空安全,请将 SDK 约束下限设置为 2.12 或更高版本的语言版本。例如,您的 pubspec.yaml
文件可能具有以下约束
environment:
sdk: '>=2.12.0 <3.0.0'
迁移现有代码
#可以在不使用空安全支持的情况下编写的 Dart 代码可以迁移为使用空安全。我们建议使用 Dart SDK 版本 2.12 到 2.19 中包含的 dart migrate
工具。
$ cd my_app
$ dart migrate
要了解如何将代码迁移到空安全,请查看迁移指南。
在哪里了解更多
#要了解有关空安全的更多信息,请查看以下资源
除非另有说明,否则本网站上的文档反映的是 Dart 3.6.0。页面上次更新时间为 2024-12-10。 查看源代码 或 报告问题。