kotlin 协程：可能没有标准库？

Question

我的问题是理论上的。 我对 kotlin 很陌生（只通过了教程，没有写任何真正的代码）。

阅读语言参考后，我发现自己对“suspend”是一个关键字这一事实感到困惑，但我在关键字列表中找不到像“launch”这样的东西。这让我觉得有些不对称——“挂起”是一个编译器功能，而“启动”是一个库函数。我的理解正确吗？如果是这样 - 将两者都实现为库功能或同时实现为编译器功能不是更好吗？

我一直认为您可以随时使用可用的语言功能编写自己的标准库，但我仍然看不出这是否真的适用于这种情况。

TL;DR：我可以使用纯 kotlin 启动协程，而无需导入任何库（不管那会多么难看）？

Answer 1

suspend 标记在函数签名中添加了一个隐藏的延续参数，并彻底改变了实现字节码。暂停点不归结为辅助函数调用，它们将您的线性程序代码变成状态机，状态保存在延续对象中。生成的字节码甚至无法表示为 Java 程序代码。

与此相反，launch 只是基于挂起/恢复原语的常规库代码。

Answer 2

我可以使用纯 kotlin 启动协程，而无需导入任何库（不管那会多么难看）？

没有。所有协程生成器都在 kotlinx.coroutines 库中，因此您至少需要它。现在，从理论上讲，您可以自己重新实现此功能。但可能你不应该。

对于 StackOverflow 的答案来说，如何做到这一点有点太长了，但是尝试从 Java 调用这个 Kotlin 类的方法：

class AsyncWorks {
    suspend fun print() {
        println("Hello")
    }
}

您会看到，尽管 Kotlin 方法没有参数，但在 Java 中它需要 Continuation<? super Unit>。这就是 suspend 关键字的作用。它添加了Continuation<T> 作为我们函数的最后一个参数。

将两者都实现为库功能不是更好吗？ 都作为编译器功能？

理想情况下，您希望所有内容都成为“库功能”，因为它更容易发展。从语言中删除关键字非常困难。理论上，可以避免使用suspend 作为关键字。 Quasar 是一个框架，而是使用注解。另一方面，Go 编程语言假设所有函数都是可暂停的。所有这些方法都有其优点和缺点。
Kotlin 决定务实，并添加 suspend 关键字，将决定权留给开发人员。如果您对该主题感兴趣，我强烈推荐 Kotlin 协程的作者 Roman Elizarov 的演讲，该演讲解释了他们的决定：https://www.youtube.com/watch?v=Mj5P47F6nJg

Answer 3

因为协程对don't support launch 的用例有效。因为suspend 需要一些specific support from the compiler 和launch 不需要如果你已经有suspend。因为结构化并发是语言功能之上的library framework，而launch 是该特定框架的一部分，它会根据语言要求做出特定选择。

可以使用startCoroutine 启动没有任何库的协程。 kotlin.coroutines 是 Kotlin 的一部分，而不是库。

Answer 4

在这里回答我自己的问题。

在使用 Kotlin 一年后，我倾向于认为这确实是可能的。 suspend 语言功能会创建一个额外的类，并在每次调用挂起函数时实例化它。此类扩展 ContinuationImpl 并存储您的协程的进度 - 到目前为止它能够执行到该点。

因此，需要编写一个自定义调度程序来管理延续对象的队列以决定现在必须运行哪个，以及一个launch 函数，它将接收新创建的延续对象并将其传递给给调度员。

现在，这仍然是一个不对称 - ContinuationImpl 存在于 kotlin.coroutines.jvm.internal 中，因此编译器假定此包存在。如果真的想完全放弃标准库 - 他需要实现该包才能使用 suspend 关键字。

虽然我不是 kotlin 专家，所以我可能错了。

Answer 5

@Alexey Soshin 的说法不太正确。

您可以在没有库的情况下使用协程，这非常简单。这是一个关于最简单的挂起协程示例，对协程库的依赖为 0。

import kotlin.coroutines.*

fun main() {

    lateinit var context: Continuation<Unit>
    
        suspend {
            val extra="extra"
            println("before suspend $extra")
            suspendCoroutine<Unit> { context = it }
            println("after suspend $extra")
        }.startCoroutine(
            object : Continuation<Unit> {
                override val context: CoroutineContext = EmptyCoroutineContext
                // called when a coroutine ends. do nothing.
                override fun resumeWith(result: Result<Unit>) {
                    result.onFailure { ex : Throwable -> throw ex }
                }
            }
        )
    
        println("kick it")
        context.resume(Unit)
}

这在 play.kotlinlang.org 网站上运行良好。

从这段代码可以看出，任何用suspend 装饰的 lambda 上面都有startCourtine()。

实际上，我认为标准集合类中的SequenceBuilder() 使用像这样的简单协程来生成序列，而不依赖于协程库。

编译器在协程上做繁重的工作，在每个可能的挂起点将代码分成不同的“方法”。看看这个的 java 代码，你会看到它被“拆分”成一个 switch 语句。暂停前一例，暂停后一例。

图书馆为你做了很多好东西.....而且你可能几乎总是会使用它（因为为什么不呢？）但你实际上并不需要它。