Warum erlaubt Kotlin nicht, Latetinit mit primitiven Typen zu verwenden?

Question

In der Kotlin-Sprache müssen wir standardmäßig jede Variable initialisieren, wenn sie eingeführt wird. Um dies zu vermeiden, kann das Schlüsselwort lateinit verwendet werden. Das Verweisen auf eine lateinit Variable, bevor sie initialisiert wurde, führt zu einer Laufzeitausnahme.

lateinit kann jedoch nicht mit den primitiven Typen verwendet werden. Wieso ist es so?

Answer 1

Für Objekttypen, Kotlin verwendet den null Wert zu markieren, dass eine lateinit Eigenschaft wird nicht initialisiert und die entsprechende Ausnahme zu werfen, wenn die Eigentum wird zugegriffen.

Für primitive Typen gibt es keinen solchen Wert, daher gibt es keine Möglichkeit, eine Eigenschaft als nicht initialisiert zu markieren und die Diagnose bereitzustellen, die lateinit bereitstellen muss. (Wir könnten versuchen, einen separaten Marker irgendeiner Art zu verwenden, aber dieser Marker würde nicht aktualisiert, wenn das Feld durch Reflexion initialisiert wird, was ein Hauptanwendungsfall von lateinit ist).

Daher wird lateinit nur für Eigenschaften von Objekttypen unterstützt.

Answer 2

Eine kurze Antwort ist, dass Sie bei Primitiven immer 0 als Standard verwenden können und standardmäßig Nullwerte null. Nur nicht nullfähige nicht-primitive Typen müssen möglicherweise lateinit umgehen, um das Typsicherheitssystem zu umgehen.

Eigentlich gibt es keine Notwendigkeit für eine Variable in Kotlin Initialisierung, solange sie einen Wert vor den ersten Zugriff hat, und es kann statisch nachgewiesen werden. Was bedeutet dieser Code vollkommen gültig ist:

fun main(args: Array<String>) { 
    var x: Int 
    val y: Double 

    x = 0 
    y = x + 0.1 

    println("$x, $y") 
} 

Aber es gibt (seltenen) Fällen, wenn die Initialisierung nicht statisch nachgewiesen werden kann. Der häufigste Fall ist ein Klasse-Feld, das jede Form von Dependency Injection verwendet:

class Window { 
    @Inject lateinit parent: Parent 
}