Умное приведение к типу невозможно, потому что переменная является изменяемым свойством, которое могло быть изменено к этому времени.

И новичок из Kotlin спрашивает: «почему не скомпилируется следующий код?»:

    var left: Node? = null

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

Интеллектуальное приведение к «Узлу» невозможно, поскольку «left» является изменяемым свойством, которое могло быть изменено к этому времени.

Я получаю, что 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. Используйте оператор Элвиса с, returnчтобы рано вернуться из функции включения:

   queue.add(left ?: return)

   Обратите внимание, что breakи continueможет использоваться аналогично для проверок внутри циклов.

1) Также вы можете использовать lateinitЕсли вы уверены, что делаете инициализацию позже onCreate()или в другом месте.

Использовать это

lateinit var left: Node

Вместо этого

var left: Node? = null

2) И есть другой способ, который использует !!конец переменной, когда вы используете это так

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

В ответе mfulton26 есть четвертый вариант.

Используя ?.оператор, можно вызывать как методы, так и поля, не обращаясь к 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. Там нет гарантии, что он работает на других версиях, это может быть новая функция.

Использование ?.оператора не может быть использовано в вашем случае, поскольку проблема заключается в передаваемой переменной. В качестве альтернативы можно использовать оператор Элвиса, и, вероятно, он требует наименьшего количества кода. Вместо использования, continueхотя, returnтакже может быть использован.

Можно также использовать ручное приведение, но это небезопасно:

queue.add(left as Node);

Это означает, что если левая сторона изменилась в другом потоке, программа завершится сбоем.

Практическая причина, почему это не работает, не связана с потоками. Дело в том, что node.leftэффективно переводится на node.getLeft().

Это свойство getter может быть определено как:

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

Поэтому два вызова могут не возвращать один и тот же результат.

Изменить 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
     }
}

Который, кажется, является первым вариантом, предоставленным принятым ответом, но это то, что вы ищете.

Для того чтобы свойства были Smart Cast, типом данных свойства должен быть класс, содержащий метод или поведение, к которому вы хотите обращаться, а НЕ то, что свойство относится к типу суперкласса.

например на 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 )
    }
}

Тогда вам не нужно определять новую и ненужную локальную переменную, и у вас нет новых утверждений или приведений (которые не являются СУХИМЫМИ). Другие функции области также могут работать, так что выберите ваш любимый.

Попробуйте использовать оператор утверждения not-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
}