静态上下文中的本地类实例创建表达式

Question

JLS 15.9.2告诉我们如何确定封闭实例：让C成为被实例化的类，让i成为被创建的实例。

如果C是一个内部类，那么我可能有一个直接封闭的实例（§8.1.3），确定如下：

[...]

如果C是本地类，则：

>

如果C出现在静态上下文中，则i没有立即包含的实例。

否则，如果类实例创建表达式发生在静态上下文中，则会发生编译时错误。

否则，设O为C的直接封闭类。设n为整数，使得O为类实例创建表达式出现的类的第n个词汇封闭类型声明。

i的紧接封闭实例是this的第n个词汇封闭实例。

我不明白黑体字的意思。让我举一个我不应该被编译的例子：

class A{
    int a;
    public static void main (String[] args) throws java.lang.Exception{
        class Foo{
            void bar(){
            }
        }
        Foo f = new Foo(); //Instance creation expression occured in the static context
    }
}

演示

怎么了？你不能提供一个实际的例子来描述第二点吗？

Answer 1

我猜下面的例子是指：

public class A {

   public class B { /* ... */ }

   public static void createB() {
      new B();  // <<=== This should fail
   }
}

标记的行应该失败，因为内部类B不是静态的，所以它需要一个封闭的实例。没有这样的封闭实例，因为方法createB（）是静态的。

更新：我误解了关于内部类的问题，这就是我的例子所展示的。在本地类的上下文中，我也不能解释留档。

Answer 2

你应该读这两行：

>

如果C出现在静态上下文中，则i没有立即包含的实例。

否则，如果类实例创建表达式发生在静态上下文中，则会发生编译时错误。

您的案例是第一个案例-您在静态上下文中定义了类Foo（main方法），因此实例f没有封闭实例。

但是，如果您在main方法之外定义类Foo，并尝试在main方法中创建Foo的实例，则会出现错误，除非将Foo更改为静态类。

class A
{
    int a;
    class Foo
    {
        void bar()
        {
        }
    }
    public static void main (String[] args) throws java.lang.Exception
    {
        Foo f = new Foo(); // this should fail
    }
}