Kotlin編譯器無法確定該變量在可執行循環中是不可空的

Question

我有以下方法。它的邏輯非常簡單，如果設置了正確的值，那麼在它有一個值（非空值）時調用左邊的值。當我按照以下方式編寫它時，它會起作用。

fun goNext(from: Node): Node? { 
    var prev : Node = from 
    var next : Node? = from.right 
    if (next != null) { 
     prev = next 
     next = next.left 
     while (next != null) { 
      prev = next 
      next = next.left 
     } 
    } 
    return prev 
} 

相反，如果我嘗試使用do-while循環，縮短了代碼，它不再智能蒙上next到Node。它顯示了這個錯誤：

Type mismatch. 
Required: Node<T> 
Found: Node<T>? 

的代碼如下：

fun goNext(from: Node): Node? { 
    var prev : Node = from 
    var next : Node? = from.right 
    if (next != null) { 
     do { 
      prev = next // Error is here, even though next can't be null 
      next = next.left 
     } while (next != null) 
    } 
    return prev 
} 

Answer 1

編譯器可能會假設接下來可以if語句，並從另一個線程環路之間變化。 既然你可以保證下一個不是null，只需加上!!當在循環中使用它時：next！