Inteligentne rzutowanie na „Typ” jest niemożliwe, ponieważ „zmienna” jest zmienną właściwością, którą do tego czasu można było zmienić

A początkujący Kotlin pyta: „dlaczego poniższy kod się nie skompiluje?”:

    var left: Node? = null

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

Inteligentne rzutowanie na „Węzeł” jest niemożliwe, ponieważ „left” jest zmienną właściwością, którą do tego czasu można było zmienić

Rozumiem, że leftjest to zmienna zmienna, ale jawnie sprawdzam left != nulli leftjest typu, Nodewięc dlaczego nie można go rzutować na ten typ?

Jak mogę to naprawić elegancko? :)

Między wykonaniem left != nulla queue.add(left)innym wątkiem mogła zostać zmieniona wartość leftna null.

Aby obejść ten problem, masz kilka opcji. Oto niektóre:

1. Użyj zmiennej lokalnej z inteligentnym rzutowaniem:

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

2. Użyj bezpiecznego połączenia, takiego jak jedno z poniższych:

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

3. Użyj operatora Elvis z, returnaby wrócić wcześniej z funkcji zamykającej:

   queue.add(left ?: return)

   Zauważ, że breaki continuemogą być używane podobnie do kontroli w pętlach.

1) Możesz także użyć lateinitJeśli na pewno wykonasz inicjalizację później onCreate()lub w innym miejscu.

Użyj tego

lateinit var left: Node

Zamiast tego

var left: Node? = null

2) I istnieje inny sposób, w którym używasz !!końca zmiennej, gdy używasz go w ten sposób

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

Istnieje czwarta opcja oprócz tych w odpowiedzi mfulton26.

Za pomocą ?.operatora można wywoływać metody oraz pola bez zajmowania się letlub używania zmiennych lokalnych.

Trochę kodu dla kontekstu:

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

Działa z metodami, polami i wszystkimi innymi rzeczami, które próbowałem uruchomić.

Aby więc rozwiązać problem, zamiast konieczności ręcznego rzutowania lub używania zmiennych lokalnych, możesz użyć ?.metody wywoływania metod.

Dla porównania przetestowano to w Kotlinie 1.1.4-3, ale także w 1.1.51i 1.1.60. Nie ma gwarancji, że działa w innych wersjach, może to być nowa funkcja.

W tym ?.przypadku nie można użyć operatora, ponieważ jest to przekazywana zmienna, która jest problemem. Alternatywą może być operator Elvisa, który prawdopodobnie wymaga najmniejszej ilości kodu. Zamiast używać continue, returnmożna również użyć.

Opcjonalne może być także użycie ręcznego rzutowania, ale nie jest to bezpieczne:

queue.add(left as Node);

Oznacza to, że jeśli lewo zmieniło się w innym wątku, program się zawiesi.

Praktyczny powód, dla którego to nie działa, nie jest związany z wątkami. Chodzi o to, że node.leftjest skutecznie przetłumaczone na node.getLeft().

Ten moduł pobierania właściwości można zdefiniować jako:

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

Dlatego dwa połączenia mogą nie zwracać tego samego wyniku.

Zmień var left: Node? = nullna lateinit var left: Node. Problem rozwiązany.

Zrób to:

var left: Node? = null

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

To wydaje się być pierwszą opcją podaną przez zaakceptowaną odpowiedź, ale właśnie tego szukasz.

Aby możliwe było inteligentne rzutowanie właściwości, typ danych właściwości musi być klasą zawierającą metodę lub zachowanie, do którego chcesz uzyskać dostęp, a NIE, że właściwość jest typu superklasy.

np. na Androida

Być:

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

Rozwiązanie:

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

Stosowanie:

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

GL

Najbardziej eleganckim rozwiązaniem musi być:

var left: Node? = null

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

Wówczas nie musisz definiować nowej i niepotrzebnej zmiennej lokalnej i nie masz żadnych nowych asercji ani rzutowań (które nie są OSUSZANE). Inne funkcje zakresu również mogą działać, więc wybierz swój ulubiony.

Spróbuj użyć operatora asercji niepustej ...

queue.add(left!!) 

Jak bym to napisał:

var left: Node? = null

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