scala - 如何从子类型中的特征初始化值？

Question

如果我写:

trait T {
  val t = 3
  val u = 1::t::Nil
}

class U extends T {
  override val t = 2
}

(new U).u

它显示了这一点。

List(1, 0)

我应该如何更改上面的代码以使其显示以下内容:

List(1, 2)

即 override val t设置 t 的值为 u在性状 T ?

Answer 1

一种方法是延迟对 u 的评估。通过使用 def或 lazy val如下:

trait T {
  def t = 3
  def u = 1::t::Nil
}

class U extends T {
  override def t = 2
}

(new U).u

或者

trait T {
  val t = 3
  lazy val u = 1::t::Nil
}

class U extends T {
  override val t = 2
}

(new U).u 

区别如下:

val在初始化期间对表达式求值

def每次都对表达式求值 u使用

lazy val使其在第一个 u 上进行评估使用和缓存结果