前言

看完本章节你将晓得:

  • 什么是空平安
  • 空平安的准则
  • 如何启用空平安
  • 空平安的类型
  • 空断言运算符
  • late修饰符

视频教程

空平安视频教程地址

空平安介绍

空平安null-safe type system是在Dart 2.12中引入的,如果开启空平安,默认状况下代码中的类型不能为空,也就是说除非申明该类型是能够为空的,否则值不能为空。

空平安是官网极力推荐的,当初很多风行的第三方库全部都是反对了空平安,所以空平安是咱们必须要把握的常识。

空平安的准则

  • 默认不可空:除非你将变量显式申明为可空,否则它肯定是非空的类型。
  • 渐进迁徙:能够自在地抉择何时进行迁徙,多少代码会进行迁徙,还能够应用混合模式的空平安,在一个我的项目中同时应用空平安和非空平安的代码。
  • 齐全牢靠:对代码的健全性带来的所有劣势——更少的 BUG、更小的二进制文件以及更快的执行速度。

启用空平安

空平安在Dart 2.12 和 Flutter 2.0中可用,可通过指定Dart SDK版本为2.12那么就会开启空平安

environment:  sdk: ">=2.12.0 <3.0.0"

空平安类型

空平安分可为空和不可为空,可为空就是变量、形参都能够传null值,不可为空变量、形参肯定不能为空,咱们在应用空平安的时候会碰到上面三种状况,接下来的代码演示咱们都是dart 2.12开启空平安为准

  • 变量为空编译时报错
  • 传递参数时为空编译时报错
  • 办法须要返回参数时必须返回,否则编译时报错

变量可为空和不可为空的应用比照

申明一个空变量

这里我申明了一个变量为name的字符串属性,但并没有赋值,所以name的内存地址存的是一个空的字符串。

String name;

谬误提醒

它提醒说不可为空的变量肯定要进行初始化

表明变量可为空

咱们能够在Stirng前面加一个?号,该符号表明name这个变量能够为空,这个时候咱们发现定义时不会呈现报错,然而咱们在应用name属性的时候会发现有一个报错,它报错的信息是String?不能调配给一个String,如下:

空断言运算符

在下面咱们应用name这个属性的时候会呈现一个报错,咱们能够应用空断言运算符!来表明该值不会为空,所以Dart在编译时不会报错,该符号在我的项目中尽量不要应用,除非你明确晓得它是不为空的,因为咱们name属性还是空的,所以在运行时将会收到如下报错:

