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
}

有了这个合约编译器知道:

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

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


以上是KotlincallInPlace合约有哪些好处?的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>