Kotlin callsInPlace 合约有哪些好处？

Question

任何人都可以向我解释 Kotlin callsInPlace 合同的好处是什么？编译器如何利用知道 lambda 函数将被调用的优势？另外，开发商从中得到什么好处呢？喜欢智能广播吗？

提前致谢。

Answer 1

这个契约不仅告诉编译器 lambda 被调用了，而且（可选）amount of times 它被调用了。这允许编译一些在 Kotlin 1.3 引入契约之前不可编译的代码。

来自 Dmitry Savvinov 的 talk（警告，它是俄语）关于在 stdlib 中使用此合同的示例：

public inline fun <R> run(block: () -> R): R {
    contract {
        callsInPlace(block, InvocationKind.EXACTLY_ONCE)
    }
    return block()
}

fun foo() {
    val x: Int
    run { 
        x = 42 //Error in 1.2, ok in 1.3
    }
    println(x) //Error in 1.2, ok in 1.3
}

有了这个合约，编译器知道：

x 的值只会被分配一次（禁止重新分配 val 的值，即使是相同的值）。
x 将在 println(x) 调用时初始化（lambda 不仅传递给 run 函数，而且实际上在它内部调用）。

以前，编译器不确定这些事情并发出错误以防万一。

Kotlin callsInPlace 合约有哪些好处？

Which are the benefits of Kotlin callsInPlace contract?

kotlin

kotlin-contracts