抽丝剥茧聊Kotlin协程之协程异常处理机制分析

简介: 抽丝剥茧聊Kotlin协程之协程异常处理机制分析

1. 前言



如果你是第一次听说有人把异常处理和事件分发联系在一起,相信你会跟我第一次接触协程异常处理机制时一样,一脸懵逼。别说在座的各位有不少Android老司机,就算是Android萌新,也应该知道,异常处理不就是try catch这么简单的事么,怎么能和复杂的事件分发机制扯上关系?别不信还真扯的上关系。


如果你已经接触协程知识有段时间,并且知道协程的异常处理机制和我们以往了解的异常处理机制不一样,但是又没能完全它的原理,我会一步一步带你搞清楚这是怎么回事。

如果你对协程异常处理机制了然于胸,那么恭喜你,我觉得在当前时间点,你已经超越了大部分的人。希望这篇文章可以给处于各个不同阶段的朋友,不同程度的帮助。

当然,本文并不会详细介绍事件分发。Android的View体系和协程的结构化并发一样,它们对应的数据结构都是tree。View的事件分发和协程的Cancel传播机制很相似,使用的都是树的深度遍历算法。事件分发可参考Android事件分发机制分析


2. 异常捕获


  1. Kotlin中的异常捕获和Java一样,用try catch就能捕获住异常。我们来看一个简单的例子👇。通过try catch捕获异常。结果打印"caught null pointer exception"。

image.png

启动一个协程👇。在协程体内捕获异常,结果与预期一样,打印“caught null pointer exception”。

image.png

假设有个第三方提供的方法thirdApi。thirdApi方法启动了一个协程而且没有捕获异常👇。结果导致程序崩溃。

image.png


开始一脸懵逼 要解决上述崩溃问题,我们的第一反应是在调用thirdApi的地方加上try catch👇,so easy嘛!运行代码,傻眼了,程序照样崩溃。try catch包住CoroutineScope.launch无法捕获住异常?


image.png

虽然不明白上述代码为什么捕获不住异常,但是我知道协程有CoroutineExceptionHandler可以处理异常,👇如下试试看能否捕获住异常?结果打印"caught null pointer exception"。

image.png

继续一脸懵逼 👇如果把exceptionHandler放到第二个launch方法中,竟然又捕获不住异常,程序又崩溃了。


image.png

继续一脸懵逼 如果用coroutineScope包住第二个launch方法,情况又不一样了👇,结果打印“caught exception in try catch exception null pointer exception”。异常被try catch捕获住,而不是被exceptionHandler捕获住。


image.png

image.png


继续一脸懵逼 如果用supervisorScope代替coroutineScope,情况又不一样了👇,结果打印“caught exception in handler null pointer exception”。被exceptionHandler捕获住了。


image.png

在7的代码基础上,如果把try catch去掉,在外层的launch方法中增加outerExceptionHandler参数👇。打印结果为“caught exception in outer handler null pointer exception”。异常被outerExceptionHandler捕获住了。


image.png

继续一脸懵逼 在9的代码基础上把coroutineScope替换成supervisorScope👇。打印结果为“caught exception in inner handler null pointer exception”。异常被innerExceptionHandler捕获住了。


image.png

上面10个场景,不管你是初学者还是协程老手,相信你已经晕头转向了。一个简单的异常处理,到协程里面怎么就变幻出这么多种场景,而且结果都不一样。如果不掌握协程异常处理逻辑,真不敢在项目中上协程。否则项目怎么崩溃的都不知道。


别纠结上述场景了,那只不过是我罗列出的10个场景,从理论上讲,这些场景可以72变,变化出无数种场景。但是万变不离其宗,只有掌握了原理,方能应对自如。


3. 异常处理原理



聊聊Job和SupervisorJob的区别一文中我简单介绍了异常处理原理。要想理解异常处理原理也必须先了解结构化并发,可以参考Kotlin协程是如何建立结构化并发的?


异常的处理逻辑可以用职场的例子解释。假设职场的潜规则是,任何员工出错了,首要是要向上级报告,如果上级愿意处理你的错误,那员工就不用管了,如果上级将问题打回给员工,那错误就得由员工自己处理。


以下图为例讲解异常处理机制,Job5处发生异常(此处指非CancellationException)。


