Why did the code from the official kotlin documentation give this example?

Question

Kotlin

val c: Int  // Type required when no initializer is provided
c = 3       // deferred assignment

Why did the code from the official kotlin documentation give this example? As I googled, a variable cannot be uninitialized. At the very least, you need to write lateinit or assign null

Answer 1

This is true for class fields, but not for local variables. Local variables can be initialized separately from the declaration. The compiler will make sure that this is done before the first call to it