Scala 延迟特征初始化

Question

通常 trait 中的“memeber”定义为def variable:Type ，然后其他依赖variable的 memeber 使用lazy val来防止variable在初始化时为 null。

但是如果它是一段逻辑，例如 function 调用取决于variable仍然会抛出 null 异常。 就像下面的代码：

  trait A {

    def variable:Seq[String]

    if (variable.size > 3) // check
      println("too many strings")

  }


  case class B(vs:String*) extends A {
    override val variable: Seq[String] = vs
    //override def hi(): Unit = ???
  }

  val b = B("x", "y", "z")
  println(b)

这将抛出错误“A.variable() 为空”。

奇怪的是，如果我将变量写为给定的构造函数参数，错误就消失了。

  case class B(override val variable:String*) extends A {
    //override def hi(): Unit = ???
  }

我如何延迟“检查”以及为什么第二种情况不会引发异常？

Answer 1

这是早期初始化器的用例

case class B(vs: String*) extends {
  override val variable: Seq[String] = vs
} with A {
  //override def hi(): Unit = ???
}

在 Scala 中，什么是“早期初始化器”？

https://docs.scala-lang.org/scala3/reference/dropped-features/early-initializers.html