flutter2.0 空安全 Sound null safety

作者:老孟 来源:mp.weixin.qq.com 更新时间:2023-05-25 21:55

补充: 对于map类型可以使用 foo?['bar']

备注:新版本将之前的@required替换成了required , 这是用来标明参数是必需的。(The parameter 'content' can't have a value of 'null' because of its type, but the implicit default value is 'null'.)

转载自老孟,有很多组件的实例,很实用.. https://laomengit.com


简介

空安全(Sound null safety)是 Dart 2.12 中新增的一项特性,空安全特性并不是 Dart 独有的,Kotlin, TypeScript,  C#, Swift 等语言都有此特性,如果你了解这些语言的空安全特性及用法,那么下面关于 Dart 语言空安全特性的介绍你会感到非常熟悉,因为 Dart 语言空安全和其他语言基本一致。

版本要求

Dart 2.12和Flutter 2中提供了空安全性,对应到Flutter项目中,则需要在pubspec.yaml文件中添加如下配置:

environment:
  sdk: ">=2.12.0 <3.0.0"

基本使用

变量

定一个 int 类型的变量,

int age = null;

在没有空安全前,上面的代码是没有问题的,但当使用空安全后,在编译阶段出现异常,如下:

异常提示:null不能赋值给int变量。

这是空安全与以前最大的不同,默认情况下,变量不能为null(空安全以前任何类型都可以设置为null),更重要的是此异常在编译阶段即出现异常,无法编译通过。

如果想给一个变量赋值 null 要如何处理?只需在类型后面添加 ? 即可,如下:

  int age = 1;
  int? ageNull = null;
  String? name = null;

类型后面跟操作符 ? 表示当前变量可为null。

变量的使用:

String? name = null;
print('name length:${name?.length}');

非常简单,输出 name 字符串的长度,此时会发现,无法编译通过,异常如下:

图片

修改如下:

String? name = null;
print('name length:${name?.length}');

输出:

flutter: name length:null

注意:上面 name 为 null,调用 name?.length 不会抛出异常,而是返回 null。

还可以有另外一种方式处理上面的异常:使用操作符  !

String? name = null;
print('name length:${name!.length}');

上面的代码虽然可以编译通过,但运行时抛出异常,操作符  ! 表示检测当前变量不为 null,开发者需要保证变量不为 null,否则会抛出异常。

如果无法确认变量不为null,千万不要使用操作符  !

集合

看如下List集合:

List<String> list;
List<String>? list1;
List<String?> list2;
List<String?>? list3;

他们的区别就是是否可为 null 的区别,List 表示 List 不为 null 而且集合中的 Item 也不能为 null。那么如下代码就是错误的:

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

方法参数

void _incrementCounter(String? name) {
  print('name length:${name?.length}');
}

上面方法参数中加入了空安全,与变量用法一致。

class

定义一个类:

class Person{
  
  final String name;

  Person(this.name);
}

有一个属性 name,属性类型为 String,说明此属性不能为 null,下面的使用是错误的:

//错误,无法编译通过
var persion = Person(null);
//正确
var persion1 = Person('123');

将属性 name 改为可为 null:

class Person{

  final String? name;

  Person(this.name);
}

那么下面的用法都是正确的:

//正确
var persion = Person(null);
//正确
var persion1 = Person('123');

初始化 late

假设有一个属性,此属性的值来源于服务器或者其他方法,那么此时无法给此属性进行初始化,代码如下:

String name;

此时会编译异常:

图片
image-20210331172618734

提示我们必须要初始化,此情况使用关键字 late

late String name;

使用此属性前 一定 要赋值,下面的用法运行时抛出异常:

late String name;

void _incrementCounter() {
  print('name length:${name.length}');
}

异常:

图片

 

正确用法:

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,代码如下:

    int? b = 2;
    
    int _add(int a){
      return a+1;
    }
    
    //方法调用
    _add(b!);
    
  • late:表示延迟初始化,通常用于延迟加载(比如网络请求),late 声明的变量在使用前一定要进行初始化。

    转载备注: 局部变量不需要使用late关键字
    Local variables are the most flexible case. A non-nullable local variable doesn’t need to have an initializer.  
    The rule is only that a local variable must be definitely assigned before it is used. We get to rely on the new flow analysis I alluded to for this as well. As long as every path to a variable’s use initializes it first, the use is OK.

    我们只需要在使用变量前明确赋值就可以.比如:

    
    
    // Using null safety:
    int tracingFibonacci(int n) {
      int result;
      if (n < 2) {
        result = n;
      } else {
        result = tracingFibonacci(n - 2) + tracingFibonacci(n - 1);
      }
    
      print(result);
      return result;
    }