一、Dart基础目录:

1.1 思维导图

image.png

1.2 Dart基础将分五篇讲解:

主要讲解关键字、变量、内置类型、操作符、控制流程语句
主要讲解函数
主要讲解类
主要讲解泛型、库及可见性
主要讲解异步支持、异常

二、Dart 线程模型

编程中的代码执行,通常分为同步异步两种。

  • 同步
    简单说,同步就是按照代码的编写顺序,从上到下依次执行,这也是最简单的我们最常接触的一种形式。但是同步代码的缺点也显而易见,如果其中某一行或几行代码非常耗时,那么就会阻塞,使得后面的代码不能被立刻执行。
  • 异步
    异步的出现正是为了解决这种问题,它可以使某部分耗时代码不在当前这条执行线路上立刻执行,那究竟怎么执行呢?最常见的一种方案是使用多线程,也就相当于开辟另一条执行线,然后让耗时代码在另一条执行线上运行,这样两条执行线并列,耗时代码自然也就不能阻塞主执行线上的代码了。

  多线程虽然好用,但是在大量并发时,仍然存在两个较大的缺陷,一个是开辟线程比较耗费资源,线程开多了机器吃不消,另一个则是线程的锁问题,多个线程操作共享内存时需要加锁,复杂情况下的锁竞争不仅会降低性能,还可能造成死锁。因此又出现了基于事件的异步模型。

  异步模型简单说就是在某个单线程中存在一个事件循环和一个事件队列,事件循环不断的从事件队列中取出事件来执行,这里的事件就好比是一段代码,每当遇到耗时的事件时,事件循环不会停下来等待结果,它会跳过耗时事件,继续执行其后的事件。当不耗时的事件都完成了,再来查看耗时事件的结果。因此,耗时事件不会阻塞整个事件循环,这让它后面的事件也会有机会得到执行。

  我们很容易发现,这种基于事件的异步模型,只适合I/O密集型的耗时操作,因为I/O耗时操作,往往是把时间浪费在等待对方传送数据或者返回结果,因此这种异步模型往往用于网络服务器并发。如果是计算密集型的操作,则应当尽可能利用处理器的多核,实现并行计算。

Dart 基础五:异步支持及异常 - 图2

2.1 单线程的异步操作

单线程和异步操作它们并不冲突:

  • 因为我们的一个应用程序大部分时间都是处于空闲的状态的,并不是无限制的在和用户进行交互。
  • 比如等待用户点击、网络请求数据的返回、文件读写的IO操作,这些等待的行为并不会阻塞我们的线程;
  • 这是因为类似于网络请求、文件读写的IO,我们都可以基于非阻塞调用;

如果想搞懂这个点,我们需要知道操作系统中的阻塞式调用非阻塞式调用的概念。

  • 阻塞和非阻塞关注的是程序在等待调用结果(消息,返回值)时的状态。
  • 阻塞式调用: 调用结果返回之前,当前线程会被挂起,调用线程只有在得到调用结果之后才会继续执行。
  • 非阻塞式调用: 调用执行之后,当前线程不会停止执行,只需要过一段时间来检查一下有没有结果返回即可。

我们用一个生活中的例子来模拟:

  • 你中午饿了,需要点一份外卖,点外卖就是我们的调用,拿到外卖就是我们要等待的结果。
  • 阻塞式调用: 点了外卖,不再做任何事情,就是在傻傻的等待,你的线程停止了任何其他的工作。
  • 非阻塞式调用: 点了外卖,继续做其他事情:继续工作、打把游戏,你的线程没有继续执行其他事情,只需要偶尔去看一下有没有人敲门,外卖有没有送到即可。

而我们开发中的很多耗时操作,都可以基于这样的非阻塞调用:

  • 比如网络请求本身使用了Socket通信,而Socket本身提供了select模型,可以进行非阻塞方式的工作
  • 比如文件读写的IO操作,我们可以使用操作系统提供的基于事件回调机制;

这些操作都不会阻塞我们单线程的继续执行,我们的线程在等待的过程中可以继续去做别的事情:喝杯咖啡、打把游戏,等真正有了响应,再去进行对应的处理即可。那么,单线程是如何来处理网络通信、IO操作它们返回的结果呢?

2.2 事件循坏

单线程模型中主要就是在维护着一个事件循环(Event Loop)。
事件循环是什么呢?

  • 事实上事件循环并不复杂,它就是将需要处理的一系列事件(包括点击事件、IO事件、网络事件)放在一个事件队列(Event Queue)中。
  • 不断的从事件队列(Event Queue)中取出事件,并执行其对应需要执行的代码块,直到事件队列清空位置。

我们来写一个事件循环的伪代码:

  1. // 这里我使用数组模拟队列, 先进先出的原则
  2. List eventQueue = [];
  3. var event;
  4. // 事件循环从启动的一刻,永远在执行
  5. while (true) {
  6. if (eventQueue.length > 0) {
  7. // 取出一个事件
  8. event = eventQueue.removeAt(0);
  9. // 执行该事件
  10. event();
  11. }
  12. }

当我们有一些事件时,比如点击事件、IO事件、网络事件时,它们就会被加入到eventLoop中,当发现事件队列不为空时,就会取出事件,并且执行。

这里我们来看一段代码,理解点击事件和网络请求的事件是如何被执行的:在按钮RaisedButton的onPressed函数中,当点击按钮时我们发送了一个网络请求,请求成功后会执行then中的回调函数。

  1. RaisedButton(
  2. child: Text('Click me'),
  3. onPressed: () {
  4. final myFuture = http.get('https://example.com');
  5. myFuture.then((response) {
  6. if (response.statusCode == 200) {
  7. print('Success!');
  8. }
  9. });
  10. },
  11. )

这些代码是如何放在事件循环中执行呢?

  1. 当用户发生点击的时候,onPressed回调函数被放入事件循环中执行,执行的过程中发送了一个网络请求。
  2. 网络请求发出去后,该事件循环不会被阻塞,在发现要执行的onPressed函数已经结束,会将它丢弃掉。
  3. 网络请求成功后,会执行then中传入的回调函数,这也是一个事件,该事件被放入到事件循环中执行,执行完毕后,事件循环将其丢弃。

尽管onPressed和then中的回调有一些差异,但是它们对于事件循环来说,都是告诉它:我有一段代码需要执行,快点帮我完成。

2.3 Dart 事件循坏

Dart 是事件驱动的体系结构,该结构基于具有单个事件循环两个队列的单线程执行模型。
Dart 在单线程中是以消息循环机制来运行的,其中包含两个任务队列,一个是“微任务队列” microtask queue,另一个叫做“事件队列” event queue,从下图中可以发现,微任务队列的执行优先级高于事件队列。Dart虽然提供调用堆栈,但是事件循环由单个线程支持,因此根本不需要同步和锁定。

Dart 基础五:异步支持及异常 - 图3

