Kotlin callInPlace 合约有哪些好处？

Question

谁能向我解释一下 KotlincallsInPlace合约的好处是什么？编译器如何利用知道 lambda 函数将被调用的优势？还有，开发商从中得到什么好处？像smartcast之类的？

先感谢您。

Answer 1

这个契约不仅告诉编译器 lambda 被调用到位，而且（可选）它被调用的次数。这允许编译一些在 Kotlin 1.3 引入合约之前无法编译的代码。

德米特里·萨维诺夫( Dmitry Savvinov ) 关于在 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函数，而且实际上在函数内部调用）。

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