覆盖成员和惰性 val

Question

我找到了this explanation，了解如何使用 lazy val 将覆盖的成员值传播到超类构造函数。不幸的是，这篇文章没有解释为什么会这样。

我知道非惰性值不能被分配两次，因此，在超级构造函数中没有可用的值，因为必须跳过超级类构造函数中的值分配才能不将变量锁定为另一个值。但是，println 语句（在超级构造函数中执行，即在分配新的惰性值之前）如何知道这个新值？我是否对执行顺序感到困惑？还是 println 只是在构造对象后才评估它的参数？

Answer 1

这很简单。您只需要注意所有字段和惰性字段都是 getter 方法。

val getter 返回private[this] 字段的值。 private[this] 字段赋值位于主构造函数中：

class Test {
  val field = 1
}

意思是这样的：

class Test {
  private[this] val _field: Int = _
  def field = _field

  {  // constructor
    _field = 1
  }
}

所以在构造函数field返回默认值之前。

lazy val 使用双重检查锁评估代码块，然后返回结果：

class Test {
  lazy val field = 1
}

意思是这样的：

class Test {
  private[this] val _field: Int = _
  @volatile private[this] val _flag: Boolean = _

  def field = {
    if (! _flag) {
      synchronized {
        if (! _flag) {
          _field = 1 // code block
          _flag = true
        }
      }
    }

    _field
  }
}

所以lazy val 没有构造函数，你会在构造函数之前和之后得到相同的结果。

您可以使用scalac -Xprint:mixin test.scala 进行检查。