Scala的懒惰val的（隐藏）成本是多少？

Question

Scala的一个便捷功能是lazy val，其中a的求值val被延迟到必要时（首次访问时）。

当然，lazy val必须有一些开销-Scala必须跟踪某个值是否已经被评估以及评估是否必须同步，因为多个线程可能会尝试同时首次访问该值。

-的确切成本是多少lazy val-是否存在与boolean关联的隐藏布尔标志lazy val以跟踪是否已被评估，确切地同步了什么，还有更多成本吗？

另外，假设我这样做：

class Something {

    lazy val (x, y) = { ... }

}

这与拥有两个单独的lazy vals 是相同的x，y或者对于该对我仅获得一次开销(x, y)吗？

Answer 1

这是从scala邮件列表中获取的，并lazy根据Java代码（而非字节码）提供了实现细节：class LazyTest {  lazy val msg = "Lazy"}被编译为等效于以下Java代码的内容：class LazyTest {  public int bitmap$0;  private String msg;  public String msg() {    if ((bitmap$0 & 1) == 0) {        synchronized (this) {            if ((bitmap$0 & 1) == 0) {                synchronized (this) {                    msg = "Lazy";                }            }            bitmap$0 = bitmap$0 | 1;        }    }    return msg;  }}

Answer 2

使用Scala 2.10，像这样的惰性值：class Example {  lazy val x = "Value";}被编译为类似于以下Java代码的字节代码：public class Example {  private String x;  private volatile boolean bitmap$0;  public String x() {    if(this.bitmap$0 == true) {      return this.x;    } else {      return x$lzycompute();    }  }  private String x$lzycompute() {    synchronized(this) {      if(this.bitmap$0 != true) {        this.x = "Value";        this.bitmap$0 = true;      }      return this.x;    }  }}请注意，位图由表示boolean。如果添加另一个字段，则编译器将增加该字段的大小，使其能够表示至少2个值，即表示为byte。这仅适用于大量课程。但是您可能想知道为什么这可行？进入同步块时，必须清除线程本地缓存，以便将非易失性x值刷新到内存中。这篇博客文章给出了解释。