Java如何实现内部类闭包？

Question

在Java中，匿名内部类可以在其局部范围内引用变量：

public class A {
    public void method() {
        final int i = 0;

        doStuff(new Action() {
            public void doAction() {
                Console.printf(i);   // or whatever
            }
        });
    }
}

我的问题是这实际上如何实施？如何实现i匿名内部doAction实现，为什么必须如此final？

Answer 1

编译器会自动为您的匿名内部类生成一个构造函数，并将您的局部变量传递给该构造函数。

构造函数将此值保存在也称为的类变量（字段）中，该变量i将在“闭包”中使用。

为什么它必须是最终的？好吧，让我们探讨一下它不在的情况：

public class A {
    public void method() {
        int i = 0; // note: this is WRONG code

        doStuff(new Action() {
            public void doAction() {
                Console.printf(i);   // or whatever
            }
        });

        i = 4; // A
        // B
        i = 5; // C
    }
}

在情况A中i，Action还需要更改字段，我们假设这是可能的：它需要对Action对象的引用。

假设在情况B中此实例Action是垃圾回收的。

现在处于情况C：它需要一个实例Action来更新其类变量，但该值已被GCed。它需要“知道”它已被GC，但这很难。

因此，为了使VM的实现更加简单，Java语言设计人员曾说过，它应该是最终的，这样VM不需要一种方法来检查对象是否消失，并保证不修改变量，并且VM或编译器不必在匿名内部类及其实例中保留对变量的所有用法的引用。