java - 为什么在它是成员而不是变量时通过名称引用匿名内部类有效？

Question

抱歉，标题很血腥，我不知道如何用一行来描述这个问题。如果您有任何建议，我很乐意。

假设您有以下类(class):

public class SomeClass {
    // doesn't even need to be final, which is freaky
    Runnable memberRunnable = new Runnable() {
        public void run() {
            SomeOtherClass.someMethod(memberRunnable); // this works
        }
    }
    public void someMethod() {
        final Runnable varRunnable = new Runnable() {
            public void run() {
                SomeOtherClass.someMethod(varRunnable); // compiler error - "varRunnable" might not have been initialized
            }
        }
    }
}

为什么 memberRunnable 能够从 run() 内部访问自己，而 varRunnable 却不能？ AFAICS 这是完全相同的结构。

我知道，您显然可以改用 this。我只是想知道为什么编译器会在这两种情况之间产生差异，这两种情况看起来是一样的。还有为什么它认为 varRunnable 可能还没有被初始化，而很明显它在那个点上。

有人可能会争辩说，如果 Runnable 是一个类(它是一个接口(interface))，它的构造函数可能会尝试调用 run()，因此实际上会遇到一个场景引用未初始化的地方。然而，这也应该是 memberRunnable 的情况，但这种情况有效。

有趣的是，如果您使用类而不是Runnable，则不会发生任何变化，在这种情况下，上述情况(构造函数调用重写方法)实际上可能会发生。这意味着，在那种情况下，您可能会在运行时遇到“未初始化的字段”(虽然还没有尝试过)，这是相当愚蠢的，因为编译器应该防范这种情况。

Answer 1

Also why it thinks varRunnable might not have been initialized, when it's obvious that it is at that point.

不，变量(在一般情况下)不能保证在那个时候被初始化。

为了论证，假设 Runnable 是一个抽象类(而不是接口(interface))并且 Runnable 的构造函数调用了 this。运行()。由于 Runnable 的构建发生在赋值之前，这将导致在赋值发生之前访问 varRunnable。

换句话说，它会导致访问未初始化的局部变量。请注意，这比访问尚未显式初始化的字段更糟糕，因为局部变量未初始化为默认值。事实上，更糟糕的是，禁止访问未初始化的局部变量，而允许访问未明确初始化的字段，正如您刚刚发现的那样。 (将字段设置为 final 并不会改变这一点。Final 字段也有默认值，它们实际上可以在构造函数中更改(一次)。)

^{_{来源:我是一名 javac 开发人员。}}