简介
空安全（Sound null safety）是 Dart 2.12 中新增的一项特性，空安全特性并不是 Dart 独有的，Kotlin, TypeScript, C#, Swift 等语言都有此特性，如果你了解这些语言的空安全特性及用法，那么下面关于 Dart 语言空安全特性的介绍你会感到非常熟悉，因为 Dart 语言空安全和其他语言基本一致。
版本要求
Dart 2.12和Flutter 2中提供了空安全性，对应到Flutter项目中，则需要在pubspec.yaml文件中添加如下配置：
代码语言：javascript复制environment:
sdk: ">=2.12.0 <3.0.0"
基本使用
变量
定一个 int 类型的变量，
代码语言：javascript复制int age = null;
在没有空安全前，上面的代码是没有问题的，但当使用空安全后，在编译阶段出现异常，如下：
异常提示：null不能赋值给int变量。
这是空安全与以前最大的不同，默认情况下，变量不能为null（空安全以前任何类型都可以设置为null），更重要的是此异常在编译阶段即出现异常，无法编译通过。
如果想给一个变量赋值 null 要如何处理？只需在类型后面添加 ? 即可，如下：
代码语言：javascript复制 int age = 1;
int? ageNull = null;
String? name = null;
类型后面跟操作符 ? 表示当前变量可为null。
变量的使用：
代码语言：javascript复制String? name = null;
print('name length:${name?.length}');
非常简单，输出 name 字符串的长度，此时会发现，无法编译通过，异常如下：
修改如下：
代码语言：javascript复制String? name = null;
print('name length:${name?.length}');
输出：
代码语言：javascript复制flutter: name length:null
注意：上面 name 为 null，调用 name?.length 不会抛出异常，而是返回 null。
还可以有另外一种方式处理上面的异常：使用操作符 !
代码语言：javascript复制String? name = null;
print('name length:${name!.length}');
上面的代码虽然可以编译通过，但运行时抛出异常，操作符 ! 表示检测当前变量不为 null，开发者需要保证变量不为 null，否则会抛出异常。
如果无法确认变量不为null，千万不要使用操作符 !
集合
看如下List集合：
代码语言：javascript复制List<String> list;
List<String>? list1;
List<String?> list2;
List<String?>? list3;
他们的区别就是是否可为 null 的区别，List 表示 List 不为 null 而且集合中的 Item 也不能为 null。那么如下代码就是错误的：
代码语言：javascript复制List<String> list;
//错误
list = null;
list.add(null);
List 集合说明如下：
类型 | 集合是否可为null | Item 是否可以为null |
|---|---|---|
List | 否 | 否 |
List? | 是 | 否 |
List<String?> | 否 | 是 |
List<String?>? | 是 | 是 |
Map 类型也是同理，Map 中的 key 一般不为 null，下面的 Item 指的是Map 中的 value：
类型 | 集合是否可为null | Item 是否可以为null |
|---|---|---|
Map<String,String> | 否 | 否 |
Map<String,String>? | 是 | 否 |
Map<String,String?> | 否 | 是 |
Map<String,String?>? | 是 | 是 |
方法参数
代码语言：javascript复制void _incrementCounter(String? name) {
print('name length:${name?.length}');
}
上面方法参数中加入了空安全，与变量用法一致。
class
定义一个类：
代码语言：javascript复制class Person{
final String name;
Person(this.name);
}
有一个属性 name，属性类型为 String，说明此属性不能为 null，下面的使用是错误的：
代码语言：javascript复制//错误，无法编译通过
var persion = Person(null);
//正确
var persion1 = Person('123');
将属性 name 改为可为 null：
代码语言：javascript复制class Person{
final String? name;
Person(this.name);
}
那么下面的用法都是正确的：
代码语言：javascript复制//正确
var persion = Person(null);
//正确
var persion1 = Person('123');
初始化 late
假设有一个属性，此属性的值来源于服务器或者其他方法，那么此时无法给此属性进行初始化，代码如下：
代码语言：javascript复制String name;
此时会编译异常：
image-20210331172618734
提示我们必须要初始化，此情况使用关键字 late：
代码语言：javascript复制late String name;
使用此属性前 一定 要赋值，下面的用法运行时抛出异常：
代码语言：javascript复制late String name;
void _incrementCounter() {
print('name length:${name.length}');
}
异常：
正确用法：
代码语言：javascript复制late String name;
void _incrementCounter() {
name = '123';
print('name length:${name.length}');
}
总结
空安全增加了2个操作符 ? 和 ! ，1个关键字 late。
? ：放在类型后面表示当前变量可为null，例如 int a 和 int? b ，a 不能为null，而 b 可以。
! ：放在变量后面，表示此变量值不为null，如果为null则会抛出异常，此操作符经常用于如下场景：一个方法的参数为非空类型（int）,而传递给当前方法的变量是可为null的类型（int?）,那么此时编译出现异常，在类型不变的情况下，在此变量的后面添加 ! ，表示当前变量不为null，代码如下：
代码语言：javascript复制int? b = 2;
int _add(int a){
return a 1;
}
//方法调用
_add(b!);
late：表示延迟初始化，通常用于延迟加载（比如网络请求），late 声明的变量在使用前一定要进行初始化。
