前言
看完本章节你将晓得:
- 什么是空平安
- 空平安的准则
- 如何启用空平安
- 空平安的类型
- 空断言运算符
- 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
的类型,能够尝试在最初增加 return
或 throw
语句。
解决办法
第一种:增加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
,它同时提供了对字段提早初始化的反对。