การกำหนดค่าเริ่มต้นตัวแปร 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 ซึ่งเรียกใช้ฟังก์ชัน f พิมพ์ "x ใน f: 1" หลังจากเริ่มต้น A แล้วส่วนที่เหลือของ B จะเริ่มต้นได้

ดังนั้นการตั้งค่าจะถูกเขียนทับ

(เมื่อคุณเริ่มต้นดั้งเดิมด้วยค่าศูนย์ใน Kotlin พวกเขาในทางเทคนิคก็ไม่ได้เริ่มต้นเลย)

คุณสามารถสังเกตพฤติกรรม "overwrite" นี้ได้โดยเปลี่ยนลายเซ็นจาก

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

หากมีการใช้คุณสมบัติเหล่านี้ในตรรกะการกำหนดค่าเริ่มต้นคลาสพื้นฐาน (ไม่ว่าโดยตรงหรือโดยอ้อมผ่านการใช้งานสมาชิกแบบเปิดที่ถูกแทนที่) มันอาจนำไปสู่พฤติกรรมที่ไม่ถูกต้องหรือความล้มเหลวรันไทม์ เมื่อออกแบบคลาสพื้นฐานดังนั้นคุณควรหลีกเลี่ยงการใช้สมาชิกแบบเปิดในตัวสร้าง initializers คุณสมบัติและบล็อก init

UPD:

มีข้อผิดพลาดที่ทำให้เกิดความไม่สอดคล้องกันนี้ - https://youtrack.jetbrains.com/issue/KT-15642

เมื่อคุณสมบัติถูกกำหนดให้เป็นผลข้างเคียงของการเรียกฟังก์ชันเสมือนภายในตัวสร้าง super เครื่องมือเริ่มต้นจะไม่เขียนทับคุณสมบัติหากนิพจน์ initializer เป็นค่าเริ่มต้นของประเภท (null ศูนย์ดั้งเดิม)