子类的Kotlin变量初始化对于初始化值为0的变量的行为很奇怪

我创建了以下类层次结构：

open class A {
    init {
        f()
    }

    open fun f() {
        println("In A f")
    }
}

class B : A() {
    var x: Int = 33

    init {
        println("x: " + x)
    }

    override fun f() {
        x = 1
        println("x in f: "+ x)
    }

    init {
        println("x2: " + x)
    }
}

fun main() {
    println("Hello World!!")
    val b = B()
    println("in main x : " + b.x)
}

此代码的输出是

Hello World!!
x in f: 1
x: 33
x2: 33
in main x : 33

但是如果我更改xfrom 的初始化

var x: Int = 33

至

var x: Int = 0

与上面的输出相反，输出显示了方法的调用：

Hello World!!
x in f: 1
x: 1
x2: 1
in main x : 1

有谁知道为什么用进行初始化0会导致行为不同于使用其他值进行初始化的行为？

在子类之前初始化超类。

B的构造函数调用调用A的构造函数，后者调用函数f打印“ x in f：1”，在初始化A之后，将初始化B的其余部分。

因此，实质上，该值的设置已被覆盖。

（当您在Kotlin中使用零值初始化图元时，从技术上讲，它们根本就不会初始化）

您可以通过更改签名来观察这种“覆盖”行为

var x: Int = 0 至 var x: Int? = 0

由于x不再是原始类型int，因此实际上将该字段初始化为一个值，从而产生输出：

Hello World!!
x in f: 1
x: 0
x2: 0
in main x : 0

该行为在文档中进行了描述-https: //kotlinlang.org/docs/reference/classes.html#derived-class-initialization-order

如果在基类初始化逻辑中使用了那些属性中的任何一个（直接或间接地通过另一个重写的开放成员实现），则可能导致错误的行为或运行时失败。因此，在设计基类时，应避免在构造函数，属性初始化程序和init块中使用开放成员。

UPD：

有一个错误会导致这种不一致— https://youtrack.jetbrains.com/issue/KT-15642

如果将属性分配为超级构造函数内部虚函数调用的副作用，则如果初始值设定项表达式为默认类型（空，原始零），则其初始值设定项不会覆盖该属性。