scala - Scala 的局部惰性变量是如何实现的？

Question

如果它们是类变量，则有一个问题询问 s 的实现。lazy val如何实现局部变量，例如

def foo[A](a: => A) = {
  lazy val x: A = a
  // return something that uses x
}

Answer 1

在方法中使用惰性 val 的效率有点低。原因是您实际上不能嵌套函数，因此名义上分配在堆栈上的惰性位实际上需要放在堆上。所以你必须至少创建一个额外的对象，而 Scala 实际上创建了两个。

class Baz{
  def baz(i: => Int, b: Boolean) = {
    lazy val j = i
    if (b) j else 0
  }
}

变成，除其他外

public int baz(scala.Function0, boolean);
  Code:
   0:   new #12; //class scala/runtime/IntRef
   3:   dup
   4:   iconst_0
   5:   invokespecial   #16; //Method scala/runtime/IntRef."<init>":(I)V
   8:   astore_3
   9:   new #18; //class scala/runtime/VolatileByteRef
   12:  dup
   13:  iconst_0
   14:  invokespecial   #21; //Method scala/runtime/VolatileByteRef."<init>":(B)V
   17:  astore  4
   19:  iload_2
   20:  ifeq    34
   23:  aload_0
   24:  aload_1
   25:  aload_3
   26:  aload   4
   28:  invokespecial   #25; //Method j$1:(Lscala/Function0;Lscala/runtime/IntRef;
                                               Lscala/runtime/VolatileByteRef;)I
   31:  goto    35
   34:  iconst_0
   35:  ireturn

看到和的IntRef创建VolatileByteRef？这些代替了通常只是处理惰性 val 的私有变量。现在j$1，为处理惰性 val 的检索和/或创建而创建的访问器方法必须将这两个新创建的类作为参数（除了 by-name 函数）。

因此，虽然底层机制是相同的，但实现细节是不同的，并且效率低于如果你已经有另一个类来粘贴变量。