子类初始化后抽象类可以工作吗？

Question

我使用的类比这更复杂，但我认为这个任意示例也可以。假设我有一个基本抽象类，它总是想将它的一个 Int 成员 foo 乘以 2。它并不关心值是什么，只要它是一个 Int。另外，假设我们不关心这种乘法何时发生，只要它发生在构造函数时间附近。最后，不允许将 foo 作为构造函数参数传入。它需要是被子类覆盖的类成员。

abstract class ExampleClass {
    abstract val foo: Int
    init {
        println("Here is foo times 2!: ${foo * 2}")
    }
}

class ChildClass : ExampleClass() {
    override val foo = 5
}

这显然行不通。父类首先被构造，因此在运行时会抛出错误，因为成员还没有被实例化。但是根据我的条件，我不介意 foo 的工作是否发生在子类被实例化之后。 父类有没有办法说“在我的孩子完成实例化后执行此操作”？还是我只需要妥协：

abstract class ExampleClass {
    abstract val foo: Int
    fun bar() {
        println("Here is foo times 2!: ${foo * 2}")
    }
}

class ChildClass : ExampleClass() {
    override val foo = 5
    init {
       bar()
    }
}

我所有的子类在初始化时都调用bar() 吗？这样做感觉不对，因为用 foo 完成的工作只会发生一次。

Answer 1

我相信答案是否定的，这是不可能的。

Kotlin 语言 documentation for class initialization 是这样说的：

[B]在基类构造函数执行时，派生类中声明或覆盖的属性尚未初始化。如果在基类初始化逻辑中使用了这些属性中的任何一个（直接或间接地，通过另一个覆盖的开放成员实现），则可能导致不正确的行为或运行时故障。因此，在设计基类时，应避免在构造函数、属性初始化程序和 init 块中使用开放成员。

abstract 属性本质上是 open，因此此处的建议也适用于您的情况：设计您的类以避免这种情况。

此外，我找不到任何回调样式的方法或任何其他方式来“挂钩”类初始化逻辑/流程并说“初始化完成后执行 foo()”。

Answer 2

这实际上是可能的，如果你在你的子类中使用一个 getter。

abstract class ExampleClass {
    abstract val foo: Int
    init {
        println("Here is foo times 2!: ${foo * 2}")
    }
}

class ChildClass : ExampleClass() {
    override val foo
    get() = 5
}

fun main() {
    val test = ChildClass()
}

试试here 和可变的here