======== Exception caught by widgets library =======================================================The following _CastError was thrown building MyHomePage(dirty, state: _MyHomePageState#5824d):Null check operator used on a null valueThe relevant error-causing widget was:   MyHomePage MyHomePage:file:///Users/jm/Desktop/Work/Git/my_project/flutter_null_safety/lib/main.dart:29:13When the exception was thrown, this was the stack: ..........(package:flutter/src/rendering/binding.dart:319:5)#123    SchedulerBinding._invokeFrameCallback (package:flutter/src/scheduler/binding.dart:1143:15)#124    SchedulerBinding.handleDrawFrame (package:flutter/src/scheduler/binding.dart:1080:9)#125    SchedulerBinding.scheduleWarmUpFrame.<anonymous closure> (package:flutter/src/scheduler/binding.dart:863:7)(elided 4 frames from class _RawReceivePortImpl, class _Timer, and dart:async-patch)====================================================================================================

参数可为空和不可为空的应用比照

申明一个须要传参的办法

上面这段代码咱们定义了一个可选参数为name的字符串,在空平安的机制下,咱们必须保障传入的参数不能为空,那么将会收到如下报错:

_upperCase({String name}) {  setState(() {    value.toUpperCase();  });}floatingActionButton: FloatingActionButton(  onPressed: _upperCase(),  child: Icon(Icons.add),), 

谬误提醒

它提醒参数name的类型不能为null值,然而被隐式转换成了null,咱们碰到这种状况有两种解决方案,咱们接下来看看如果解决

解决办法

第一种:给可选参数增加默认值

_upperCase({String name = "Jimi"}) {  setState(() {    name.toUpperCase();  });}

第二种:给可选参数减少required

_upperCase({required String name}) {  setState(() {    name.toUpperCase();  });}

当给可选参数减少required后,阐明可选参数name必传,这样会导致调用处会报错,咱们来在调用时把name传进去,如下:

floatingActionButton: FloatingActionButton(  onPressed: _upperCase(name: name!),  child: Icon(Icons.add),), 

这里应用name!来进行传入,在下面咱们说过这个是空断言运算符,只有你明确晓得该变量会有值时才应用,那么咱们这里这样应用还是会报错,所以咱们来持续优化,把name申明一个有值的变量,如下:

String name = "Jimi";floatingActionButton: FloatingActionButton(  onPressed: _upperCase(name: name),  child: Icon(Icons.add),), 

办法的返回值可为空和不可为空的应用比照

申明一个须要有返回值的办法

上面我申明了一个办法用来将name`的转换为大写,在咱们没有引入空平安之前下来代码是不会报错的,然而引入空平安机制后你会收到如下报错:

String name = "Jimi";String _upperCaseName(String name) {}

谬误提醒

它提醒返回类型可能是不能为null的类型,能够尝试在最初增加 returnthrow语句。

解决办法

第一种:增加return语句

String _upperCaseName(String name) {  return name.toUpperCase();}

第二种:增加throw语句

String _upperCaseName(String name) {  throw "no return";}

自定义类字段可为空和不可为空应用比照

申明一个User类

咱们在平时的开发过程中经常会自定义类,而自定义类中的属性一开始都不会赋值,那么咱们引入空平安的状况下将会报错,如下所示:

class User {  String name;  int age;  setName(String name) {    this.name = name;  }  getName() {    return this.name;  }  setAge(int age) {    this.age = age;  }  getAge() {    return this.age;  }}

报错提醒

它这里提醒name以及age必须要有初始化值,或者标记为late

解决办法

第一种:申明变量可为空

咱们采纳申明变量可为空的形式,在应用的时候咱们应用空断言运算符!来进行写入和读取操作,然而这也暗示着null对于字段来说是有用的值,这样就南辕北辙了,所以倡议不要采纳这种形式,接下来咱们来看看第二种解决方案late修饰符。

String? name;int? age;

第二种:late修饰符

因为late波及内容较多,咱们拿一个章节来解说。

late修饰符

late修饰符是在运行时而非编译时对变量进行束缚,这也就是说late相当于何时执行对变量的强制束缚。

比方本示例中name字段用late润饰后并不一定曾经被初始化,每次它被读取时,都会插入一个运行时的查看,以确保它曾经被赋值。如果并未赋值,就会抛出一个异样,给变量加上String类型就是说:“我的值相对是字符串”,而加上late修饰符意味着:"每次运行我都要查看是不是真的"。

当应用late修饰符总结如下:

  • 先不给变量赋值
  • 稍后再给变量赋值
  • 在应用前会给变量赋值
  • 在应用前不赋值,将会报错
late String name;late int age;

late修饰符懒加载

懒加载也有一种说法是初始化提早执行,当你用late润饰变量后,那么它将会被提早到字段首次被拜访时才会执行,而不是在实例化结构器时就初始化了。而且实例字段的初始化内容是无法访问this的,因为在所有的初始化办法实现前,是无法访问到新的实例对象。然而,应用了late的话就能够拜访到this、调用办法以及拜访实例的字段。

不应用late修饰符

咱们这里就是创立一个User类,name属性间接调用getUserName()办法,最初当咱们实例化一个User对象并获取name的值,咱们来看下控制台输入:

void main() {  print("调用构造函数");  var user = User();  print("获取值");  print("获取的值为: ${user.getName()}");}class User {  String name = getUserName();  setName(String name) {    this.name = name;  }  getName() {    return this.name;  }}String getUserName() {  print("返回用户的名称");  return "Jimi";}

控制台输入

flutter: 调用构造函数flutter: 返回用户的名称flutter: 获取值flutter: 获取的值为: Jimi

应用late修饰符

代码和下面一样,只是在定义字段处加了一个late修饰符,咱们来看一下控制台输入:

void main() {  print("调用构造函数");  var user = User();  print("获取值");  print("获取的值为: ${user.getName()}");}class User {  late String name = getUserName();  setName(String name) {    this.name = name;  }  getName() {    return this.name;  }}String getUserName() {  print("返回用户的名称");  return "Jimi";}

控制台输入

flutter: 调用构造函数flutter: 获取值flutter: 返回用户的名称flutter: 获取的值为: Jimi

咱们显著能够看到第二行和第三行反过来了,而在不应用late修饰符也就是没有懒加载的状况下,当咱们实例化结构器时就间接调用了获取值的办法。而加了late修饰符后是在应用该字段的时候才会去进行获取。

总结

空平安的引入让我的代码变得更加牢靠

  • 在类型上都必须是非空的,当然你也能够增加?变成可空的,用空断言运算符!进行应用。
  • 可选参数都必须是非空的,能够应用required来构建一个非可选命名参数。
  • List 类当初不再容许蕴含未初始化的元素。
  • late修饰符在运行时查看,可能应用非空类型和 final,它同时提供了对字段提早初始化的反对。