在 init 块中如何处理被覆盖的属性？

Question

我试图理解为什么会抛出以下代码：

open class Base(open val input: String) {
  lateinit var derived: String

  init {
    derived = input.toUpperCase() // throws!
  }
}

class Sub(override val input: String) : Base(input)

当像这样调用这段代码时：

println(Sub("test").derived)    

它抛出异常，因为在调用 toUpperCase 时，input 解析为 null。我发现这个反直觉：我将一个非空值传递给主构造函数，但在超类的 init 块中它解析为空？

我想我对可能发生的事情有一个模糊的概念：由于input 既用作构造函数参数又用作属性，赋值在内部调用this.input，但this 没有完全初始化然而。真的很奇怪：在 IntelliJ 调试器中，input 正常解析（解析为值“test”），但是当我调用表达式评估窗口并手动检查 input 时，它突然为空。

假设这是预期行为，您建议改为做什么，即当需要初始化从同一类的属性派生的字段时？

更新： 我发布了两个更简洁的代码 sn-ps 来说明混淆的根源：

https://gist.github.com/mttkay/9fbb0ddf72f471465afc https://gist.github.com/mttkay/5dc9bde1006b70e1e8ba

Answer 1

原来的例子等价于下面的Java程序：

class Base {
    private String input;
    private String derived;

    Base(String input) {
        this.input = input;
        this.derived = getInput().toUpperCase();  // Initializes derived by calling an overridden method
    }

    public String getInput() {
        return input;
    }
}

class Derived extends Base {
    private String input;

    public Derived(String input) {
        super(input);    // Calls the superclass constructor, which tries to initialize derived
        this.input = input;  // Initializes the subclass field
    }

    @Override
    public String getInput() {
        return input;   // Returns the value of the subclass field
    }
}

getInput() 方法在 Sub 类中被重写，因此代码调用了 Sub.getInput()。此时，Sub 类的构造函数还没有执行，所以保存 Sub.input 值的后备字段仍然为空。这不是 Kotlin 中的错误；在纯 Java 代码中很容易遇到同样的问题。

解决方法是不覆盖该属性。 （我看过你的评论，但这并不能真正解释为什么你认为你需要覆盖它。）

Answer 2

混淆源于您为input 值（JVM 中的字段）创建了两个存储。一个在基类中，一个在派生类中。当您在基类中读取input 值时，它会在后台调用虚拟getInput 方法。 getInput 在派生类中被覆盖以返回其自己的存储值，该值在调用基构造函数之前未初始化。这是典型的“构造函数中的虚拟调用”问题。

如果您将派生类更改为实际使用超类型的属性，一切都会再次正常。

class Sub(input: String) : Base(input) {
    override val input : String
        get() = super.input
}