Dart事件循环执行如上图所示**

  1. 如上图中所示,入口函数 main() 执行完后,消息循环机制便启动了。
  2. 先查看MicroTask队列是否为空,不是则先执行MicroTask队列。
  3. 一个MicroTask任务执行完后,检查有没有下一个MicroTask任务,直到MicroTask队列为空,才去执行Event队列。
  4. 在Evnet 队列取出一个事件处理完后,再次返回第二步,去检查MicroTask队列是否为空。


注意:我们可以看出,将任务加入到 MicroTask 中可以被尽快执行,但也需要注意,当事件循环在处理 MicroTask 队列时,Event 队列会被卡住,应用程序无法处理鼠标单击、I/O消息等等事件。

但是,在事件任务执行的过程中也可以插入新的微任务和事件任务,在这种情况下,整个线程的执行过程便是一直在循环,不会退出,而Flutter中,主线程的执行过程正是如此,永不终止。

在Dart中,所有的外部事件任务都在事件队列中,如IO、计时器、点击、以及绘制事件等,而微任务通常来源于Dart内部,并且微任务非常少,之所以如此,是因为微任务队列优先级高,如果微任务太多,执行时间总和就越久,事件队列任务的延迟也就越久,对于GUI应用来说最直观的表现就是比较卡,所以必须得保证微任务队列不会太长。值得注意的是,我们可以通过 Future.microtask(…) 方法向微任务队列插入一个任务。

2.4 Dart 执行模型

当你启动一个 Flutter(或任何 Dart)应用时,将创建并启动一个新的线程进程(在 Dart 中为 「Isolate」),该线程将是你在整个应用中唯一需要关注的,所以,此线程创建后,Dart 会自动:

  1. 初始化 2 个 FIFO(先进先出)队列(「MicroTask」和 「Event」);
  2. 并且当该方法执行完成后,执行 main() 方法,
  3. 启动事件循环

在该线程的整个生命周期中,一个被称为事件循环的单一且隐藏的进程将决定你代码的执行方式及顺序(取决于 MicroTask 和 Event 队列),事件循环是一种无限循环(由一个内部时钟控制),在每个时钟周期内,如果没有其他 Dart 代码执行,则执行以下操作:

  1. void eventLoop(){
  2. while (microTaskQueue.isNotEmpty){
  3. fetchFirstMicroTaskFromQueue();
  4. executeThisMicroTask();
  5. return;
  6. }
  7. if (eventQueue.isNotEmpty){
  8. fetchFirstEventFromQueue();
  9. executeThisEventRelatedCode();
  10. }
  11. }

正如我们看到的,MicroTask 队列优先于 Event 队列,那这 2 个队列的作用是什么呢?

MicroTask 队列用于非常简短且需要异步执行的内部动作,这些动作需要在其他事情完成之后并在将执行权送还给 Event 队列之前运行,作为 MicroTask 的一个例子,你可以设想必须在资源关闭后立即释放它。由于关闭过程可能需要一些时间才能完成,你可以按照以下方式编写代码:

  1. MyResource myResource;
  2. ...
  3. void closeAndRelease() {
  4. scheduleMicroTask(_dispose);
  5. _close();
  6. }
  7. void _close(){
  8. // 代码以同步的方式运行
  9. // 以关闭资源
  10. ...
  11. }
  12. void _dispose(){
  13. // 代码在
  14. // _close() 方法
  15. // 完成后执行
  16. }
  17. 复制代码

这是大多数时候你不必使用的东西。比如,在整个 Flutter 源代码中 scheduleMicroTask() 方法仅被引用了 7 次。
最好优先考虑使用 Event 队列。
Event 队列适用于以下参考模型

  • 外部事件如
    • I/O;
    • 手势;
    • 绘图;
    • 计时器;
    • 流;
    • ……
  • futures

事实上,每次外部事件被触发时,要执行的代码都会被 Event 队列所引用,一旦没有任何 micro task 运行,事件循环将考虑 Event 队列中的第一项并执行它,值得注意的是,Future 操作也通过 Event 队列处理

2.4.1 调度任务
  • 将任务添加到MicroTask队列有两种方法:
  1. 使用 scheduleMicrotask 方法添加.
  2. 使用Future对象添加.

    注意: 以下调用的方法,都定义在 dart:async 库中。

  1. import 'dart:async';
  2. //我的任务队列
  3. void myTask() {
  4. print("this is my task");
  5. }
  6. void main() {
  7. // 1. 使用 scheduleMicrotask 方法添加
  8. scheduleMicrotask(myTask);
  9. // 2. 使用Future对象添加
  10. Future.microtask(myTask);
  11. }
  • 将任务添加到Event队列,使用Future对象添加 ```dart import ‘dart:async’;

//我的任务 void myTask() { print(“this is my task”); }

void main() { // 1. 使用Future对象添加 Future(myTask); }

  1. 举个例子验证:
  2. ```dart
  3. import 'dart:async';
  4. void main() {
  5. print('main Start');
  6. Future((){
  7. print('this is my task');
  8. });
  9. Future.microtask((){
  10. print('this is microtask');
  11. });
  12. print('main Stop');
  13. }
  14. // 运行结果:
  15. main Start
  16. main Stop
  17. this is microtask
  18. this is my task

可以看到,代码的运行顺序并不是按照我们的编写顺序来的,将任务添加到队列并不等于立刻执行,它们是异步执行的,当前main方法中的代码执行完之后,才会去执行队列中的任务,且MicroTask队列运行在Event队列之前。

2.4.2 延时任务

如需要将任务延伸执行,则可使用Future.delayed方法。

  1. Future.delayed(new Duration(seconds:1),(){
  2. print('task delayed');
  3. });

表示在延迟时间到了之后将任务加入到Event队列。需要注意的是,这并不是准确的,万一前面有很耗时的任务,那么你的延迟任务不一定能准时运行。

  1. import 'dart:async';
  2. import 'dart:io';
  3. void main() {
  4. print("main start");
  5. Future.delayed(new Duration(seconds: 1), () {
  6. print('task delayed');
  7. });
  8. Future(() {
  9. // 模拟耗时5秒
  10. sleep(Duration(seconds: 5));
  11. print("5s task");
  12. });
  13. print("main stop");
  14. }
  15. // 运行结果:
  16. main start
  17. main stop
  18. 5s task
  19. task delayed

从结果可以看出,delay**ed方法调用在前面,但是它显然并未直接将任务加入Event队列**,而是需要等待1秒之后才会去将任务加入,但在这1秒之间,后面的 Future代码直接将一个耗时任务加入到了Event队列,这就直接导致写在前面的delayed任务在1秒后只能被加入到耗时任务之后,只有当前面耗时任务完成后,它才有机会得到执行。这种机制使得延迟任务变得不太可靠,你无法确定延迟任务到底在延迟多久之后被执行。

三、异步支持

Dart 库中包含许多返回 Future 或 Stream 对象的函数. 这些函数在设置完耗时任务(例如 I/O)后, 就立即返回了,不会等待耗任务完成。 使用 async 和 await 关键字实现异步编程, 可以让你像编写同步代码一样实现异步操作。

3.1 Future

