当子类使用val实现它时，超类中的Scala抽象方法为null？

Question

我在我的 scala 代码中发现了一个错误，这让我很困惑。以下是问题的简化版本。

在抽象类的构造函数中，我想检查一些关于抽象方法的断言。 因此，当创建子类的对象时，会检查这些断言，以查看是否所有都按应有的方式实现。

但是，当子类使用“val”实现抽象方法时会出错：

Scala 代码：

abstract class A {
    def aval : String
    assert(aval != null, "aval == null")
    assert(aval == "B", "aval: "+aval)
}

class B extends A {
    def aval = "B"
}

class C extends A {
    val aval = "B"
}

object VariousScalaTests {
    def main(args : Array[String]) : Unit = {
        val b = new B
        val c = new C
    }
}

Scala 错误：

Exception in thread "main" java.lang.AssertionError: assertion failed: aval == null
    at scala.Predef$.assert(Predef.scala:92)
    at A.<init>(VariousScalaTests.scala:4)
    at C.<init>(VariousScalaTests.scala:12)
    at VariousScalaTests$.main(VariousScalaTests.scala:19)
    at VariousScalaTests.main(VariousScalaTests.scala)

所以它在最后一行代码失败：“val c = new C”。 B 类完美运行，但 C 类不行！唯一的区别是C使用“val”实现aval，B使用“def”实现。

所以我的问题是，最重要的是，为什么会有这种差异？我不明白发生了什么。

有没有办法让它在 scala 的两种情况下都能按我的意愿工作？还是我只是错过了一种更优雅的方式来在 scala 中断言我想要的东西？

Answer 1

在 Scala 中，您可以使用早期定义功能在调用超级构造函数之前初始化子类的 val：

class C extends {
  val aval = "B"
} with A

Answer 2

这个等效的 Java 代码应该可以解释问题：

public abstract class A {
    public String aval();
}

public class B extends A {
    public String aval() {
        return "B";
    }
}

public class C extends A {
    private String _aval;

    public C() {
        _aval = "B";
    }

    public String aval() {
        return _aval;
    }
}

当你跑步时

val c = new C

A 的构造函数运行在C 的构造函数之前，_aval 字段尚未分配。所以aval()方法返回null（_aval字段的初始值）。但是在

val b = new B

不存在这样的问题。

一般情况下，you should try to avoid calling virtual methods from a constructor.

有没有办法让它在 scala 的两种情况下都按我的意愿工作？

有关一些方法，请参阅this question。