在闭包中使用var局部变量如何防止编译器对此变量进行智能强制转换？

Question

在闭包中使用var局部变量如何阻止编译器进行智能强制转换？

我读到如果我们在闭包中使用本地（var）变量，那么它不再是智能可转换的，因为现在它有点像一个属性：它可以从其他地方修改，所以编译器不能再保证它的类型。

有人能举个例子吗？

Answer 1

如果您有接口：

interface Callback {
    fun onEvent()
}

然后，在函数中，如果创建修改函数中局部变量的接口实现，则该变量将由接口捕获。

fun myFunction() {
    var x: Int? = 4
    val myCallback = object: Callback {
        override fun onEvent() {
            x = 5
        }
    }
    x ?: return
    val y = 2 * x // error, smart cast is impossible.
}

由于它被捕获，局部变量不再只是局部变量。修改它的接口可以传递给调用它并修改您捕获的变量的其他函数。由于编译器不知道如何使用接口，它将拒绝智能强制转换接口捕获的变量。

出于同样的原因，如果在lambda中修改变量也会被捕获。编译器不知道调用lambda的频率和时间。

对于仅立即使用的内联lambda，合约最终应该会解决这个问题，至少我认为应该如此。合约仍然是一个实验性功能，它似乎无法防止这种特定的智能强制转换错误。