Question

Scala允许关闭

def newCounter = {
  var a=0
  () => {a+=1;a}
}

定义了一个函数，该函数在每次调用时返回一个从1开始的新的独立计数器函数：

scala> val counter1 = newCounter
counter1: () => Int = <function0>

scala> counter1()
res0: Int = 1

scala> counter1()
res1: Int = 2

scala> val counter2 = newCounter
counter2: () => Int = <function0>

scala> counter2()
res2: Int = 1

scala> counter1()
res3: Int = 3

这非常令人印象深刻，因为通常a将代表newCounter堆栈帧上的内存地址。我刚刚阅读了“Scala编程”的封闭章节，并且在此事上只有以下内容（第155页）：

Scala编译器在这种情况下重新排列事物，以便捕获的参数在堆上而不是堆栈中存活，因此可以比创建它的方法调用更长。这种重新安排都是自动处理的，所以你不必担心它。

任何人都可以详细说明它在字节码级别上的工作原理吗？访问类似于具有所有相关同步和性能影响的类的成员变量吗？

Answer 1

您可以使用scalac -Xprint:lambdalift <scala-file-name>对此进行调查。

您的代码实际上是这样的：

def newCounter = {
  val a: runtime.IntRef = new runtime.IntRef(0);
  new Function0 {
    private[this] val a$1 = a
    def apply() = {
      a$1.elem = a$1.elem + 1
      a$1.elem
    }
  }
}

lambda使用的任何var都有一个包装器。其他vars（未在闭包中使用）是常见的区域设置变量。

此包装器的链接存储在函数实例的字段中。

lambdalift中的{p> -Xprint:lambdalift是compiler phase。您可以使用-Xshow-phases获取所有阶段。您可以使用阶段编号而不是名称，当您不确定需要哪个阶段时，它会很有用。

Scala中的闭包内存管理如何工作？

1 个答案: