子クラスの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

しかし、xからの初期化を変更した場合

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のコンストラクターを呼び出します。Aのコンストラクターは、「x in f：1」を出力する関数fを呼び出します。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#deriv-class-initialization-order

これらのプロパティのいずれかが基本クラスの初期化ロジックで（直接または間接的に、別のオーバーライドされたオープンメンバー実装を介して）使用されている場合、不正な動作またはランタイムエラーが発生する可能性があります。したがって、基本クラスを設計するときは、コンストラクター、プロパティ初期化子、およびinitブロックでオープンメンバーを使用しないようにする必要があります。

UPD：

この不整合を引き起こすバグがあります — https://youtrack.jetbrains.com/issue/KT-15642

スーパーコンストラクター内の仮想関数呼び出しの副作用としてプロパティが割り当てられている場合、初期化子式がデフォルト値（null、プリミティブゼロ）の場合、その初期化子はプロパティを上書きしません。