image.png


  1. Job5首先会把异常传递给Job2处理。Job2有两种选择,选择一是不处理该异常,将异常打回给Job5,Job5调用handleJobException方法。选择二是Job2选择处理该异常,那么异常就传递给Job2了,Job5再也没有机会处理异常。
  2. Job2处理异常的逻辑同Job5,首先会把异常传递给Job0。Job0同样有两种选择,打回交由Job2处理,调用Job2的handleJobException方法或者由Job0处理。
  3. 协程中根Job是不会处理异常的,它会将异常打回交由子Job处理。本例子中Job0会把异常交由Job2处理。
  4. Job handleJobException处理异常的逻辑是,首先判断协程的context是否设置过CoroutineExceptionHandler,如果有则交由CoroutineExceptionHandler处理异常。如果没设置过则会交由AndroidExceptionPreHandler处理。


有几个需要注意的点


  1. CancellationException传播给父Job,一定会被打回。换而言之,它不会影响父Job。
  2. SupervisorJob和supervisorScope一样会把异常打回给子Job处理,它们都可以把异常掐死在内部,不往外传播。
  3. coroutineScope和withContext可以把协程的异常rethrow,也就是可以在他们外层加try catch捕获。


4. 最后



最后点下题吧。事件分发的Down事件是树的先序遍历算法(根右左)。而非Down事件(如Move、Up等事件)是根据TouchTarget生成的事件链表做的链表遍历。协程也是类似,cancel事件,先取消自己和子协程,是根据先序遍历(根左右),然后再取消父协程(父协程同样是先序遍历取消)。异常处理则是根据子节点->父节点的链表遍历请求处理异常。说是一母同胞实在是不过分。如果你没看懂,说明你的数据结构和算法知识还是比较欠缺,建议补补课。


相关文章
|
2月前
|
Kotlin
Kotlin协程的取消机制:深入理解和优雅实现
本文详细探讨了Kotlin协程的取消机制,介绍了除直接使用`Job`的`cancel`方法外的多种优雅实现策略,如`CompletableDeferred`、`isActive`检查、`ensureActive`、`yield`及`CoroutineScope`的取消等。通过这些方法,可以更好地管理协程生命周期,确保资源正确释放,提升代码健壮性和可维护性。
69 12
|
2月前
|
安全 Go
Golang语言goroutine协程并发安全及锁机制
这篇文章是关于Go语言中多协程操作同一数据问题、互斥锁Mutex和读写互斥锁RWMutex的详细介绍及使用案例,涵盖了如何使用这些同步原语来解决并发访问共享资源时的数据安全问题。
80 4
|
4月前
|
编译器 调度 C++
协程问题之机制保障中提到的早值班机制和稳定性周会机制分别是什么
协程问题之机制保障中提到的早值班机制和稳定性周会机制分别是什么
|
21天前
|
JSON 调度 数据库
Android面试之5个Kotlin深度面试题:协程、密封类和高阶函数
本文首发于公众号“AntDream”,欢迎微信搜索“AntDream”或扫描文章底部二维码关注,和我一起每天进步一点点。文章详细解析了Kotlin中的协程、扩展函数、高阶函数、密封类及`inline`和`reified`关键字在Android开发中的应用,帮助读者更好地理解和使用这些特性。
16 1
|
3月前
|
安全 Java 编译器
深入浅出:Kotlin 中的空安全机制
【8月更文挑战第31天】
56 0
|
3月前
|
调度 开发者 UED
Kotlin 中的协程是什么?
【8月更文挑战第31天】
163 0
|
3月前
|
NoSQL Unix 编译器
Golang协程goroutine的调度与状态变迁分析
文章深入分析了Golang中goroutine的调度和状态变迁,包括Grunnable、Gwaiting、Grunning和Gsyscall等状态,以及它们之间的转换条件和原理,帮助理解Go调度器的内部机制。
44 0
|
5月前
|
Java Serverless Kotlin
Kotlin中的异常处理
Kotlin中的异常处理
204 1
|
6月前
|
存储 测试技术 Linux
使用unsafe与协程简单分析性能
【5月更文挑战第18天】本文档探讨了Go语言中使用标准库`unsafe`包与语言内置方式在类型转换(特别是`string`与`[]byte`之间)的性能差异。在涉及内存分配和复制的场景下,`unsafe`包能显著提升效率,但需深入理解其工作原理。
54 2
使用unsafe与协程简单分析性能
|
5月前
|
存储 Java 调度
Android面试题之Kotlin 协程的挂起、执行和恢复过程
了解Kotlin协程的挂起、执行和恢复机制。挂起时,状态和上下文(局部变量、调用栈、调度器等)被保存;挂起点通过`Continuation`对象处理,释放线程控制权。当恢复条件满足,调度器重新分配线程,调用`resumeWith`恢复执行。关注公众号“AntDream”获取更多并发知识。
122 2