协程错误处理与结构化并发相关问题咨询

嗨，我来帮你把这两个问题拆解清楚，一个一个说：

为什么child2不是child1的子协程？ #

核心原因是代码执行顺序的问题！你写的scope.launch是异步启动的，它内部的lambda代码块会在后续的协程调度中才会执行；但你放在launch外面的那两行println是同步执行的——也就是说，当这两行打印代码运行的时候，launch lambda里的child2 = this.async { ... }这行代码还完全没被执行到！

这时候的child2还是你一开始初始化的那个CompletableDeferred(Unit)，这个对象和child1（也就是launch返回的Job）没有任何父子关系，所以child1.children.contains(child2)自然返回false。而scope是child1的父，是因为child1本身就是scope.launch创建的协程，所以scope的协程上下文会把child1当作子Job，这就是为什么第二个打印返回true。

要是你想验证这个逻辑，可以把那两行打印代码移到launch lambda的最后面（catch块之后），等child2被重新赋值完成后再打印，这时候就能看到child1.children.contains(child2)返回true了。

为什么catch块执行了，但App还是崩溃了？ #

这是协程异常传播机制和结构化并发规则共同导致的：

1. 你在async里抛出的RuntimeException，除了会在调用await()的时候被抛出到launch的协程中、被你的catch块捕获之外，这个异常还会自动传播给async的父协程（也就是child1对应的launch协程）。
2. 你的scope是用CoroutineScope(Dispatchers.Main)创建的，这个作用域没有显式指定Job或者SupervisorJob，所以launch创建的协程属于顶层协程。顶层协程的未捕获异常会直接触发全局异常处理器，进而导致App崩溃——哪怕你在await()的地方捕获了异常，父协程收到子协程的异常后还是会向上传播，最终引发崩溃。

要解决这个崩溃问题，你有几个可选方案：

• 给scope显式添加SupervisorJob，比如val scope = CoroutineScope(Dispatchers.Main + SupervisorJob())，这样子协程的异常只会取消自身，不会向上传播导致App崩溃。
• 在async的lambda内部直接捕获异常，阻止它传播到父协程：

  child2 = this.async {
      try {
          for(i in 1..5){
              if(i!=3){
                  println(" i= $i")
              }else{
                  throw RuntimeException("Oops")
              }
          }
      } catch (e: Exception) {
          println("async内部捕获异常：${e.message}")
      }
  }
  

• 给scope添加CoroutineExceptionHandler，统一处理作用域内的未捕获异常，避免崩溃。

内容来源于stack exchange