Kotlin 协程与结构化并发：Scope、Job 与取消

文章目录第 1 章 协程是什么轻量任务 结构化并发踩坑第 2 章 launch 与 async事件 vs 结果踩坑第 3 章 DispatcherMain / IO / Default踩坑第 4 章 取消与协作第 5 章 SupervisorJob子失败不拖垮全家第 6 章 异常处理与测试踩坑动手练练习 1launch vs asyncA · 基础练习 2GlobalScopeB · 进阶练习 3并行加载C · 综合练习 4withContextD · Android 实践练习 5SupervisorJobA · 基础练习 6取消协作B · 进阶进阶阅读可选追问链 #1coroutineScope 与 supervisorScope 追问链 #2viewModelScope 何时取消 追问链 #3Main.immediate 是什么 ⭐追问链 #4async 异常何时抛出 完整链路一句通相关推荐第 1 章 协程是什么轻量任务 结构化并发协程是可挂起的计算单元由调度器决定在哪个线程执行。与「裸线程」相比切换成本低与回调相比代码线性。结构化并发每个协程属于某个ScopeScope 取消时其下所有子协程一并取消——避免「飞出去的 async」泄漏。importkotlinx.coroutines.*funmain()runBlocking{coroutineScope{launch{delay(100);println(A)}launch{delay(50);println(B)}}println(scope 结束)}coroutineScope会等待子协程全部完成再返回。踩坑GlobalScope.launch无父 JobActivity 销毁后仍可能跑——禁止作为默认。第 2 章 launch 与 async事件 vs 结果构建器返回值典型用途launchJob发请求、更新状态不关心返回值asyncDeferredT并行计算最后await()取结果suspendfunloadSummary():StringcoroutineScope{valaasync(Dispatchers.IO){fetchA()}valbasync(Dispatchers.IO){fetchB()}${a.await()}${b.await()}}async仍在同一coroutineScope下任一子协程失败兄弟会被取消除非 Supervisor见第 5 章。Android 对照ViewModel 里刷新列表用viewModelScope.launch需要并行两个接口再在 suspend 函数内coroutineScope async。classTodoViewModel(privatevalrepo:TodoRepository,):androidx.lifecycle.ViewModel(){funrefresh(){viewModelScope.launch{valitemsrepo.loadAll()// 更新状态见《Flow 与 StateFlow》}}}踩坑在 Fragment 的lifecycleScope里做长耗时业务——应下沉到 ViewModel Repository。第 3 章 DispatcherMain / IO / DefaultDispatcher用途MainUI、轻量状态更新IO网络、磁盘、RoomDefaultCPU 密集计算Repository 用withContext(Dispatchers.IO)声明 IO 需求《suspend 与 Continuation》ViewModel 默认在 Main 更新状态。classTodoRepository{suspendfunloadAll():ListTodowithContext(Dispatchers.IO){// 网络或数据库emptyList()}}踩坑把所有阻塞 IO 塞Default应使用IO池。在Main上await长时间 IO 而不withContext阻塞 UI。第 4 章 取消与协作协程取消是协作式的挂起点delay、yield、suspend 函数会检查取消死循环里要自己ensureActive()或判断isActive。valjobscope.launch{repeat(1000){i-ensureActive()// 或 if (!isActive) returnlaunchdoStep(i)}}job.cancel()CancellationException是正常取消信号一般不要吞掉在finally里做清理时要注意是否因取消触发。第 5 章 SupervisorJob子失败不拖垮全家普通Job一个子协程未捕获异常会取消父 Job兄弟全停。SupervisorJob子失败不取消兄弟。valscopeCoroutineScope(SupervisorJob()Dispatchers.Main.immediate)scope.launch{launch{riskyAnalytics()}// 失败launch{refreshFeed()}// 仍可继续}viewModelScope内部使用SupervisorJob一个launch崩溃不应干掉同 ViewModel 其它任务——但仍应在子协程内runCatching转 UI 错误态。第 6 章 异常处理与测试viewModelScope.launch{valresultrunCatching{repo.load()}.getOrElse{e-// 转 UiState.Errorreturnlaunch}// Success 分支}测试 suspend 函数用runTestkotlinx-coroutines-test可控制虚拟时间无需真delay。踩坑async不await异常可能直到coroutineScope结束才抛出。吞掉CancellationException导致无法正确取消。动手练练习 1launch vs asyncA · 基础目标区分构建器。要求何时用launch何时用asyncawait()各一句。练习 2GlobalScopeB · 进阶目标理解结构化并发。要求说明GlobalScope.launch在 Activity 场景下的风险应用什么 Scope 替代。练习 3并行加载C · 综合目标coroutineScopeasync。要求写suspend fun loadPair(): PairInt, Int并行async { 1 }与async { 2 }后await。练习 4withContextD · Android 实践目标Repository IO。要求TodoRepository.load()用withContext(Dispatchers.IO)返回ListTodo函数体可emptyList()。练习 5SupervisorJobA · 基础目标子失败隔离。要求viewModelScope为何用SupervisorJob一句话。练习 6取消协作B · 进阶目标死循环退出。要求在while(true)循环里应加什么检查才能响应cancel()进阶阅读可选追问链 #1coroutineScope 与 supervisorScope 参考回答coroutineScope子失败取消全家supervisorScope用 Supervisor 语义子失败不取消兄弟。追问链 #2viewModelScope 何时取消 参考回答ViewModel.onCleared()时取消配置变更旋转不销毁 ViewModel协程可继续。追问链 #3Main.immediate 是什么 ⭐参考回答已在 Main 则立即执行不多一次调度viewModelScope常用组合。追问链 #4async 异常何时抛出 参考回答在await()时若从不 await可能在 scope 结束时传播。完整链路一句通Scope 界定生命周期→launch/async 发协程→withContext 声明线程需求→取消沿 Job 树传播→SupervisorJob 隔离并行任务→ViewModelScope 绑定界面逻辑寿命。相关推荐Kotlin 作用域函数let/apply 怎么选Kotlin 语法与空安全从零的第一课