Question

我尝试在特征中使用抽象val来初始化另一个值。我得到了NullPointerException。我将这种行为归结为一个最小的测试用例：

trait MessagePrinter {
  val message: String
  println(message)
}

class HelloPrinter extends MessagePrinter {
  val message = "Hello World"
}

val obj = new HelloPrinter()
println(obj.message)

这个小程序产生以下结果：

null
Hello World

我的印象是val可能永远不会改变。这是预期的行为还是编译器错误？如何解决此问题并在初始化期间打印Hello World？

Answer 1

根据Scala specification的第5.1节，首先初始化超类。即使vals通常无法重新实例化，它们也会在构造期间以默认初始值开始。您可以使用def，它具有不同的语义：

trait MessagePrinter {
   def message: String
   println(message)
}

class HelloPrinter extends MessagePrinter {
   def message = "Hello World"
}

或者你可以考虑改变这样的事情：

class HelloPrinter extends { val message = "Hello World" } with MessagePrinter

在这种情况下，按顺序评估超类，以便MessagePrinter初始化应该按照需要工作。

Answer 2

在这两种情况下都应该使用def。

描述此行为的其中一个来源是“Scala Puzzlers”Puzzler 4：

以下规则控制初始化和覆盖行为   vals：


超类在子类之前完全初始化。

会员按照宣布的顺序进行初始化。

当覆盖val时，它仍然只能初始化一次。

与抽象val一样，在构造超类时，重写的val将具有默认的初始值。

如何初始化子特征中的特征值？

2 个答案: