java - 常规闭包内部如何工作？

Question

Java lambda 无法修改周围范围内的变量(不会关闭)。但为什么 Groovy 可以闭包呢？它的内部实现是怎样的？

例如，在这里，闭包为什么可以增加外部变量i？每次迭代都会创建一个内部对象吗？

for (int i = 0; i < n;) {
    { -> i++ }.run()
}

Answer 1

在本例中，i 被装箱在可变的 groovy 引用内。在 Java 中，设置 i 将更改此循环所在方法的局部变量。这就带来了一系列技术问题，即如果函数对象离开方法会发生什么。但在 groovy 中，i 驻留在堆上。

这个解释来 self 理解的字节码，你可以通过以下命令获得:

javap -c <name of closure class>

查看方法 doCall，首先查找仿函数的 CallSite 对象(由于 lambda 可以共享其类，因此调用站点基本上是捕获的局部变量的集合) )，并检索特定的 i:

10: getfield      #29                 // Field i:Lgroovy/lang/Reference;

如您所见，i的类型是groovy.lang.Reference。接下来，数字递增:

27: invokestatic  #51                 // Method org/codehaus/groovy/runtime/DefaultGroovyMethods.next:(Ljava/lang/Number;)Ljava/lang/Number;

之后，结果被加载回 groovy 引用:

42: invokevirtual #61                 // Method groovy/lang/Reference.set:(Ljava/lang/Object;)V

这类似于在 Java 中执行类似的操作:

for (AtomicInteger i = new AtomicInteger(); i.get() < n;) {
    ((Runnable) () ->  System.out.println(i.getAndIncrement())).run();
}

我使用 AtomicInteger 来表示驻留在堆上而不是局部变量槽中的可变 int。