Future 是一个异步执行并且在未来的某一个时刻完成(或失败)的任务,是对未来结果的一个代理,它返回的并不是被调用的任务的返回值。你可以理解为Future就是一个受你委托的委托人,你将未来要执行的任务交给他,并告知他任务类型是耗时任务,还是非耗时任务,然后分类放到事件循环中去,当任务完成后,它会第一时间执行回调方法告知你任务完成,或者会等到你委托给他的所有任务都完成了立马告知你。
**

3.1.1 创建 Future

Future的几种创建方法 :
• Future()
• Future.microtask()
• Future.sync()
• Future.value()
• Future.delayed()
• Future.error()

其中sync是同步方法,任务会被立即执行

  1. import 'dart:async';
  2. void main() {
  3. print("main start");
  4. Future.delayed(Duration(seconds: 1), () {
  5. print("delayed task");
  6. });
  7. Future.sync(() {
  8. print("sync task");
  9. });
  10. Future.microtask(() {
  11. print("microtask task");
  12. });
  13. Future(() {
  14. print("Future task");
  15. });
  16. print("main stop");
  17. }
  18. // 运行结果:
  19. main start
  20. sync task
  21. main stop
  22. microtask task
  23. Future task
  24. delayed task


3.2 Future 状态

事实上Future在执行的整个过程中,我们通常把它划分成了两种状态:

状态一:未完成状态(uncompleted)

  • 执行Future内部的操作时,我们称这个过程为未完成状态。

状态二:**完成状态(completed)**

  • 当Future内部的操作执行完成,通常会返回一个值,或者抛出一个异常。
  • 这两种情况,我们都称Future为完成状态。

Dart官网有对这两种状态解析,之所以贴出来是区别于Promise的三种状态。

Dart 基础五:异步支持及异常 - 图4

3.3 Future 常用函数
  • then() 函数,任务执行完成后会进入then函数,能够获取返回的结果;
  • catchError() 函数,任务失败时,可以在此捕获异常;
  • whenComplete() 函数,任务结束完成后,进入这里;
  • wait() 函数,等待多个异步任务执行完成后,再调用then();
  • delayed() 函数,延迟任务执行;

当你实例化一个 Future 时:

  • 该 Future 的一个实例被创建并记录在由 Dart 管理的内部数组中;
  • 需要由此 Future 执行的代码直接推送到 Event 队列中去;
  • 该 future 实例 返回一个状态(= incomplete);
  • 如果存在下一个同步代码,执行它(非 Future 的执行代码)

只要事件循环从 Event 循环中获取它,被 Future 引用的代码将像其他任何 Event 一样执行,当该代码将被执行并将完成(或失败)时,then() 或 catchError() 方法将直接被触发。

为了说明这一点,我们来看下面的例子:

  1. void main() {
  2. print('Before the Future');
  3. Future(() {
  4. print('Running the Future');
  5. }).then((_) {
  6. print('Future is complete');
  7. });
  8. Future(() {
  9. print('Running');
  10. }).then((_) {
  11. print('complete');
  12. });
  13. print('After the Future');
  14. }
  15. // 运行结果
  16. Before the Future
  17. After the Future
  18. Running the Future
  19. Future is complete
  20. Running
  21. complete

执行流程如下:

  1. 输出 Before the Future;
  2. 将 Running the Future 添加到 Event 队列, 将 Running 添加到 Event 队列;
  3. 输出 After the Future;
  4. 事件循环获取代码并执行它;
  5. 当代码执行时,它会查找 then() 语句并执行它;

需要记住一些非常重要的事情:

Future 并非并行执行,而是遵循事件循环处理事件的顺序规则执行,可以再看看创建Future的例子。

3.4 async 和 await

在Dart1.9中加入了async和await关键字,有了这两个关键字,我们可以更简洁的编写异步代码,而不需要调用Future相关的API。他们允许你像写同步代码一样写异步代码和不需要使用Future接口。

当你使用 async 关键字作为方法声明的后缀时,Dart 会将其理解为:

  • 该方法的返回值是一个 Future;
  • 它同步执行该方法的代码直到第一个 await 关键字,然后它暂停该方法其他部分的执行;
  • 一旦由 await 关键字引用的 Future 执行完成,下一行代码将立即执行。

了解这一点是非常重要的,因为很多开发者认为 await 暂停了整个流程直到它执行完成,但事实并非如此。他们忘记了事件循环的运作模式…

我们先看一个简单的例子:

  1. Future<String> doTask() async {
  2. return await Future(() {
  3. return "Ok";
  4. });
  5. }
  6. // 定义一个函数用于包装
  7. test() async {
  8. var r = await doTask();
  9. print(r);
  10. }
  11. void main() {
  12. print("main start");
  13. test();
  14. print("main end");
  15. }
  16. // 输出结果
  17. main start
  18. main end
  19. Ok

如果我们需要顺序输出结果,则需要在main 方法中添加 async 和 await 关键字。

  1. Future<String> doTask() async {
  2. return await Future(() {
  3. return "Ok";
  4. });
  5. }
  6. // 定义一个函数用于包装
  7. test() async {
  8. var r = await doTask();
  9. print(r);
  10. }
  11. void main() async {
  12. print("main start");
  13. await test();
  14. print("main end");
  15. }
  16. // 输出结果
  17. main start
  18. Ok
  19. main end

为了更好地进行说明,让我们通过更复杂的示例并尝试指出其运行的结果:

  1. main() async {
  2. methodA();
  3. await methodB();
  4. await methodC('main');
  5. methodD();
  6. }
  7. methodA() {
  8. print('A');
  9. }
  10. methodB() async {
  11. print('B start');
  12. await methodC('B');
  13. print('B end');
  14. }
  15. methodC(String from) async {
  16. print('C start from $from');
  17. Future(() {
  18. print('C running Future from $from');
  19. }).then((_) {
  20. print('C end of Future from $from');
  21. });
  22. print('C end from $from');
  23. }
  24. methodD() {
  25. print('D');
  26. }

正确的输出序列为:
A
B start
C start from B
C end from B
B end
C start from main
C end from main
D
C running Future from B
C end of Future from B
C running Future from main
C end of Future from main

如果你最初希望示例代码中仅在所有代码末尾执行 methodD() ,那么你应该按照以下方式编写代码:

  1. main() async {
  2. methodA();
  3. await methodB();
  4. await methodC('main');
  5. methodD();
  6. }
  7. methodA() {
  8. print('A');
  9. }
  10. methodB() async {
  11. print('B start');
  12. await methodC('B');
  13. print('B end');
  14. }
  15. methodC(String from) async {
  16. print('C start from $from');
  17. await Future(() {
  18. print('C running Future from $from');
  19. }).then((_) {
  20. print('C end of Future from $from');
  21. });
  22. print('C end from $from');
  23. }
  24. methodD() {
  25. print('D');
  26. }

输出序列为:
A
B start
C start from B
C running Future from B
C end of Future from B
C end from B
B end
C start from main
C running Future from main
C end of Future from main
C end from main
D

事实是通过在 methodC() 中定义 Future 的地方简单地添加 await 会改变整个行,另外,需特别谨记:

async 并非并行执行,也是遵循事件循环处理事件的顺序规则执行。

我想向你演示的最后一个例子如下。 运行 method1method2 的输出是什么?它们会是一样的吗?

  1. void method1() {
  2. List<String> myArray = <String>['a', 'b', 'c'];
  3. print('before loop');
  4. myArray.forEach((String value) async {
  5. await delayedPrint(value);
  6. });
  7. print('end of loop');
  8. }
  9. void method2() async {
  10. List<String> myArray = <String>['a', 'b', 'c'];
  11. print('before loop');
  12. for (int i = 0; i < myArray.length; i++) {
  13. await delayedPrint(myArray[i]);
  14. }
  15. print('end of loop');
  16. }
  17. Future<void> delayedPrint(String value) async {
  18. await Future.delayed(Duration(seconds: 1));
  19. print('delayedPrint: $value');
  20. }

答案:

method1() method2()
1. before loop 1. before loop
2. end of loop 2. delayedPrint: a (after 1 second)
3. delayedPrint: a (after 1 second) 3. delayedPrint: b (1 second later)
4. delayedPrint: b (directly after) 4. delayedPrint: c (1 second later)
5. delayedPrint: c (directly after) 5. end of loop (right after)

你是否清楚它们行为不一样的区别以及原因呢?

答案基于这样一个事实,method1 使用 forEach() 函数来遍历数组。每次迭代时,它都会调用一个被标记为 async(因此是一个 Future)的新回调函数。执行该回调直到遇到 await,而后将剩余的代码推送到 Event 队列。一旦迭代完成,它就会执行下一个语句:“print(‘end of loop’)”。执行完成后,事件循环 将处理已注册的 3 个回调。

对于 method2,所有的内容都运行在一个相同的代码「块」中,因此能够一行一行按照顺序执行(在本例中),正如你所看到的,即使在看起来非常简单的代码中,我们仍然需要牢记事件循环的工作方式。

3.2 Stream

如果Future表示单个计算的结果,则流是一系列结果,您可以侦听流以获取有关结果(数据和错误)以及流关闭的通知,您还可以在收听流时暂停播放或在流完成之前停止收听。

Stream是Dart语言中的所谓异步数据序列的东西,简单理解,其实就是一个异步数据队列而已。我们知道队列的特点是先进先出的,Stream也正是如此。
Dart 基础五:异步支持及异常 - 图5
更形象的比喻,Stream就像一个传送带。可以将一侧的物品自动运送到另一侧。如上图,在另一侧,如果没有人去抓取,物品就会掉落消失。
Dart 基础五:异步支持及异常 - 图6
但如果我们在末尾设置一个监听,当物品到达末端时,就可以触发相应的响应行为。

在Dart语言中,Stream有两种类型,一种是点对点的单订阅流(Single-subscription),另一种则是广播流。

3.2.1 创建单订阅流 Stream

单一订阅流 最常见的流包含一系列事件,这些事件是较大整体的一部分。事件必须以正确的顺序传递,并且不能丢失任何事件。这是您在读取文件或接收Web请求时获得的流。 这样的流只能被收听一次。稍后再次收听可能意味着错过了最初的事件,然后其余部分毫无意义。当您开始收听时,数据将被提取并以块的形式提供。单订阅流的特点是只允许存在一个监听器,即使该监听器被取消后,也不允许再次注册监听器。

创建一个Stream有9个构造方法,其中一个是构造广播流的,这里主要看一下其中5个构造单订阅流的方法。

periodic

  1. void main(){
  2. test();
  3. }
  4. test() async{
  5. // 使用 periodic 创建流,第一个参数为间隔时间,第二个参数为回调函数
  6. Stream<int> stream = Stream<int>.periodic(Duration(seconds: 1), callback);
  7. // await for循环从流中读取
  8. await for(var i in stream){
  9. print(i);
  10. }
  11. }
  12. // 可以在回调函数中对值进行处理,这里直接返回了
  13. int callback(int value){
  14. return value;
  15. }
  16. // 输出结果:
  17. 0
  18. 1
  19. 2
  20. 3
  21. 4
  22. ...

该方法从整数0开始,在指定的间隔时间内生成一个自然数列,以上设置为每一秒生成一次,callback函数用于对生成的整数进行处理,处理后再放入Stream中。这里并未处理,直接返回了。要注意,这个流是无限的,它没有任何一个约束条件使之停止。在后面会介绍如何给流设置条件。

fromFuture

  1. void main(){
  2. test();
  3. }
  4. test() async{
  5. print("test start");
  6. Future<String> fut = Future((){
  7. return "async task";
  8. });
  9. // 从Future创建Stream
  10. Stream<String> stream = Stream<String>.fromFuture(fut);
  11. await for(var s in stream){
  12. print(s);
  13. }
  14. print("test end");
  15. }
  16. // 输出结果:
  17. test start
  18. async task
  19. test end

该方法从一个Future创建Stream,当Future执行完成时,就会放入Stream中,而后从Stream中将任务完成的结果取出。这种用法,很像异步任务队列。

fromFutures

从多个Future创建Stream,即将一系列的异步任务放入Stream中,每个Future按顺序执行,执行完成后放入Stream

  1. import 'dart:io';
  2. void main() {
  3. test();
  4. }
  5. test() async {
  6. print("test start");
  7. Future<String> fut1 = Future(() {
  8. // 模拟耗时5秒
  9. sleep(Duration(seconds:5));
  10. return "async task1";
  11. });
  12. Future<String> fut2 = Future(() {
  13. return "async task2";
  14. });
  15. // 将多个Future放入一个列表中,将该列表传入
  16. Stream<String> stream = Stream<String>.fromFutures([fut1, fut2]);
  17. await for (var s in stream) {
  18. print(s);
  19. }
  20. print("test end");
  21. }
  22. // 输出结果:
  23. test start
  24. async task1
  25. async task2
  26. test end

fromIterable

该方法从一个集合创建Stream,用法与上面例子大致相同

  1. // 从一个列表创建`Stream`
  2. Stream<int> stream = Stream<int>.fromIterable([1,2,3]);

value

这是Dart2.5 新增的方法,用于从单个值创建Stream

  1. test() async{
  2. Stream<bool> stream = Stream<bool>.value(false);
  3. // await for循环从流中读取
  4. await for(var i in stream){
  5. print(i);
  6. }
  7. }

3.2.3 监听单订阅流 Stream

监听Stream,并从中获取数据也有三种方式,一种就是我们上文中使用的await for循环,这也是官方推荐的方式,看起来更简洁友好,除此之外,另两种方式分别是使用forEach方法或listen方法

  1. Stream<int> stream = Stream<int>.periodic(Duration(seconds: 1), callback);
  2. // 使用forEach,传入一个函数进去获取并处理数据
  3. stream.forEach((int x){
  4. print(x);
  5. });

使用 listen 监听

StreamSubscription listen(void onData(T event), {Function onError, void onDone(), bool cancelOnError})

  1. Stream<int> stream = Stream<int>.periodic(Duration(seconds: 1), callback);
  2. stream.listen((x){
  3. print(x);
  4. });

还可以使用几个可选的参数

  1. test() async{
  2. Stream<int> stream = Stream<int>.periodic(Duration(seconds: 1), callback);
  3. stream = stream.take(5);
  4. stream.listen(
  5. (x)=>print(x),
  6. onError: (e)=>print(e),
  7. onDone: ()=>print("onDone"));
  8. }
  • onError:发生Error时触发
  • onDone:完成时触发
  • unsubscribeOnError:遇到第一个Error时是否取消监听,默认为false

    3.2.4 Stream 的转换

take 和 takeWhile
Stream take(int count) 用于限制Stream中的元素数量

  1. test() async{
  2. Stream<int> stream = Stream<int>.periodic(Duration(seconds: 1), callback);
  3. // 当放入三个元素后,监听会停止,Stream会关闭
  4. stream = stream.take(3);
  5. await for(var i in stream){
  6. print(i);
  7. }
  8. }
  9. // 输出结果:
  10. 0
  11. 1
  12. 2

Stream.takeWhile(bool test(T element)) 与 take 作用相似,只是它的参数是一个函数类型,且返回值必须是一个bool

  1. stream = stream.takeWhile((x){
  2. // 对当前元素进行判断,不满足条件则取消监听
  3. return x <= 3;
  4. });

skip 和 skipWhile

  1. test() async{
  2. Stream<int> stream = Stream<int>.periodic(Duration(seconds: 1), callback);
  3. stream = stream.take(5);
  4. // 表示从Stream中跳过两个元素
  5. stream = stream.skip(2);
  6. await for(var i in stream){
  7. print(i);
  8. }
  9. }
  10. // 输出结果:
  11. 2
  12. 3
  13. 4

请注意,该方法只是从Stream中获取元素时跳过,被跳过的元素依然是被执行了的,所耗费的时间依然存在,其实只是跳过了执行完的结果而已。
Stream skipWhile(bool test(T element)) 方法与takeWhile用法是相同的,传入一个函数对结果进行判断,表示跳过满足条件的。

toList
Future> toList() 表示将Stream中所有数据存储在List中

  1. test() async{
  2. Stream<int> stream = Stream<int>.periodic(Duration(seconds: 1), callback);
  3. stream = stream.take(5);
  4. List <int> data = await stream.toList();
  5. for(var i in data){
  6. print(i);
  7. }
  8. }

属性 length
等待并获取流中所有数据的数量

  1. test() async{
  2. Stream<int> stream = Stream<int>.periodic(Duration(seconds: 1), callback);
  3. stream = stream.take(5);
  4. var len = await stream.length;
  5. print(len);
  6. }

map
我们可以使用 map 方法对流的数据进行遍历,和 listen 的效果类似,例如:

  1. import 'dart:async';
  2. void main() {
  3. StreamController controller = StreamController();
  4. controller.stream.map((data) => data += 1).listen((data) => print(data));
  5. controller.sink.add(123);
  6. controller.sink.add(456);
  7. controller.close();
  8. }
  9. // 输出结果
  10. 124
  11. 457

where
我们可以使用 where 对流的数据进行筛选,where 方法接受一个匿名函数作为参数,函数的参数是我们向 sink 中添加的数据,函数的返回值为 true 时,数据才会允许通过,例如:

  1. import 'dart:async';
  2. void main() {
  3. StreamController<int> controller = StreamController();
  4. final whereStream = controller.stream.where((data) => data == 123);
  5. whereStream.listen((data) => print(data));
  6. controller.sink.add(123);
  7. controller.sink.add(456);
  8. controller.close();
  9. // output: 123
  10. }
  11. // 输出结果
  12. 123

上面的代码中,where 条件中定义了数据必须与 123 相同才会被 listen 侦听到,所以向流中添加了 2 条数据,而打印的结果只有 123。

expand
我们可以使用 expand 扩展现有的流,此方法接受一个方法作为参数,返回值必须是一个 Iterable 类型的数据,例如:

  1. import 'dart:async';
  2. void main() {
  3. StreamController controller = StreamController();
  4. controller.stream
  5. .expand((data) => [data, data.toDouble()])
  6. .listen((data) => print(data));
  7. controller.sink.add(123);
  8. controller.sink.add(456);
  9. controller.close();
  10. }
  11. // 输出结果
  12. 123
  13. 123.0
  14. 456
  15. 456.0

上面的代码中,expand 的回调函数每次返回 list,该 list 包含一个整数及其浮点数,所以最后打印的结果是 4 个数值。

transform
当我们需要处理更复杂的 Stream 时,我们可以使用 transform 方法,该方法接受一个 StreamTransformer 参数,当我们每次向 sink 中添加数据时,数据会先经过 transform 的处理,例如:

  1. import 'dart:async';
  2. void main() {
  3. StreamController controller = StreamController();
  4. final transformer =
  5. StreamTransformer<int, String>.fromHandlers(handleData: (value, sink) {
  6. value == 123 ? sink.add('test success') : sink.addError('test error');
  7. });
  8. controller.stream
  9. .transform(transformer)
  10. .listen((data) => print(data), onError: (err) => print(err));
  11. controller.sink.add(123); // output: test success
  12. controller.sink.add(456); // output: test error
  13. controller.close();
  14. }

上面的代码中,每次向 sink 中添加数据时, StreamTransformer 的 fromHandlers 方法就会返回一条新的 Stream,其中 S 代表我们所添加的数据类型,在这里我们添加的是 int 类型,T 代表 handleData 返回的类型,每次 handleData 方法返回的是 String 类型。

handleData 方法有两个形参,它们分别是 value 与 sink,value 代表我们向 sink 中添加的数据,而 sink 是暴露出来供我们使用的,上面的例子中,我们使用了 sink 的 add 方法以及 addError 方法。

3.2.5 StreamController

它实际上就是Stream的一个帮助类,可用于整个 Stream 过程的控制。

  1. import 'dart:async';
  2. void main() {
  3. test();
  4. }
  5. test() async{
  6. // 创建
  7. StreamController streamController = StreamController();
  8. // 放入事件
  9. streamController.add('element_1');
  10. streamController.addError("this is error");
  11. streamController.sink.add('element_2');
  12. streamController.stream.listen(
  13. print,
  14. onError: print,
  15. onDone: ()=>print("onDone"));
  16. }

使用该类时,需要导入’dart:async’,其add方法和sink.add方法是相同的,都是用于放入一个元素,addError方法用于产生一个错误,监听方法中的onError可获取错误。
还可以在StreamController中传入一个指定的stream

  1. test() async{
  2. Stream<int> stream = Stream<int>.periodic(Duration(seconds: 1), (e)=>e);
  3. stream = stream.take(5);
  4. StreamController sc = StreamController();
  5. // 将 Stream 传入
  6. sc.addStream(stream);
  7. // 监听
  8. sc.stream.listen(
  9. print,
  10. onDone: ()=>print("onDone"));
  11. }

现在来看一下StreamController的原型,它有5个可选参数

  1. factory StreamController(
  2. {void onListen(),
  3. void onPause(),
  4. void onResume(),
  5. onCancel(),
  6. bool sync: false})
  • onListen 注册监听时回调
  • onPause 当流暂停时回调
  • onResume 当流恢复时回调
  • onCancel 当监听器被取消时回调
  • sync 当值为true时表示同步控制器SynchronousStreamController,默认值为false,表示异步控制器


  1. test() async{
  2. // 创建
  3. StreamController sc = StreamController(
  4. onListen: ()=>print("onListen"),
  5. onPause: ()=>print("onPause"),
  6. onResume: ()=>print("onResume"),
  7. onCancel: ()=>print("onCancel"),
  8. sync:false
  9. );
  10. StreamSubscription ss = sc.stream.listen(print);
  11. sc.add('element_1');
  12. // 暂停
  13. ss.pause();
  14. // 恢复
  15. ss.resume();
  16. // 取消
  17. ss.cancel();
  18. // 关闭流
  19. sc.close();
  20. }
  21. // 输出结果
  22. onListen
  23. onPause
  24. onCancel

因为监听器被取消了,且关闭了流,导致”element_1”未被输出,”onResume”亦未输出

3.2.6 广播流

广播流 另一种流是针对可以一次处理的单个消息的。例如,这种流可用于浏览器中的鼠标事件。 您可以随时开始收听这样的流,并且在收听时会触发事件。多个收听者可以同时收听,并且您可以在取消上一个订阅之后稍后再次收听。如下,在普通的单订阅流中调用两次listen会报错

  1. test() async{
  2. Stream<int> stream = Stream<int>.periodic(Duration(seconds: 1), (e)=>e);
  3. stream = stream.take(5);
  4. stream.listen(print);
  5. stream.listen(print);
  6. }
  1. Unhandled exception:
  2. Bad state: Stream has already been listened to.

前面已经说了单订阅流的特点,而广播流则可以允许多个监听器存在,就如同广播一样,凡是监听了广播流,每个监听器都能获取到数据。要注意,如果在触发事件时将监听者正添加到广播流,则该监听器将不会接收当前正在触发的事件。如果取消监听,监听者会立即停止接收事件。
有两种方式创建广播流,一种直接从Stream创建,另一种使用StreamController创建

  1. test() async{
  2. // 调用 Stream 的 asBroadcastStream 方法创建
  3. Stream<int> stream = Stream<int>.periodic(Duration(seconds: 1), (e)=>e)
  4. .asBroadcastStream();
  5. stream = stream.take(5);
  6. stream.listen(print);
  7. stream.listen(print);
  8. }

使用StreamController

  1. test() async{
  2. // 创建广播流
  3. StreamController sc = StreamController.broadcast();
  4. sc.stream.listen(print);
  5. sc.stream.listen(print);
  6. sc.add("event1");
  7. sc.add("event2");
  8. }

3.2.7 StreamTransformer

该类可以使我们在Stream上执行数据转换。然后,这些转换被推回到流中,以便该流注册的所有监听器可以接收
构造方法原型

  1. factory StreamTransformer.fromHandlers({
  2. void handleData(S data, EventSink<T> sink),
  3. void handleError(Object error, StackTrace stackTrace, EventSink<T> sink),
  4. void handleDone(EventSink<T> sink)
  5. })
  • handleData:响应从流中发出的任何数据事件。提供的参数是来自发出事件的数据,以及EventSink,表示正在进行此转换的当前流的实例
  • handleError:响应从流中发出的任何错误事件
  • handleDone:当流不再有数据要处理时调用。通常在流的close()方法被调用时回调
  1. void test() {
  2. StreamController sc = StreamController<int>();
  3. // 创建 StreamTransformer对象
  4. StreamTransformer stf = StreamTransformer<int, double>.fromHandlers(
  5. handleData: (int data, EventSink sink) {
  6. // 操作数据后,转换为 double 类型
  7. sink.add((data * 2).toDouble());
  8. },
  9. handleError: (error, stacktrace, sink) {
  10. sink.addError('wrong: $error');
  11. },
  12. handleDone: (sink) {
  13. sink.close();
  14. },
  15. );
  16. // 调用流的transform方法,传入转换对象
  17. Stream stream = sc.stream.transform(stf);
  18. stream.listen(print);
  19. // 添加数据,这里的类型是int
  20. sc.add(1);
  21. sc.add(2);
  22. sc.add(3);
  23. // 调用后,触发handleDone回调
  24. // sc.close();
  25. }
  26. // 输出结果:
  27. 2.0
  28. 4.0
  29. 6.0

四、多进程

Dart 是单线程的异步模型,那么我们在Dart中能否并行运行代码?如果在多核CPU中,单线程是不是就没有充分利用CPU呢?这就需要靠 Isolate 了。

4.1 Isolate

大多数计算机中,甚至在移动平台上,都在使用多核CPU。 为了有效利用多核性能,开发者一般使用共享内存数据来保证多线程的正确执行。 然而, 多线程共享数据通常会导致很多潜在的问题,并导致代码运行出错。

Dart是基于单线程模型的语言。在Dart中也有自己的进程机制 – isolate,在 Dart中,所有 Dart 代码都在隔离区( isolates )内运行,而不是线程, 每个隔离区都有自己的内存堆,确保每个隔离区的状态都不会被其他隔离区访问。我们已经知道Dart是单线程的,这个线程有自己可以访问的内存空间以及需要运行的事件循环,我们可以将这个空间系统称之为是一个Isolate,比如Flutter中就有一个Root Isolate,负责运行Flutter的代码,比如UI渲染、用户交互等等。Isolate 之间不共享任何资源**,因此也不存在锁竞争问题,只能依靠消息机制通信,因此也就没有资源抢占问题**。

如果在开发中,将非常耗时的任务添加到事件队列后,仍然会拖慢整个事件循环的处理,甚至是阻塞。可见基于事件循环的异步模型仍然是有很大缺点的,这时候我们就需要Isolate了,那么如何创建Isolate呢?

创建 Isolate

从主Isolate创建一个新的Isolate

spawnUri

  1. static Future<Isolate> spawnUri()

spawnUri方法有三个必须的参数:

  • 第一个是Uri,指定一个新Isolate代码文件的路径,
  • 第二个是参数列表,类型是List,
  • 第三个是动态消息。

需要注意,用于运行新Isolate的代码文件中,必须包含一个main函数,它是新Isolate的入口方法,该main函数中的args参数列表,正对应spawnUri中的第二个参数。如不需要向新Isolate中传参数,该参数可传空List。

