持续创作，加速成长！这是我参与「掘金日新计划 · 10 月更文挑战」的第23天，点击查看活动详情

概述

从Flutter2开始，Flutter便在配置中默认启用了空安全，通过将空检查合并到类型系统中，可以在开发过程中捕获这些错误，从而防止再生产环境导致的崩溃。

什么是空安全

时至今日，空安全已经是一个屡见不鲜的话题，目前像主流的编程语言Kotlin、Swift、Rust 等都对空安全有自己的支持。Dart从2.12版本开始支持了空安全，通过空安全开发人员可以有效避免null错误崩溃。空安全性可以说是Dart语言的重要补充，它通过区分可空类型和非可空类型进一步增强了类型系统。

引入空安全的好处

可以将原本运行时的空值引用错误将变为编辑时的分析错误；
增强程序的健壮性，有效避免由Null而导致的崩溃；
跟随Dart和Flutter的发展趋势，为程序的后续迭代不留坑；

空安全最小必备知识

空安全的原则
引入空安全前后Dart类型系统的变化
可空（?）类型的使用
延迟初始化（late）的使用
空值断言操作符（!）的使用

空安全的原则

Dart 的空安全支持基于以下三条核心原则：

默认不可空：除非您将变量显式声明为可空，否则它一定是非空的类型；
渐进迁移：您可以自由地选择何时进行迁移，多少代码会进行迁移；
完全可靠：Dart 的空安全是非常可靠的，意味着编译期间包含了很多优化，
如果类型系统推断出某个变量不为空，那么它永远不为空。当您将整个项目和其依赖完全迁移至空安全后，您会享有健全性带来的所有优势——更少的 BUG、更小的二进制文件以及更快的执行速度。

引入空安全前后Dart类型系统的变化

在引入空安全前Dart的类型系统是这样的：

图片.png 这意味着在之前，所有的类型都可以为Null，也就是Nul类型被看作是所有类型的子类。

在引入空安全之后：

图片.png

可以看出，最大的变化是将Null类型独立出来了，这意味着Null不在是其它类型的子类型，所以对于一个非Null类型的变量传递一个Null值时会报类型转换错误。

提示：在使用了空安全的Flutter或Dart项目中你会经常看到?.、!、late的大量应用，那么他们分别是什么又改如何使用呢？请看下文的分析

可空（?）类型的使用

我们可以通过将?跟在类型的后面来表示它后面的变量或参数可接受Null：

class CommonModel {
  String? firstName; //可空的成员变量
  int getNameLen(String? lastName /*可空的参数*/) {
    int firstLen = firstName?.length ?? 0;
    int lastLen = lastName?.length ?? 0;
    return firstLen + lastLen;
  }
}

对于可空的变量或参数在使用的时候需要通过Dart 的避空运算符?.来进行访问，否则会抛出编译错误。

当程序启用空安全后，类的成员变量默认是不可空的，所以对于一个非空的成员变量需要指定其初始化方式：

class CommonModel {
  List names=[];//定义时初始化
  final List colors;//在构造方法中初始化
  late List urls;//延时初始化
  CommonModel(this.colors);
  ...

延迟初始化（late）的使用

对于无法在定义时进行初始化，并且又想避免使用?.，那么延迟初始化可以帮到你。通过late修饰的变量，可以让开发者选择初始化的时机，并且在使用这个变量时可以不用?.。

 late List urls;//延时初始化
  setUrls(List urls){
    this.urls=urls;
  }
  int getUrlLen(){
    return urls.length;
  }

延时初始化虽然能为我们编码带来一定便利，但如果使用不当会带来空异常的问题，所以在使用的时候一定保证赋值和访问的顺序，切莫颠倒。

延迟初始化（late）使用范式

在Flutter中State的initState方法中初始化的一些变量是比较适合使用late来进行延时初始化的，因为在Widget生命周期中initState方法是最先执行的，所以它里面初始化的变量通过late修饰后既能保障使用时的便利，又能防止空异常，下面就以为例来看下具体的用法：

class _SpeakPageState extends State<SpeakPage>
    with SingleTickerProviderStateMixin {
  String speakTips = '长按说话';
  String speakResult = '';
  late Animation<double> animation;
  late AnimationController controller;
 
  @override
  void initState() {
    controller = AnimationController(
        super.initState();
        vsync: this, duration: Duration(milliseconds: 1000));
    animation = CurvedAnimation(parent: controller, curve: Curves.easeIn)
      ..addStatusListener((status) {
        if (status == AnimationStatus.completed) {
          controller.reverse();
        } else if (status == AnimationStatus.dismissed) {
          controller.forward();
        }
      });
  }

空值断言操作符（!）的使用

当我们排除变量或参数的可空的可能后，可以通过!来告诉编译器这个可空的变量或参数不可空，这对我们进行方法传参或将可空参数传递给一个不可空的入参时特别有用：

 Widget get _listView {
    return ListView(
      children: <Widget>[
        _banner,
        Padding(
          padding: EdgeInsets.fromLTRB(7, 4, 7, 4),
          child: LocalNav(localNavList: localNavList),
        ),
        if (gridNavModel != null)
          Padding(
              padding: EdgeInsets.fromLTRB(7, 0, 7, 4),
              child: GridNav(gridNavModel: gridNavModel!)),
        Padding(
            padding: EdgeInsets.fromLTRB(7, 0, 7, 4),
            child: SubNav(subNavList: subNavList)),
        if (salesBoxModel != null)
          Padding(
              padding: EdgeInsets.fromLTRB(7, 0, 7, 4),
              child: SalesBox(salesBox: salesBoxModel!)),
      ],
    );

除此之外，!还有一个常见的用处：

bool isEmptyList(Object object) {
  if (object is! List) return false;
  return object.isEmpty;
}

用在这里表示取反，上述代码等价于：

bool isEmptyList(Object object) {
  if (!(object is List)) return false;
  return object.isEmpty;
}

dart空安全适配

自定义Widget的空安全适配分两种情况：

Widget的空安全适配
State的空安全适配

Widget的空安全适配

对于自定的Widget无论是页面的某控件还是整个页面，通常都会为Widget定义一些属性。在进行空安全适配时要对属性进行一下分类：

可空的属性：通过?进行修饰
不可空的属性：在构造函数中设置默认值或者通过required进行修饰

class WebView extends StatefulWidget {
  String? url;
  final String? statusBarColor;
  final String? title;
  final bool? hideAppBar;
  final bool backForbid;
 
  WebView(
      {this.url,
      this.statusBarColor,
      this.title,
      this.hideAppBar,
      this.backForbid = false})
      ...

State的空安全适配

State的空安全适配主要是根据它的成员变量是否可空进行分类：

可空的变量：通过?进行修饰
不可空的变量：可采用以下两种方式进行适配
- 定义时初始化
- 使用late修饰为延时变量

class _TravelPageState extends State<TravelPage> with TickerProviderStateMixin {
 late TabController _controller; //延时初始
 List<TravelTab> tabs = []; //定义时初始化
  ...
 @override
 void initState() {
   super.initState();
   _controller = TabController(length: 0, vsync: this);
   ...

总结

本篇主要介绍了空安全是为了编译更快和系统属性未初始化导致的空值崩溃，提升系统安全稳定性，其次是可空（?），### 延迟初始化（late），### 空值断言操作符（!）在实际项目中的使用。以及 Widget的空安全适配，State的空安全适配。

23、Flutter之 dart空安全和空安全适配

概述