【译总结】Dart Sound Null Safety 概览

2021-04-03

Dart 2.12, Flutter 2 特性

Dart SDK 约束:

environment:
  sdk: ">=2.12.0 <3.0.0"

介绍

在对空指针调用方法的时候，Dart 会抛出 NoSuchMethodError 的异常。

// Without null safety:
bool isEmpty(String string) => string.length == 0;

main() {
  isEmpty(null);
}

因为 null 本身在 Dart 中也是个实例，是 Null 类的实例, 而 Null 类中并无此 length getter 方法所以抛异常

class Null {
  factory Null._uninstantiable() {
    throw UnsupportedError('class Null cannot be instantiated');
  }

  external int get hashCode;

  /** Returns the string `"null"`. */
  String toString() => "null";
}

作用

能够让在你在开发阶段就可以捕获到由 null 而引发的 app 崩溃错误。
让程序更快更小，因为不需要对 non-nullable 变量进行判断是否为 null 了。

特性

默认变量的声明值都不能为 null, 即: non-nullable。
在变量的数据类型声明后加 ? 表示该变量可以有值也可以为 null, 即 nullable。
int? aNullableInt = null;

核心设计原则

默认是 non-nullable: 如果没有指定变量为 nullable，默认即为 non-nullable。
逐步迁移: 在工程中可以同时存在空安全和非空安全混编的代码，并提供工具逐步迁移。
完全符合健壮性: 只要类型系统确定该变量是 non-nullable，即该变量永远都不会为 null, 并开启了编译器优化，拥有更小的二进制以及更快的运行速度。

操作符

null-safety相关操作符 ! (assertion operator)、？、late, 处理 nullable 的操作符 if、??、?.

late 关键字用于当无法对 non-nullable 立即赋值的时候，可以用该关键字延迟赋值, 注意 late 关键字和 fianl 是可以共存的。以下三点

不需要立即赋值。
可以稍后赋值
在访问之前确保赋值了。(没赋值即访问抛异常 LateInitializationError)

late 除了可以延迟赋值外，还可以使成员方法懒加载,这对于读取大量耗时资源的时候十分有效，因为这些资源有可能用户不会用到，但是如果一开始就把这些资源就读取进来是没必要的，想做到需要读取的时候再进行读取。

?. 操作符号在 null-safety 有短路的功能，例如 person?.dog.age 如果 person 为 null，那么整条表达式就直接返回 null 了。

request

在 null-safety 当中,命名参数 non-nullable 的类型必须要有默认值或是使用 request 关键字来修饰，也就是对于 non-nullable 来说它必须要有值。

List、Set、Map 中的 null-safety

在使用集合的时候需要考虑哪一部分是可以为 null 的。

List、 Set

Map

Map 情况与 List、Set类似, 但有个例外, 当通过 Key 拿 value 的时候，该 value 可能会为 null, 也就是说 map[‘key’] 返回的是一个 nullable

非健全的空安全

Dart 提供两种模式:

混合开发: 为了更加灵活，如果工程中有些库支持了 null-safety 而有些库没有，也是支持这种混合开发，称之为非健全的空安全(unsound null safety)。但当 safe 与 unsafe 的库互相混入无法在运行时保证完全健全,也就是说还是可能会报 NoSuchMethodError 相关错误。

直接升级到 Flutter 2.0 而没有迁移 App 就是 unsound null safety。