主Isolate中的代码:

  1. import 'dart:isolate';
  2. void main() {
  3. print("main isolate start");
  4. create_isolate();
  5. print("main isolate stop");
  6. }
  7. // 创建一个新的 isolate
  8. create_isolate() async{
  9. ReceivePort rp = new ReceivePort();
  10. SendPort port1 = rp.sendPort;
  11. Isolate newIsolate = await Isolate.spawnUri(new Uri(path: "./other_task.dart"), ["hello, isolate", "this is args"], port1);
  12. SendPort port2;
  13. rp.listen((message){
  14. print("main isolate message: $message");
  15. if (message[0] == 0){
  16. port2 = message[1];
  17. }else{
  18. port2?.send([1,"这条信息是 main isolate 发送的"]);
  19. }
  20. });
  21. // 可以在适当的时候,调用以下方法杀死创建的 isolate
  22. // newIsolate.kill(priority: Isolate.immediate);
  23. }

创建other_task.dart文件,编写新Isolate的代码

  1. import 'dart:isolate';
  2. import 'dart:io';
  3. void main(args, SendPort port1) {
  4. print("isolate_1 start");
  5. print("isolate_1 args: $args");
  6. ReceivePort receivePort = new ReceivePort();
  7. SendPort port2 = receivePort.sendPort;
  8. receivePort.listen((message){
  9. print("isolate_1 message: $message");
  10. });
  11. // 将当前 isolate 中创建的SendPort发送到主 isolate中用于通信
  12. port1.send([0, port2]);
  13. // 模拟耗时5秒
  14. sleep(Duration(seconds:5));
  15. port1.send([1, "isolate_1 任务完成"]);
  16. print("isolate_1 stop");
  17. }

运行主Isolate的结果:

  1. main isolate start
  2. main isolate stop
  3. isolate_1 start
  4. isolate_1 args: [hello, isolate, this is args]
  5. main isolate message: [0, SendPort]
  6. isolate_1 stop
  7. main isolate message: [1, isolate_1 任务完成]
  8. isolate_1 message: [1, 这条信息是 main isolate 发送的]

spawn

  1. static Future<Isolate> spawn()

spawn 方法有两个必须的参数:

  • 第一个是需要运行在新Isolate的耗时函数
  • 第二个是动态消息,该参数通常用于传送主Isolate的SendPort对象。

除了使用spawnUri,更常用的是使用spawn方法来创建新的Isolate,我们通常希望将新创建的Isolate代码和main Isolate代码写在同一个文件,且不希望出现两个main函数,而是将指定的耗时函数运行在新的Isolate,这样做有利于代码的组织和代码的复用。

spawn的用法与spawnUri相似,且更为简洁,将上面例子稍作修改如下:

  1. import 'dart:isolate';
  2. import 'dart:io';
  3. void main() {
  4. print("main isolate start");
  5. create_isolate();
  6. print("main isolate end");
  7. }
  8. // 创建一个新的 isolate
  9. create_isolate() async{
  10. ReceivePort rp = new ReceivePort();
  11. SendPort port1 = rp.sendPort;
  12. Isolate newIsolate = await Isolate.spawn(doWork, port1);
  13. SendPort port2;
  14. rp.listen((message){
  15. print("main isolate message: $message");
  16. if (message[0] == 0){
  17. port2 = message[1];
  18. }else{
  19. port2?.send([1,"这条信息是 main isolate 发送的"]);
  20. }
  21. });
  22. }
  23. // 处理耗时任务
  24. void doWork(SendPort port1){
  25. print("new isolate start");
  26. ReceivePort rp2 = new ReceivePort();
  27. SendPort port2 = rp2.sendPort;
  28. rp2.listen((message){
  29. print("doWork message: $message");
  30. });
  31. // 将新isolate中创建的SendPort发送到主isolate中用于通信
  32. port1.send([0, port2]);
  33. // 模拟耗时5秒
  34. sleep(Duration(seconds:5));
  35. port1.send([1, "doWork 任务完成"]);
  36. print("new isolate end");
  37. }

运行结果:

  1. main isolate start
  2. main isolate end
  3. new isolate start
  4. main isolate message: [0, SendPort]
  5. new isolate end
  6. main isolate message: [1, doWork 任务完成]
  7. doWork message: [1, 这条信息是 main isolate 发送的]

无论是上面的spawn还是spawnUri,运行后都会创建两个进程,一个是主Isolate的进程,一个是新Isolate的进程,两个进程都双向绑定了消息通信的通道,即使新的Isolate中的任务完成了,它的进程也不会立刻退出,因此,当使用完自己创建的Isolate后,最好调用newIsolate.kill(priority: Isolate.immediate);将Isolate立即杀死。

4.2 Isolate通信机制

在真实开发中,我们不会只是简单的开启一个新的Isolate,而不关心它的运行结果:

  • 我们需要新的Isolate进行计算,并且将计算结果告知Main Isolate(也就是默认开启的Isolate);
  • Isolate 通过发送管道(SendPort)实现消息通信机制;
  • 我们可以在启动并发Isolate时将Main Isolate的发送管道作为参数传递给它;
  • 并发在执行完毕时,可以利用这个管道给Main Isolate发送消息;

Dart 基础五:异步支持及异常 - 图7
整个消息通信过程如上图所示:

两个Isolate是通过两对Port对象通信,一对Port分别由用于接收消息的ReceivePort对象,和用于发送消息的SendPort对象构成。其中SendPort对象不用单独创建,它已经包含在ReceivePort对象之中。需要注意,一对Port对象只能单向发消息,这就如同一根自来水管,ReceivePort和SendPort分别位于水管的两头,水流只能从SendPort这头流向ReceivePort这头。因此,两个Isolate之间的消息通信肯定是需要两根这样的水管的,这就需要两对Port对象。

理解了 Isolate 消息通信的原理,那么在Dart代码中,具体是如何操作的呢?

Dart 基础五:异步支持及异常 - 图8

ReceivePort对象通过调用listen方法,传入一个函数可用来监听并处理发送来的消息。SendPort对象则调用send()方法来发送消息。send方法传入的参数可以是null,num, bool, double,String, List ,Map或者是自定义的类。

4.3 在 FLutter 创建 Isolate

无论如何,在Dart中创建一个Isolate都显得有些繁琐,可惜的是Dart官方并未提供更高级封装。但是,如果想在Flutter中创建Isolate,则有更简便的API,这是由Flutter官方进一步封装ReceivePort而提供的更简洁API。如果你只需要运行一些代码来完成一些特定的工作,并且在工作完成之后不需要与 Isolate 进行交互,那么这里有一个非常方便的称为 computeHelper
主要包含以下功能:

  • 产生一个 Isolate
  • 在该 isolate 上运行一个回调函数,并传递一些数据,
  • 返回回调函数的处理结果,
  • 回调执行后终止 Isolate

注意:下面的代码不是dart的API,而是Flutter的API,所以只有在Flutter项目中才能运行

  1. import 'package:flutter/foundation.dart';
  2. import 'dart:io';
  3. // 创建一个新的Isolate,在其中运行任务doWork
  4. create_new_task() async{
  5. var str = "New Task";
  6. var result = await compute(doWork, str);
  7. print(result);
  8. }
  9. void doWork(String value){
  10. print("new isolate doWork start");
  11. // 模拟耗时5秒
  12. sleep(Duration(seconds:5));
  13. print("new isolate doWork end");
  14. return "complete:$value";
  15. }

