科特林，从链接列表中删除重复项：智能投射是不可能的

Question

我在kotlin中实现了一个LinkedList，并编写了一个方法从中删除重复项：

class Node (value:Int) {
    var value = value
    var next:Node? = null

fun addNodeToTail(value:Int){
    var node = this
    while (node.next != null) {
        node = node.next
    }
    val newNode= Node(value)
    node.next= newNode

}
fun removeDuplicates (){

    val set = HashSet<Int>()
    var node = this
    set.add(node.value)
    while(node.next != null){
        if (set.contains(node.next?.value)){
            node.next= node.next?.next
        }else{
            set.add(node.next.value)
            node= node.next
        }
    }
}
}

在最后两行:

 set.add(node.next.value)
 node= node.next

（在addNodeToTail方法中），编译器表示由于复杂的表达式，智能转换是不可能的。我必须添加非空断言调用（！！）。

我想了解为什么这个解决方案不被接受，尽管while表达式检查该节点。next不为空。我想知道是否有比使用非空断言调用更好的解决方案（！！）。

感谢您的帮助

Answer 1

帕维尔在评论中严格地回答了这个问题。

基本上，智能铸造并不总是可能的。特别是，如果您定义了一个可空类型的可变＜code＞var＜/code＞且在技术上可由多个线程访问，则html" target="_blank">编译器无法保证该值在空检查和使用之间保持不变。这就是为什么你会得到这个错误“智能铸造不可能”。

处理该问题的一种常见方法是将该值存储在本地val变量中，以确保该值不会更改，并允许编译器对其进行智能强制转换。

但是在您的情况下，这并不理想，因为< code>while每次都必须检查实际节点的值。因此，您必须在某个时候断言该值不为null，或者用< code >！！还是用猫王(< code >？:)和一个< code>error()或< code>throw。

我个人会选择:

    while (node.next != null) {
        val nextNode = node.next ?: throw ConcurrentModificationException()
        if (set.contains(nextNode.value)) {
            node.next = nextNode.next
        } else {
            set.add(nextNode.value)
            node = nextNode
        }
    }