Dlaczego Kotlin nie pozwala używać lateinit z typami pierwotnymi?

Question

W języku Kotlin domyślnie musimy zainicjować każdą zmienną po jej wprowadzeniu. Aby tego uniknąć, można użyć słowa kluczowego lateinit. Odwołanie się do zmiennej lateinit przed jej zainicjowaniem powoduje wyjątek środowiska wykonawczego.

lateinit nie można jednak używać z typami pierwotnymi. Dlaczego tak jest?

Answer 1

Dla typów obiektów, Kotlin używa wartości null aby zaznaczyć, że nieruchomość lateinit nie został zainicjowany i wrzucić odpowiedni wyjątek, gdy właściwość jest dostępna.

W przypadku typów pierwotnych nie ma takiej wartości, więc nie można oznaczyć właściwości jako niezainicjowanej i zapewnić diagnostykę, którą musi dostarczyć funkcja diagnostyczna. (Moglibyśmy spróbować użyć oddzielnego znacznika, ale ten znacznik nie byłby aktualizowany podczas inicjalizacji pola przez odbicie, co jest głównym przypadkiem użycia lateinit).

Dlatego lateinit jest obsługiwany tylko dla właściwości typów obiektów.

Answer 2

Krótka odpowiedź jest taka, że ​​w przypadku prymitywów zawsze można użyć domyślnie 0, a domyślnie dopuszcza się typy zerowane null. Jedynie nie-nullowalne, nieprymitywne typy mogą wymagać, aby pracować wokół systemu bezpieczeństwa typu.

Faktycznie, nie ma potrzeby inicjowania zmiennej w Kotlin tak długo, jak to ma wartość przed pierwszy dostęp i może być statycznie udowodnione. Co oznacza, że ​​kod ten jest całkowicie ważny:

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

    x = 0 
    y = x + 0.1 

    println("$x, $y") 
} 

Istnieją jednak (rzadkie) przypadki, w których inicjalizacja nie może zostać udowodniona statycznie. Najczęstszym przypadkiem jest polem klasy, który wykorzystuje każdą formę zastrzyku Zależność:

class Window { 
    @Inject lateinit parent: Parent 
}