了解 Kotlin 的屈服函数

Question

我看不到Kotlin中yield函数的非常清晰的定义。

上面链接中的示例并没有提及以下内容，

val sequence = sequence {
    val start = 0
    // yielding a single value
    yield(start)
    // yielding an iterable
    yieldAll(1..5 step 2)
    // yielding an infinite sequence
    yieldAll(generateSequence(8) { it * 3 })
}
println(sequence.take(7).toList()) // [0, 1, 3, 5, 8, 24, 72]

，但上面的例子并未指出产量的重要性。

• 这是什么意思是悬浮功能？
• 在哪种情况下，它可以有利？

Answer 1

您可以想到 yield() as＆quot＆quot'返回，下次从您停止的地方开始＆quot：

val sequence = sequence {
    val start = 0
    yield(start) // first return
    yieldAll(1..5 step 2) // if called again, will start from here
    yieldAll(generateSequence(8) { it * 3 }) // if called more that six times, start from here
}

它创建状态机和东西，但您可以将其转换为Java中的关注：

class Seq {
    private AtomicInteger count = new AtomicInteger(0);
    private int state = 0;
    
    public int nextValue() {
        if (count.get() == 0) {
           return state;
        }
        else if (count.get() >= 1 && count.get() <= 5) {
           state += 2;
           return state;
        }
        else {
           state *= 3;
           return state;
        }
    }
}

在Java类中，我们通过具有两个变量来维持显式状态：count和state。sequence和yield的组合允许隐式保持此状态。

请注意，yield()是一个悬浮功能，因此只能从另一个suspend功能或Coroutine中调用它。

Answer 2

让我们考虑一个示例，在其中您可以生成序列的下一个元素，但是您看不到实现Java Iterator的简单方法。

fun fibonacci() = sequence {
  var a_0 = 1
  var a_1 = 1
  // this sequence is infinite
  while(true) {
    val a_n = a_0 + a_1
    a_0 = a_1
    a_1 = a_n
    //this is a suspend function call
    yield(a_0)
  }
}

该示例使用yield函数返回序列的下一个元素。该功能是Kotlin中suspend功能的示例。对该函数的调用暂停了sequence{..}块的执行，因此呼叫堆栈是免费的。

假设我们做以下

fibonacci().take(10).forEach{ 
   println(it) 
}

forEach循环的每次迭代都会从上一个yield函数调用中恢复sequence{..}块，然后运行到下一个yield函数调用。执行流将forEach循环迭代与sequence{..}块评估混合。您可以尝试编写与Java Iterator相同的内容，以感受到Kotlin编译器在幕后所做的。

suspend在Kotlin中的功能对语言和标准库方进行了简约，其余的可以在库中实现。我建议检查kotlinx.coroutines库以获取更多内部，示例和文档https://github.com/kotlin/kotlinx.coroutines