KotlincallInPlace合约有哪些好处?
谁能向我解释一下 KotlincallsInPlace合约的好处是什么?编译器如何利用知道 lambda 函数将被调用的优势?还有,开发商从中得到什么好处?像smartcast之类的?
先感谢您。
回答
这个契约不仅告诉编译器 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
}
有了这个合约编译器知道:
- 值
x将被分配一次(禁止重新分配值val,即使是相同的值)。 x将在println(x)调用时初始化(lambda 不仅传递给run函数,而且实际上在函数内部调用)。
以前,编译器对这些事情不确定并发出错误以防万一。