「変数」は変更可能なプロパティなので、「タイプ」へのスマートキャストは不可能です。

そして、Kotlinの初心者は、「なぜ次のコードがコンパイルされないのか」と質問します。

    var left: Node? = null

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

「左」はこの時点で変更されている可能性のある変更可能なプロパティであるため、「ノード」へのスマートキャストは不可能です。

それleftは可変変数ですが、明示的にチェックleft != nullしleftていてタイプなNodeので、なぜそのタイプにスマートキャストできないのですか？

これをエレガントに修正するにはどうすればよいですか？:)

実行の間left != nullとqueue.add(left)、別のスレッドの値が変更されている可能性leftへとnull。

これを回避するには、いくつかのオプションがあります。ここに幾つかあります：

1. スマートキャストでローカル変数を使用します。

   val node = left
   if (node != null) {
       queue.add(node)
   }

2. 次のような安全な呼び出しを使用します。

   left?.let { node -> queue.add(node) }
   left?.let { queue.add(it) }
   left?.let(queue::add)

3. Elvis演算子を使用してreturn、囲み関数から早期に戻ります。

   queue.add(left ?: return)

   breakとcontinueループ内のチェックに同様に使用できることに注意してください。

1）後で、または他の場所で確実に初期化を行うlateinit場合にも使用できます。onCreate()

これを使って

lateinit var left: Node

これの代わりに

var left: Node? = null

2）そして!!、このように使用するときに変数の終わりを使用する他の方法があります

queue.add(left!!) // add !!

mfulton26の答えにあるものに加えて、4番目のオプションがあります。

?.演算子を使用することにより、letローカル変数を処理したり使用したりせずに、フィールドだけでなくメソッドも呼び出すことができます。

コンテキストのコード：

var factory: ServerSocketFactory = SSLServerSocketFactory.getDefault();
socket = factory.createServerSocket(port)
socket.close()//smartcast impossible
socket?.close()//Smartcast possible. And works when called

メソッド、フィールド、および私がそれを機能させるために試みた他のすべてのもので動作します。

したがって、問題を解決するために、手動キャストやローカル変数を使用する代わりに、を使用?.してメソッドを呼び出すことができます。

参考までに、これはKotlin 1.1.4-3でテストされましたが、1.1.51およびでもテストされました1.1.60。他のバージョンでも動作するという保証はなく、新しい機能である可能性があります。

?.渡された変数が問題であるので、演算子の使用はあなたのケースでは使用できません。Elvisオペレーターを代替として使用することができます。これは、おそらく最も少ない量のコードを必要とするオペレーターです。continueただし、代わりに使用するreturnこともできます。

手動キャストを使用することもオプションですが、これはnullセーフではありません。

queue.add(left as Node);

左が別のスレッドで変更された場合、プログラムはクラッシュします。

これが機能しない実際的な理由は、スレッドとは関係ありません。重要なのは、それnode.leftが効果的にに変換されることnode.getLeft()です。

このプロパティゲッターは次のように定義されます。

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

したがって、2つの呼び出しが同じ結果を返さない場合があります。

に変更var left: Node? = nullしlateinit var left: Nodeます。問題が解決しました。

これを行う：

var left: Node? = null

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

これは、受け入れられた回答によって提供される最初のオプションのようですが、それがあなたが探しているものです。

プロパティのスマートキャストが存在するためには、プロパティのデータ型は、アクセスするメソッドまたは動作を含むクラスである必要があり、プロパティがスーパークラスの型である必要はありません。

例：Android

になる：

class MyVM : ViewModel() {
    fun onClick() {}
}

解決：

From: private lateinit var viewModel: ViewModel
To: private lateinit var viewModel: MyVM

使用法：

viewModel = ViewModelProvider(this)[MyVM::class.java]
viewModel.onClick {}

GL

最もエレガントなソリューションは次のとおりです。

var left: Node? = null

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

次に、新しい不要なローカル変数を定義する必要はありません。また、新しいアサーションやキャスト（DRYではない）もありません。他のスコープ関数も機能する可能性があるため、お気に入りを選択してください。

nullでないアサーション演算子を使用してみてください...

queue.add(left!!) 

どのように書くか：

var left: Node? = null

fun show() {
     val left = left ?: return
     queue.add(left) // no error because we return if it is null
}