为什么静态上下文中的匿名类有效

Question

我对Java中的匿名类有一个误解。考虑下面的简单例子：

public static void main (String[] args) throws java.lang.Exception
{
    B b = new B(){ };
    System.out.println(b.b);
}

interface B{ int b = 1; }

演示

代码为什么编译？JLS，第15章说：

匿名类总是一个内部类（§8.1.3）；它从来不是静态的

但是JLS，第8章

内部类是没有显式或隐式声明为静态的嵌套类。

所以匿名类是一个内部类。但是我们在静态上下文中使用它们。为什么这里是正确的？

Answer 1

B是一个内部接口。因此，B是隐式静态的，您可以在静态上下文中引用B。（来自JLS 8.5.1：成员接口是隐式静态的（§9.1.1）。）

但是通过B创建的匿名类不是静态的，如果从非静态上下文引用，您可以访问外部对象：

public class Main{

    public static void main(String[] args) throws java.lang.Exception {
        B b = new B() {

            @Override
            public Ess3 getParent() {
                //return Ess3.this;  ERROR : non static variable cannot be referenced from static context
                return null;
            }
        };
        System.out.println(b.b);
    }

    interface B {

        int b = 1;
        Ess3 getParent();
    }

    /* a non static method */
    void foo() {
        B b = new B() {

            @Override
            public Ess3 getParent() {
                return Ess3.this; // this anonymous class is not static
            }

        };

    }
}

在您的示例中，您可以认为您创建了一个静态匿名内部类，因为您创建了它：

• 从静态嵌套接口
• 在静态上下文中-因此无法访问外部对象

但非静态上下文中的同一声明证明了静态嵌套接口创建了非静态匿名类

Answer 2

你应该区分匿名类和内部类

使用此语句，您创建了一个实现接口B的类。该类没有名称，因此称为匿名类。javac编译将创建一个具有以下命名规则的类文件YourClass$1.class（其中1是一个顺序数字，基于YourClass中匿名类的数量。

B b = new B(){ };

由new B(){ }创建的类不能声明为静态。（匿名类总是一个内部类（§8.1.3）；它从来不是静态的）。

静态嵌套类示例

class YourClass {
    static class StaticNestedClass {
    }
}

非静态嵌套类示例

class YourClass {
    // An inner class is a nested class that is not explicitly or implicitly declared static.
    class InnerClass {
    }
}

嵌套类有两种类型：静态类和非静态类。声明为静态的嵌套类称为静态嵌套类，而未声明为静态的嵌套类称为内部类。

Answer 3

可以在静态上下文中创建一个类，而不必声明为静态的，这就是这里发生的事情。让我们看一下声明为静态，并在静态上下文中创建意味着什么：

在静态上下文和非静态上下文中创建的匿名类之间的区别在于它是否具有封闭实例：

如果C是一个匿名类，那么：

>

否则，立即封闭的i实例就是这个。

声明为静态的嵌套类允许静态成员：

内部类是没有显式或隐式声明为静态的嵌套类。

根据Java编程语言的常规规则，非内部类的嵌套类可以自由声明静态成员。

通过说一个嵌套类是“隐式声明静态的”，它指的是接口中的类：

接口的成员类是隐式静态的（§9.5），因此永远不会被认为是内部类。

匿名类不是声明为静态的（既不是显式地使用关键字，也不是隐式地（例如在接口内部），因此不允许声明静态成员。但是，它们可以在静态上下文中创建，这意味着它们不引用封闭实例。

因为匿名类不是声明为静态的，所以问题中的两个引号是一致的。