健全的空安全

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();

要指示变量可能具有值 null，只需在其类型声明中添加 ?

int? aNullableInt = null;

• 要尝试一些交互式示例，请尝试Dart 速查表中一些面向空安全的示例。
• 要了解更多关于空安全的信息，请查看理解空安全。

Dart 使用以下两个核心设计原则支持空安全

• 默认不可为空。除非您明确告诉 Dart 变量可以为空，否则它被认为是不可为空的。此默认设置是在研究发现不可为空是 API 中最常见的选择之后选择的。

• 完全健全。Dart 的空安全是健全的，这支持编译器优化。如果类型系统确定某事物不是 null，那么该事物永远不可能是 null。一旦您将整个项目及其依赖项迁移到空安全，您将获得健全性的全部好处——不仅错误更少，而且二进制文件更小，执行速度更快。

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
^^^^^^^^^^^^

要解决这些问题

1. 检查您从 pub.dev 安装的任何包的空安全版本
2. 迁移您的所有源代码以使用健全的空安全。

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.12 到 2.19，您需要启用空安全。您不能在早于 Dart 2.12 的 SDK 版本中使用空安全。

要启用健全的空安全，请将 SDK 约束下限设置为 2.12 或更高版本的语言版本。例如，您的 pubspec.yaml 文件可能具有以下约束

environment:
  sdk: '>=2.12.0 <3.0.0'

可以迁移在没有空安全支持的情况下编写的 Dart 代码以使用空安全。我们建议使用 dart migrate 工具，该工具包含在 Dart SDK 版本 2.12 到 2.19 中。

$ cd my_app
$ dart migrate

要了解如何将代码迁移到空安全，请查看迁移指南。

要了解更多关于空安全的信息，请查看以下资源

• 理解空安全
• 现有代码的迁移指南
• 空安全常见问题解答
• 空安全示例代码

除非另有说明，否则本网站上的文档反映的是 Dart 3.7.1。页面上次更新于 2024-12-10。 查看源代码 或 报告问题。