Розумний переклад на "Тип" неможливий, оскільки "змінна" - це змінне властивість, яке могло бути змінено до цього часу

І новачок у Котліна запитує: "чому не скомпілюється наступний код?":

    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. Використовуйте оператор Елвіса з , 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

Це працює з методами, полями та всіма іншими речами, які я намагався змусити його працювати.

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

Для довідки це було випробувано в Котліні 1.1.4-3, але також випробувано в 1.1.51та 1.1.60. Немає гарантій, що він працює і в інших версіях, це може бути нова функція.

Використання ?.оператора не може бути використане у вашому випадку, оскільки це проблема, яка є переданою змінною. Оператор Елвіса може використовуватися як альтернатива, і, мабуть, саме той вимагає найменшої кількості коду. Замість використання, continueхочаreturn також може бути використаний.

Використання ручного лиття також може бути варіантом, але це не є нульовим безпечним:

queue.add(left as Node);

Значення, якщо ліворуч змінилося на інший потік, програма вийде з ладу.

Практична причина, чому це не працює, не пов'язана з потоками. Справа в тому, що node.leftефективно перекладається на node.getLeft().

Цей отримувач властивостей може бути визначений як:

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 {}

ГЛ

Вашим найелегантнішим рішенням повинно бути:

var left: Node? = null

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

Тоді вам не доведеться визначати нову і непотрібну локальну змінну, і у вас немає нових тверджень або анкет (які не бувають DRY). Інші функції сфери можуть також працювати, тому виберіть улюблену.

Спробуйте скористатися оператором твердження, що не відповідає нулю ...

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
}