为什么Kotlin编译器需要var属性的显式初始化器？

Question

我无法理解以下科特林文档：

The initializer, getter and setter are optional. Property type is optional
if it can be inferred from the initializer or from the base class member being overridden.

Examples:
var allByDefault: Int? // error: explicit initializer required, default 
getter and setter implied

为什么编译器在这里需要显式初始值设定项的唯一解释（至少我能想到的唯一解释）是 Kotlin 没有属性的默认值。对吗？如果是，为什么？换句话说：Kotlin 属性和 Java 字段（具有默认值）之间有什么区别，这不允许我们有属性的默认值？

Answer 1

静态编程语言不会做任何隐式操作。它不会在没有您的特定指令的情况下转换数字类型，也不会在没有明确说明的情况下设置默认值或初始化值。它是一种设计选择，旨在消除在典型Java程序中发现的常见错误。编译器不清楚您是否忘记初始化它，或者您是否打算使用默认值。因为不清楚，所以很糟糕。因此可能会导致错误。

静态编程语言的设计选择有助于消除代码中的错误，编译器无法帮助确定是否存在错误。它在语言中是哲学的和一致的。

Kotlin在使用前需要初始化。对于意味着构造函数和初始值设定项完成时的成员，它必须具有值<var上的code>lateinitmodifier允许在编译时忽略这一点，尽管在运行时，当您访问变量时会进行检查。对于局部变量，任何代码分支都必须在访问前初始化值。例如：

fun stateFromAbbreviation(abbreviation: String?): String {
    val state: String

    if (abbreviation == null) {
        state = DEFAULT_STATE
    }
    else {
        state = stateMap.get(abbreviation) ?: throw IllegalStateException("Invalid state abbreviation $abbreviation")
    }

    return state
}

在这里，假设所有分支都初始化值，则可以在if语句中初始化局部变量。但实际上，使用if作为表达式，这段代码会更为惯用，例如：

fun stateFromAbbreviation(abbreviation: String?): String {
    return if (abbreviation == null) {
        DEFAULT_STATE
    }
    else {
        stateMap.get(abbreviation) ?: throw IllegalStateException("Invalid state abbreviation $abbreviation")
    }
}

Answer 2

这很简单：在Java中，默认值为0（零）和空值。但在 Kotlin 中，大多数值都不能为空，因此您无法用 null 初始化它们。对于基元值，可能存在使用零初始化的默认策略，但为了保持一致，这样做并不是如此。但在基元数组中，默认值确实为零。

如果您真的需要初始化语义，请查看lateinit属性：https://kotlinlang.org/docs/reference/properties.html#late-initialized-properties.

该机制基本上允许使用null初始化一个字段，但随后将您从空断言中解放出来。

附加

实际上，Kotlin在初始化方面非常聪明。例如：

val x: Int

if(something)
    x = 1
else
    x = 2

println(x)

在这里，kotlinc可以证明x在被使用之前被初始化，所以代码是可以的。