Kotlin协程中子Job未取消父CoroutineScope问题咨询

首先纠正核心误解：子Job的取消不会主动传播给父Job，反而是父Job的取消会向下传播给所有子Job。只有当子协程抛出未捕获的非CancellationException异常时，才会触发结构化并发规则，导致父协程被取消。

测试场景的原因分析 #

你遇到的“第一个launch抛错后，后续cancellableScope2仍能执行打印‘3’”的情况，大概率是因为两个cancellableScope处于平级作用域，而非嵌套关系。举个典型的代码示例：

runBlocking {
    // 第一个独立作用域
    cancellableScope {
        launch {
            throw RuntimeException("测试异常")
        }
    }
    // 第二个独立作用域，和第一个平级
    cancellableScope {
        launch {
            println("3")
        }
    }
}

在这个结构里，第一个cancellableScope会因为内部子协程抛错而被取消，但它是runBlocking下的一个独立子作用域，取消只会限制在该作用域内部，不会影响runBlocking本身，也不会波及平级的第二个cancellableScope，所以第二个作用域的代码正常执行。

如果你的预期是“子协程抛错后，所有后续代码都无法执行”，那需要把第二个cancellableScope嵌套在第一个内部：

runBlocking {
    cancellableScope {
        launch {
            throw RuntimeException("测试异常")
        }
        // 嵌套在第一个作用域内的子作用域
        cancellableScope {
            launch {
                println("3")
            }
        }
    }
}

此时第一个子协程抛错会触发父cancellableScope的取消，所有嵌套的子作用域和子协程都会被取消，println("3")不会执行。

关于上下文一致的尝试 #

你提到“将上下文改为一致但问题依旧”，这是因为取消传播依赖的是结构化并发的作用域层级，而非协程上下文是否相同。即使给所有协程传递同一个CoroutineContext，只要作用域是平级的，就不会互相影响。

关键规则总结 #

• 父Job取消 → 所有子Job被取消（向下传播）
• 子Job主动取消 → 不会影响父Job
• 子协程抛未捕获非CancellationException → 父协程被取消（向上传播，结构化并发的错误传播规则）
• 独立平级的作用域之间，取消状态互不影响

内容的提问来源于stack exchange，提问作者Cristopher Bechtholdt