Kotlin 延续传递风格与协程底层实现

深入理解 CPS 变换在 Kotlin 协程中的核心作用，掌握 suspend 函数的本质是状态机而非线程。 · 难度：入门 · +10XP

延续传递风格与协程底层实现

Kotlin 协程的底层秘密隐藏在编译器对 suspend 函数的 CPS 变换中。每个挂起函数都会被编译成一个状态机，而 Continuation 对象就是状态机的控制流载体。本教程将通过手动实现简易协程框架，揭示 continuation 如何像回调链一样串联挂起点，以及为什么协程不需要操作系统线程参与就能实现并发。你将看到 suspend 函数签名中隐藏的 Continuation 参数如何让代码在挂起后恢复执行。

// 手动实现 CPS 风格的协程框架
fun interface Continuation<T> {
    fun resume(value: T)
}
fun <T> suspend(block: (Continuation<T>) -> Unit): T {
    var result: T? = null
    var completed = false
    block(object : Continuation<T> {
        override fun resume(value: T) {
            result = value
            completed = true
        }
    })
    while (!completed) { /* 模拟事件循环 */ }
    @Suppress("UNCHECKED_CAST")
    return result as T
}