第3章：自定义CoroutineScope在Service中的创建与配置：SupervisorJob、Dispatchers选择

在Service内部，直接使用GlobalScope或继承外部Scope都会带来生命周期泄漏或错误传播不可控的问题。本章聚焦如何在Service中显式创建并配置自定义CoroutineScope，重点围绕SupervisorJob的选型和Dispatcher的合理选择，确保与Service生命周期强绑定，且单个Job失败不影响兄弟协程。

3.1 核心原理

• SupervisorJob：一种特殊的Job，子协程的失败不会取消父Job，也不会取消其他子协程。适用于Service中多个独立任务并行执行的场景（如同时处理多个网络请求、数据库写入、文件下载）。
• Job vs SupervisorJob：常规Job（默认）中，任何一个子协程失败会立即取消父Job及其所有其他子协程；SupervisorJob切断向上传播的取消链。
• Dispatcher选择原则：
  • Dispatchers.IO：适用于网络请求、文件读写、数据库操作等阻塞或耗时任务。
  • Dispatchers.Default：适用于CPU密集型计算，例如数据解析、图片处理。
  • Dispatchers.Main：只在需要更新UI或与Activity/Fragment交互时使用（Service中很少使用）。
  • Dispatchers.Unconfined：一般不推荐，仅用于测试或极短操作。

3.2 实现流程

1. 定义Scope属性：在Service类内部声明private val scope = CoroutineScope(SupervisorJob() + Dispatchers.IO)。
2. 配置异常处理：可通过CoroutineExceptionHandler注入到Scope作为可选策略。
3. 启动协程：使用scope.launch { }启动任务，非阻塞且独立。
4. 生命周期绑定：在onDestroy()中调用scope.cancel()，清理所有子协程。
5. 任务细分：对于不同类型的任务（IO密集型、CPU密集型），通过withContext切换Dispatcher。

3.3 完整代码示例

class DataSyncService : Service() {

    // 使用 SupervisorJob + Dispatchers.IO 创建自定义Scope
    private val scope = CoroutineScope(SupervisorJob() + Dispatchers.IO)

    override fun onBind(intent: Intent): IBinder? = null

    override fun onStartCommand(intent: Intent?, flags: Int, startId: Int): Int {
        // 启动多个独立任务
        scope.launch {
            performNetworkSync()      // 网络同步 — IO
        }
        scope.launch {
            performDatabaseCleanup()  // 数据库清理 — IO
        }
        scope.launch(Dispatchers.Default) {
            performDataCompression()  // 压缩 — CPU密集型
        }
        return START_STICKY
    }

    private suspend fun performNetworkSync() {
        // 假设使用 Retrofit 或 OkHttp
        delay(5000) // 模拟耗时
    }

    private suspend fun performDatabaseCleanup() {
        // Room 操作
    }

    private suspend fun performDataCompression() {
        // 大量计算
    }

    override fun onDestroy() {
        super.onDestroy()
        // 取消所有协程，释放资源
        scope.cancel()
    }
}

3.4 调试与验证

• 使用Android Profiler观察协程生命周期是否与Service同步。
• 在scope.cancel()前后打印日志，确认所有子协程被取消。
• 模拟子协程异常：在某个launch块中抛出RuntimeException，检查其他子协程是否继续运行（SupervisorJob特性）。默认Job下其余协程也会被取消而形成对比。

D/DataSyncService: scope.cancel() called
D/DataSyncService: performNetworkSync cancelled? true
D/DataSyncService: performDatabaseCleanup cancelled? true
D/DataSyncService: performDataCompression cancelled? true

3.5 常见错误

• 忘记调用scope.cancel()：导致协程泄漏，可能持续占用内存或唤醒CPU。
• 使用Job()而非SupervisorJob()：当某个子协程失败时，Scope被取消，后续任务无法继续。
• Dispatcher选择错误：在Dispatchers.Main上执行阻塞IO导致ANR；在Dispatchers.Default上执行网络请求浪费线程池。

3.6 性能与稳定性优化

• 为不同任务设置合理的CoroutineStart：默认CoroutineStart.DEFAULT适合大多数场景；需延迟启动时使用LAZY。
• 使用CancellationException处理被动取消：在try-catch中捕获CancellationException，执行清理工作。
• 对于频繁创建的Service（如IntentService已弃用的替代场景），考虑复用Scope实例，避免多次创建开销。

3.7 结构关系图

3.8 关键API速查