Kotlin CallsInPlace 合约有哪些好处？

谁能向我解释一下 Kotlin 有哪些好处callsInPlace https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.contracts/-contract-builder/calls-in-place.html合同？编译器如何利用知道 lambda 函数将被就地调用的优势？另外，开发商从中得到什么好处呢？比如 smartcast 之类的？

先感谢您。

这个契约不仅告诉编译器 lambda 被就地调用，而且（可选）次数 https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.contracts/-invocation-kind/它被调用。这允许编译一些在 Kotlin 1.3 中引入合约之前无法编译的代码。

德米特里·萨维诺夫的例子（警告，是俄语）关于 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
}

通过这个合约，编译器知道：

1. 价值x将被分配一次（禁止重新分配值val，即使具有相同的值）。
2. x将在以下时间初始化println(x)调用（lambda 不只是传递给run函数，但实际上是在其内部调用的）。

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