Kotlin新手问:“为什么下面的代码不能编译?”:

var left: Node? = null
    
fun show() {
    if (left != null) {
        queue.add(left) // ERROR HERE
    }
}

智能转换为'Node'是不可能的,因为'left'是可变的 此时可以更改的属性

我得到left is mutable变量,但我显式检查left != null left是Node类型,为什么它不能被智能转换为这种类型?

我该如何优雅地解决这个问题?


当前回答

在执行left != null和queue.add(left)之间,另一个线程可能已经将left的值更改为null。

要解决这个问题,您有几个选择。以下是一些例子:

使用智能强制转换的局部变量: Val节点= left If (node != null) { queue.add(节点) } 使用一个安全的调用,例如以下之一: 离开吗?。让{node -> queue.add(node)} 离开吗?。Let {queue.add(it)} 离开?报价吧(队列::添加) 使用带有return的Elvis操作符提前从封闭函数返回: 队列中。Add (left ?: return) 注意,break和continue可以类似地用于循环中的检查。

其他回答

尝试使用非空断言操作符…

queue.add(left!!) 

Change var left: Node?= null to lateinit var left:节点。问题解决了。

你最优雅的解决方案必须是:

var left: Node? = null

fun show() {
    left?.also {
        queue.add( it )
    }
}

这样就不需要定义一个新的、不必要的局部变量,也不需要任何新的断言或强制类型转换(它们都不是DRY)。其他作用域函数也可以工作,所以选择您最喜欢的。

这样做:

var left: Node? = null

fun show() {
     val left = left
     if (left != null) {
         queue.add(left) // safe cast succeeds
     }
}

这似乎是公认答案提供的第一个选项,但这正是您要寻找的。

这种方法不起作用的实际原因与线程无关。这个点就是那个节点。left被有效地转换为node.getLeft()。

这个属性getter可以定义为:

val left get() = if (Math.random() < 0.5) null else leftPtr

因此,两个调用可能不会返回相同的结果。