Kotlin协程详解——挂起函数的应用和原理

原创已于 2025-09-25 17:20:45 修改 · 1.5k 阅读

9 ·

CC 4.0 BY-SA版权

文章标签：

#kotlin #开发语言 #android

于 2025-02-08 17:43:44 首次发布

Kotlin 专栏收录该内容

19 篇文章

订阅专栏

一、应用挂起函数的原因

Kotlin 引入挂起函数（suspend function）的原因主要是为了支持非阻塞的异步编程模型，并提供一种更优雅和简洁的方式来处理异步操作。以下是 Kotlin 有挂起函数的主要原因：

非阻塞的异步编程：
在传统的异步编程中，开发者通常需要使用回调函数来处理异步操作的结果。这种方式容易导致代码嵌套层次过多，难以阅读和维护。Kotlin 的挂起函数允许开发者以同步的方式编写异步代码，从而消除了回调地狱的问题。挂起函数在遇到耗时或异步操作时，会挂起自己并释放当前线程，当操作完成后，它会恢复执行并继续执行剩余的代码。
线程的高效利用：
挂起函数的设计允许协程在等待某个操作完成时不阻塞线程。这个操作可能在同一个线程或另一个线程上执行，具体取决于挂起函数的实现。这使得协程特别适合于 UI 线程编程，因为它可以确保 UI 线程保持响应。同时，Kotlin 协程调度器负责协程的调度，可以是单线程的，也可以是多线程的。当一个协程遇到阻塞调用时，它可以被挂起，调度器则可以在同一线程上开始执行另一个协程，从而提高了线程的利用率。
简化异步代码：
挂起函数提供了一种更直观和简洁的方式来处理异步操作。开发者可以使用同步的编程思维来编写异步代码，而不需要担心底层的线程切换和异步回调。这大大降低了异步编程的复杂性，并提高了代码的可读性和可维护性。
支持协程的挂起和恢复：
协程是 Kotlin 中一种轻量级的线程，它的启动和切换比传统线程更加高效。挂起函数是协程机制中的关键组成部分，它允许协程在遇到耗时操作时挂起自己，并在操作完成后恢复执行。这种机制使得协程能够在不阻塞线程的情况下高效地处理异步任务。
与现有代码的兼容性和互操作性：
Kotlin 的挂起函数可以与现有的同步和异步代码无缝集成。开发者可以在需要的地方使用挂起函数来处理异步操作，而不需要对整个代码库进行重构。这使得 Kotlin 的异步编程模型更加灵活和实用。

综上所述，Kotlin 引入挂起函数是为了支持非阻塞的异步编程模型，提供一种更简洁和直观的方式来处理异步操作，并降低异步编程的复杂性。同时，挂起函数还允许协程高效地利用线程资源，并与现有代码保持兼容性和互操作性。

二、什么时候需要使用挂起函数呢？

常见的场景有：

耗时操作：使用 withContext 切换到指定的 IO 线程去进行网络或者数据库请求；
等待操作：使用 delay 方法去等待某个事件

三、挂起函数的挂起、恢复和底层原理

Kotlin 挂起函数实现挂起和恢复操作的底层原理主要基于状态机和 Continuation（延续体）机制。以下是详细的解释：

1.挂起函数的定义与特性

定义：挂起函数是 Kotlin 协程中的一个特殊函数，使用 suspend 关键字进行标记。
特性：
- 挂起函数可以在协程中暂停执行，直到某个异步操作完成后再恢复执行。
- 挂起函数不会阻塞调用它的线程，而是让出线程去执行其他任务。
- 挂起函数只能在协程或其他挂起函数中调用。

2.底层原理

状态机：
- Kotlin 编译器会将挂起函数编译成一个状态机。
- 每个挂起函数都是状态机中的一个状态（或称为 case 分支）。
- 状态机通过状态值来控制函数的执行流程，确保各个状态按顺序执行。
Continuation（延续体）：
- Continuation 是一个接口，用于表示挂起函数执行完后的回调。
- 当挂起函数挂起时，它会返回一个 Continuation 对象，该对象封装了挂起函数之后的代码（即恢复点）。
- 当异步操作完成时，会调用 Continuation 的 resumeWith 方法来恢复挂起函数的执行。
挂起与恢复的实现：
- 挂起：当协程执行到挂起函数时，如果挂起函数需要等待某个异步操作完成，它会挂起自己并返回一个 Continuation 对象。此时，协程的状态机会将当前状态保存下来，并等待异步操作完成。
- 恢复：当异步操作完成时，会调用 Continuation 的 resumeWith 方法，并传入操作的结果。此时，状态机会根据保存的状态值恢复挂起函数的执行，并从挂起点继续执行剩余的代码。
编译阶段的处理：
- 在编译阶段，Kotlin 编译器会为每个挂起函数增加一个 Continuation 类型的参数。
- 编译器还会生成一个匿名内部类（通常是 SuspendLambda 的子类），该类实现了 Continuation 接口，并封装了挂起函数之后的代码。

3.示例说明

以下是一个简单的 Kotlin 挂起函数示例，用于说明挂起和恢复的实现原理：

import kotlinx.coroutines.*

suspend fun fetchData(): String {
    // 模拟异步操作，如网络请求
    delay(1000L) // 延迟 1 秒
    return "Data fetched"
}

fun main() = runBlocking {
    // 启动一个新的协程
    val job = launch {
        val data = fetchData() // 调用挂起函数
        println("Received data: $data")
    }
    job.join() // 等待协程完成
}

在这个示例中：

fetchData 是一个挂起函数，它使用 delay 函数来模拟异步操作。
当 main 函数中的协程执行到 fetchData 时，fetchData 会挂起自己并返回一个 Continuation 对象。
delay 函数内部会启动一个定时器，并在定时器到期后调用 Continuation 的 resumeWith 方法来恢复 fetchData 的执行。
当 fetchData 恢复执行时，它会继续执行剩余的代码，并返回结果。
最后，main 函数中的协程会打印出接收到的数据。