kotlin - 无法验证传递给forEach的可暂停块

给一些

suspend fun a(): Int

这有效:

launch(Unconfined) {
    (1..10).forEach {
        val a = a()
        println("Result is $a")
    }
}

但这在编译时失败:

val action: (Int) -> Unit = {
    // Suspend function should be called only from a coroutine
    // or another suspend function:
    val a = a()
    println("Result is $a")
}
launch(Unconfined) {
    (1..10).forEach(action)
}

此外，它不可修复，因为:

val action: suspend (Int) -> Unit = {
    val a = a()
    println("Result is $a")
}
launch(Unconfined) {
    // suspend (Int) -> Unit cannot be applied to (T) -> Unit
    (1..10).forEach(action)
}

关于静态类型系统，这里的故事是什么？当前的情况看起来像一个快速hack，其中包含suspend fun调用的内联块仍被推断为非挂起类型签名。

这是在最终确定设计之前将对其进行改进的 Realm 吗？

最佳答案

suspend和普通功能类型不是彼此的子类型，因此不能彼此代替地分配或传递给函数:

val f: () -> Unit = { }
val g: suspend () -> Unit = f // Type mismatch

val f: suspend () -> Unit = { }
val g: () -> Unit = f // Type mismatch

这就是为什么suspend (Int) -> Unit无法传递到forEach的原因。

基本上，不管类型系统如何，仅在其他暂挂函数中调用暂挂函数的限制都是有效的。这样的调用应该简单地放在一个suspend函数或一个suspend lambda中，或者内联到一个函数中。因此，这也应该起作用:

val action: suspend (Int) -> Unit = {
    val a = a()
    println("Result is $a")
}
launch(Unconfined) {
    (1..10).forEach { action() } // The call is inlined into a suspend lambda
}

我也提出了有关支持(1..10).forEach(action)的问题:KT-22186