在上一篇博客介绍了 协程异常处理 【Kotlin 协程】协程异常处理 ① ( 根协程异常处理 | 自动传播异常 | 在协程体捕获异常 | 向用户暴露异常 | 在 await 处捕获异常 | 非根协程异常处理 | 异常传播特性 ) , 其中介绍了 协程中异常的传播特性 :

协程 运行时 , 产生异常 , 会将异常 传递给 父协程 , 父协程会执行如下操作 :

• ① 取消子协程 : 不仅仅取消产生异常的子协程 , 该父协程下所有的子协程都会取消 ;
• ② 取消父协程 : 将父协程本身取消 ;
• ③ 向父协程的父协程传播异常 : 继续将异常传播给 父协程的父协程 ;

这样就会导致 某个子协程一旦出现异常 , 则 兄弟协程 , 父协程 , 父协程的兄弟协程 , 父协程的父协程 等等 都会被取消 , 这样牵连太大 , 因此本篇博客中引入几种异常处理机制解决上述问题 ;

一、SupervisorJob 协程

SupervisorJob 协程 执行时如果 该类型的 子协程 出现异常 , 不会将 异常传递给 父协程 , 因此也不会影响到 父协程 下的 其它子协程 ;

SupervisorJob 类型的 子协程 自己处理异常 , 不会向上传递异常 ;

Android 使用场景 : 某个 View 组件由 多个协程控制 , 如果其中某个协程崩溃 , 其它协程仍正常工作 ;

SupervisorJob 协程实现 :

创建 SupervisorJob 协程 , 需要先 创建一个 协程作用域 , 在 CoroutineScope 构造函数 中 传入 SupervisorJob() 作为参数 ;

// 在该作用域下创建的协程都是 SupervisorJob 协程
val supervisorScope = CoroutineScope(SupervisorJob())

使用该 协程作用域 调用 launch 构建器函数 , 即可 创建 SupervisorJob 协程 , 这些协程可以自己处理异常 , 不会向父协程传递异常 ;

代码示例 :

// 先创建 Supervisor 作用域
// 在该作用域下创建的协程都是 SupervisorJob 协程
val supervisorScope = CoroutineScope(SupervisorJob())

// 通过 Supervisor 作用域 创建 协程
val job = supervisorScope.launch {
    delay(100)
    Log.i(TAG, "子协程 job 执行")
}

// 通过 Supervisor 作用域 创建 协程
val job2 = supervisorScope.launch {
    delay(100)
    Log.i(TAG, "子协程 job2 执行")
}

二、supervisorScope 协程作用域构建器函数

使用 supervisorScope 作用域构建器函数 , 可以直接创建一个 SupervisorScope 协程作用域 , 在该作用域中定义的 协程 , 都是 SupervisorJob 协程 ;

如果 SupervisorScope 作用域自身出现异常 , 则所有子协程都会取消 ;

代码示例 :

// 将主线程包装成协程
runBlocking<Unit>{
    supervisorScope {
        // 在 supervisorScope 作用域 创建 协程
        val job = launch {
            delay(100)
            Log.i(TAG, "子协程 job 执行")
        }
        val job2 = launch {
            delay(100)
            Log.i(TAG, "子协程 job2 执行")
        }
    }
}