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

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

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

最佳答案

在方法中使用惰性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的私有(private)var。现在，j$1(为处理惰性val的检索和/或创建而创建的访问器方法)必须将这两个新创建的类作为参数(除了by-name函数之外)。

因此，尽管基 native 制相同，但实现细节却不同，并且效率要比您已经有另一个类来放置var的效率低。