compute函数有两个必须的参数,第一个是待执行的函数,这个函数必须是一个顶级函数,不能是类的实例方法,可以是类的静态方法,第二个参数为动态的消息类型,可以是被运行函数的参数。
需要注意,使用compute应导入’package:flutter/foundation.dart’包。

4.4 Isolate 使用场景

Isolate虽好,但也有合适的使用场景,不建议滥用Isolate,应尽可能多的使用Dart中的事件循环机制去处理异步任务,这样才能更好的发挥Dart语言的优势。
那么应该在什么时候使用Future,什么时候使用Isolate呢? 一个最简单的判断方法是根据某些任务的平均时间来选择: 方法执行在几毫秒或十几毫秒左右的,应使用Future,如果一个任务需要几百毫秒或之上的,则建议创建单独的Isolate。
除此之外,还有一些可以参考的场景
• JSON 解码
• 加密
• 图像处理:比如剪裁
• 网络请求:加载资源、图片

五、异常

在介绍异常捕获之前必须先了解一下Dart单线程模型,只有了解了Dart的代码执行流程,我们才能知道该在什么地方去捕获异常。
在Java和Objective-C(以下简称“OC”)中,如果程序发生异常且没有被捕获,那么程序将会终止,但是这在Dart或JavaScript中则不会!究其原因,这和它们的运行机制有关系。Java和OC都是多线程模型的编程语言,任意一个线程触发异常且该异常未被捕获时,就会导致整个进程退出。但Dart和JavaScript不会,它们都是单线程模型,在事件循环中,当某个任务发生异常并没有被捕获时,程序并不会退出,而直接导致的结果是当前任务的后续代码就不会被执行了,也就是说一个任务中的异常是不会影响其它任务执行的。

Dart 代码可以抛出和捕获异常。 异常表示一些未知的错误情况。 如果异常没有被捕获, 则异常会抛出, 导致抛出异常的代码终止执行。
和 Java 有所不同, Dart 中的所有异常是非检查异常。 方法不会声明它们抛出的异常, 也不要求捕获任何异常。

Dart 提供了 ExceptionError 类型, 以及一些子类型。 当然也可以定义自己的异常类型。 但是,此外 Dart 程序可以抛出任何非 null 对象, 不仅限 Exception 和 Error 对象。

5.1 抛出异常

下面是关于抛出或者 引发 异常的示例:

  1. throw FormatException('Expected at least 1 section');

也可以抛出任意的对象:

  1. throw 'Out of llamas!';

提示: 高质量的生产环境代码通常会实现 ErrorException 类型的异常抛出。

因为抛出异常是一个表达式, 所以可以在 => 语句中使用,也可以在其他使用表达式的地方抛出异常:

  1. void distanceTo(Point other) => throw UnimplementedError();

5.2 捕获同步异常

Dart中同步异常可以通过try/on/catch/finally来捕获代码块异常,可以通过throw 关键字用来明确地抛出异常。
捕获异常可以避免异常继续传递(除非重新抛出( rethrow )异常)。 可以通过捕获异常来处理该异常:

  1. try {
  2. breedMoreLlamas();
  3. } on OutOfLlamasException {
  4. buyMoreLlamas();
  5. }

通过指定多个 catch 语句,可以处理可能抛出多种类型异常的代码。 与抛出异常类型匹配的第一个 catch 语句处理异常。 如果 catch 语句未指定类型, 则该语句可以处理任何类型的抛出对象:

  1. try {
  2. breedMoreLlamas();
  3. } on OutOfLlamasException {
  4. // 一个特殊的异常
  5. buyMoreLlamas();
  6. } on Exception catch (e) {
  7. // 其他任何异常
  8. print('Unknown exception: $e');
  9. } catch (e) {
  10. // 没有指定的类型,处理所有异常
  11. print('Something really unknown: $e');
  12. }

如上述代码所示,捕获语句中可以同时使用 on 和 catch ,也可以单独分开使用。 使用 on 来指定异常类型, 使用 catch 来 捕获异常对象。
catch() 函数可以指定1到2个参数, 第一个参数为抛出的异常对象, 第二个为堆栈信息 ( 一个 StackTrace 对象 )。

  1. try {
  2. // ···
  3. } on Exception catch (e) {
  4. print('Exception details:\n $e');
  5. } catch (e, s) {
  6. print('Exception details:\n $e');
  7. print('Stack trace:\n $s');
  8. }

如果仅需要部分处理异常, 那么可以使用关键字 rethrow 将异常重新抛出。

  1. void misbehave() {
  2. try {
  3. dynamic foo = true;
  4. print(foo++); // Runtime error
  5. } catch (e) {
  6. print('misbehave() partially handled ${e.runtimeType}.');
  7. rethrow; // Allow callers to see the exception.
  8. }
  9. }
  10. void main() {
  11. try {
  12. misbehave();
  13. } catch (e) {
  14. print('main() finished handling ${e.runtimeType}.');
  15. }
  16. }

try-catch 代码块不能捕获到异步异常,使用 await 关键字声明的同步调用,属于同步异常范围,可以通过 try-catch 捕获。

  1. try {
  2. version = await lookUpVersion();
  3. } catch (e) {
  4. // React to inability to look up the version
  5. }

5.3 捕获异步异常

使用 catchError 捕获异步异常,第一个参数为 Function error 类型,第二个参数为 {bool test(Object error)},是一个判断表达式,当此表达式返回值为 true 时,表示需要执行 catch 逻辑,如果返回 false,则不执行 catch 逻辑,即会成为未捕获的异常,默认不传时 认为是true。
这里的作用是可以精细化的处理异常,可以理解为同步异常中强化版的 on 关键字,
入参至多两个 分别为error 和 stack,均可选。

  1. Future(() {
  2. }).then((value){
  3. }).catchError((error, stack) {
  4. });
  5. Future.delayed(Duration(seconds: 1)).then((e) => Future.error("xxx"));

5.4 finally

不管是否抛出异常, finally 中的代码都会被执行。 如果 catch 没有匹配到异常, 异常会在 finally 执行完成后,再次被抛出:

  1. try {
  2. breedMoreLlamas();
  3. } finally {
  4. // Always clean up, even if an exception is thrown.
  5. cleanLlamaStalls();
  6. }

任何匹配的 catch 执行完成后,再执行 finally :

  1. try {
  2. breedMoreLlamas();
  3. } catch (e) {
  4. print('Error: $e'); // Handle the exception first.
  5. } finally {
  6. cleanLlamaStalls(); // Then clean up.
  7. }

更多详情,请参考 Exceptions 章节。


参考资料:

  1. Dart 中文官网)
  2. 【dart学习】— Dart之异步编程
  3. Flutter(五)之彻底搞懂Dart异步
  4. [译] Flutter 异步编程:Future、Isolate 和事件循环
  5. Dart 语言Stream详解
  6. Flutter Dart回顾 —— 异常捕获、抛出)