Eine intelligente Umwandlung in "Typ" ist nicht möglich, da "Variable" eine veränderbare Eigenschaft ist, die zu diesem Zeitpunkt möglicherweise geändert wurde

Und der Kotlin-Neuling fragt: "Warum wird der folgende Code nicht kompiliert?":

    var left: Node? = null

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

Eine intelligente Umwandlung in "Knoten" ist nicht möglich, da "links" eine veränderbare Eigenschaft ist, die zu diesem Zeitpunkt möglicherweise geändert wurde

Ich verstehe , dass leftes sich um eine veränderbare Variable handelt, aber ich überprüfe dies explizit left != nullund bin leftvom Typ. NodeWarum kann sie nicht intelligent in diesen Typ umgewandelt werden?

Wie kann ich das elegant beheben? :) :)

Zwischen der Ausführung von left != nullund queue.add(left)einem anderen Thread könnte sich der Wert von leftauf geändert haben null.

Um dies zu umgehen, haben Sie mehrere Möglichkeiten. Hier sind einige:

1. Verwenden Sie eine lokale Variable mit Smart Cast:

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

2. Verwenden Sie einen sicheren Anruf wie einen der folgenden:

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

3. Verwenden Sie den Elvis-Operator mit return, um frühzeitig von der umschließenden Funktion zurückzukehren:

   queue.add(left ?: return)

   Beachten Sie, dass breakund continuein ähnlicher Weise für Überprüfungen innerhalb von Schleifen verwendet werden kann.

1) Sie können auch verwenden, lateinitwenn Sie Ihre Initialisierung später oder anderswo sicher durchführenonCreate() .

Benutze das

lateinit var left: Node

An Stelle von

var left: Node? = null

2) Und es gibt eine andere Möglichkeit, das !!Ende der Variablen zu verwenden, wenn Sie es so verwenden

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

Zusätzlich zu denen in der Antwort von mfulton26 gibt es eine vierte Option.

Mit dem ?.Operator können sowohl Methoden als auch Felder aufgerufen werden, ohne letlokale Variablen zu behandeln oder zu verwenden.

Code für den Kontext:

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

Es funktioniert mit Methoden, Feldern und all den anderen Dingen, die ich versucht habe, damit es funktioniert.

Um das Problem zu lösen, können Sie ?.die Methoden aufrufen , anstatt manuelle Umwandlungen oder lokale Variablen verwenden zu müssen.

Als Referenz wurde dies in Kotlin getestet 1.1.4-3, aber auch in 1.1.51und 1.1.60. Es gibt keine Garantie, dass es auf anderen Versionen funktioniert, es könnte eine neue Funktion sein.

Die Verwendung des ?.Operators kann in Ihrem Fall nicht verwendet werden, da es sich um eine übergebene Variable handelt, die das Problem darstellt. Der Elvis-Operator kann als Alternative verwendet werden und erfordert wahrscheinlich die geringste Menge an Code. Anstatt jedoch zu verwenden continue,return könnte auch verwendet werden.

Die Verwendung von manuellem Casting könnte ebenfalls eine Option sein, dies ist jedoch nicht null sicher:

queue.add(left as Node);

Das heißt, wenn sich left in einem anderen Thread geändert hat , stürzt das Programm ab.

Der praktische Grund, warum dies nicht funktioniert, hängt nicht mit Threads zusammen. Der Punkt ist, dass node.lefteffektiv in übersetzt wird node.getLeft().

Dieser Eigenschafts-Getter kann wie folgt definiert werden:

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

Daher geben zwei Aufrufe möglicherweise nicht das gleiche Ergebnis zurück.

Wechseln Sie var left: Node? = nullzu lateinit var left: Node. Problem gelöst.

Mach das:

var left: Node? = null

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

Dies scheint die erste Option zu sein, die die akzeptierte Antwort bietet, aber genau das suchen Sie.

Damit es eine intelligente Umwandlung der Eigenschaften gibt, muss der Datentyp der Eigenschaft die Klasse sein, die die Methode oder das Verhalten enthält, auf die Sie zugreifen möchten, und NICHT, dass die Eigenschaft vom Typ der Superklasse ist.

zB auf Android

Sein:

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

Lösung:

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

Verwendungszweck:

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

GL

Ihre eleganteste Lösung muss sein:

var left: Node? = null

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

Dann müssen Sie keine neue und unnötige lokale Variable definieren, und Sie haben keine neuen Assertions oder Casts (die nicht DRY sind). Andere Bereichsfunktionen könnten ebenfalls funktionieren, wählen Sie also Ihren Favoriten.

Versuchen Sie es mit dem Nicht-Null-Assertionsoperator ...

queue.add(left!!) 

Wie ich es schreiben würde:

var left: Node? = null

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