kotlin - Kotlin 调用就地合约有哪些好处？

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. 值 tox将被分配一次（禁止重新分配 的值val，即使是相同的值）。
2. x将在println(x)调用时初始化（lambda 不仅传递给run函数，而且实际上在函数内部被调用）。

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