如何在Kotlin挂起函数中使用当前CoroutineScope执行async？

fun main() = CoroutineScope(Dispatchers.IO).launch {
    val result = getTitleAndLabel() // 调用挂起函数
    // 处理result
}

案例1：以CoroutineScope为接收器的挂起函数 #

// 问题：以CoroutineScope作为接收器的挂起函数，会导致coroutineContext来源不明确

suspend fun CoroutineScope.getTitleAndLabel(): Pair<String, String> {
    val titleDeferred = async { getTitle() }
    val labelDeferred = async { getLabel() }
    val (title, label) = listOf(titleDeferred, labelDeferred).awaitAll()
    return Pair(title, label)
}

这种写法将函数定义为CoroutineScope的扩展函数，调用时必须依赖CoroutineScope上下文，但会让作用域的来源变得模糊——如果从不同的CoroutineScope调用该函数，子协程会绑定到不同的作用域，容易引发生命周期管理混乱，不符合结构化并发的设计原则。

案例2：使用coroutineScope构建器创建子作用域 #

// 特点：通过coroutineScope构建器创建当前协程的子作用域，继承原有上下文

suspend fun getTitleAndLabel(): Pair<String, String> = coroutineScope {
    val titleDeferred = async { getTitle() }
    val labelDeferred = async { getLabel() }
    val (title, label) = listOf(titleDeferred, labelDeferred).awaitAll()
    return@coroutineScope Pair(title, label)
}

这是推荐的写法：coroutineScope是一个挂起函数，它会创建一个绑定到当前协程生命周期的子作用域，自动继承当前协程的上下文，同时遵循结构化并发规则——只有所有子协程（这里的async任务）完成后，coroutineScope才会结束。既不需要显式传递作用域，也能安全管理子协程的生命周期，避免泄漏。

案例3：使用withContext指定固定调度器 #

// 问题：强制指定Dispatcher.IO上下文，可能造成不必要的上下文切换

suspend fun getTitleAndLabel(): Pair<String, String> = withContext(Dispatchers.IO) {
    val titleDeferred = async { getTitle() }
    val labelDeferred = async { getLabel() }
    val (title, label) = listOf(titleDeferred, labelDeferred).awaitAll()
    return@withContext Pair(title, label)
}

这种写法强制将代码块切换到Dispatcher.IO上下文，若当前协程已经运行在IO调度器上，会造成无意义的上下文切换。此外，withContext的核心作用是切换上下文而非获取当前作用域，子协程会绑定到withContext创建的临时上下文，并非原有的当前协程作用域，不符合“获取当前CoroutineScope”的需求。

案例4：显式传递CoroutineScope作为参数 #

// 特点：将CoroutineScope作为参数传入，直接使用外部作用域

suspend fun getTitleAndLabel(coroutineScope: CoroutineScope): Pair<String, String> {
    val titleDeferred = coroutineScope.async { getTitle() }
    val labelDeferred = coroutineScope.async { getLabel() }
    val (title, label) = listOf(titleDeferred, labelDeferred).awaitAll()
    return Pair(title, label)
}

这种写法虽然可行，但不够优雅且存在风险：显式传递外部作用域可能导致子协程脱离当前协程的生命周期管理，违背结构化并发的原则，容易引发协程泄漏。挂起函数本身运行在协程上下文中，无需额外传递作用域即可通过coroutineScope构建器安全创建子协程。

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