Kotlin协程CoroutineScope异常处理

协程常见的两种异常处理

常见的两种处理方式由如下两种：

· try catch

· CoroutineExceptionHandler

一、异常传播过程

默认情况下，任意一个协程发生异常时都会影响到整个协程树，而异常的传递通常是双向的，也即协程会向子协程与父协程共同传递。

整体流程如下：

· 先cancel子协程

· 取消自己

·将异常传递给父协程

·重复上述过程，知道根协程关闭

如果不想在协程异常时，同级别子协程或者父协程受到影响，就可以用SupervisorJob。

二、异常传播形式

在协程中，异常传播形式有两种：

· 自动传播（launch或actor）：异常传递过程是层层向上传递的（如果异常没有被捕获）

· 向用户态暴漏该异常（async或produce）：不会向上传递，会在调用处直接暴漏

三、异常处理方式

1. try catch

大多数情况下，try catch稳定且可靠，但也有个别例外情况下，如下：

val scope = CoroutineScope(Job())
try{
    scope.launch{
        throw NullPointerException()
    }
}catch(e:Exception){
    e.printStackTrace()
}

在默认情况下，如果异常没有被处理，而且顶级协程CoroutineContext中没有携带CoroutineExceptionHandler，则异常会传递给默认线程的ExceptionHandler。在Android中，如果没有设置Thread.setDefaultUncaughtExceptionHandler，这个异常会被立即抛出，从而导致App异常崩溃。

我们在launch时，因为启动了一个新的协程作用域，发生异常时没有被直接捕获，再加上是Job而不是SupervisorJob，所以异常向上传递，其本身已是根协程，此时根协程中CoroutineContext并未携带CoroutineExceptionHandler，从而导致了直接异常。

2. CoroutineExceptionHandler

CoroutineExceptionHandler仅在未捕获的异常上调用（当前异常无任何方式处理）。由于协程是结构化的，当子协程发送异常时，它会优先将异常委托给父协程处理，一直到根协程作用域或者顶级协程。因此永远不会使用我们子协程CoroutineContext传递的CoroutineExceptionHandler（SupervisorJob除外），对于async这种，而是直接向用户态暴漏该异常。