java - 嵌套枚举是静态的？

Question

阅读时this question ，我打开我的编辑器尝试一些代码示例来验证和理解它。以下是我的代码:

public enum EnumImpl {

    B {
        public void method() {
            System.out.println(s); //(1)non-static variable s cannot be referenced from a static context
        }
        public static int b;  //(2)Illegal static declaration in inner class
    };

    private int s;
}

但是编译上层代码让我更加迷茫。

• 第一个错误来自上面的问题表明 B 实际上属于静态类。所以在method中，它是一个静态上下文。
• 相比之下，第二个错误表明这是一个内部类——非静态嵌套类 java doc说。
• 以下是我从 JLS 中引用的一行, 但它似乎有点困惑和模糊。

  A nested enum type is implicitly static.

• B的匿名合成类字节码如下:

  final class enum_type.EnumImpl$1 extends enum_type.EnumImpl {
    enum_type.EnumImpl$1(java.lang.String, int);
      Code:
        0: aload_0
        1: aload_1
        2: iload_2
        3: aconst_null
        4: invokespecial #1                  // Method enum_type/EnumImpl."<init>":(Ljava/lang/String;ILenum_type/EnumImpl$1;)V
        7: return
  
    public void method();
      Code:
        0: return
  }
  

那么B的类是不是静态的？

@Lew Bloch 似乎在说它像下面这样(行为与上面的枚举示例相匹配，但如果这是真的，那么链接问题的答案在某种意义上是错误的)。

abstract class Cmp {    
    private int s;
    static {
        class Bclass extends Cmp {
            public void method() {
//                System.out.println(s);
            }
//            private static int b;
        }
    }
}

Answer 1

您对 method() 的声明位置错误。你在常量体中声明它。但它不会覆盖任何东西。它属于枚举体，而不是实例体。

实例子类型在枚举常量的静态初始值设定项中声明。由于上下文是静态的，它无法访问枚举实例变量。

你的枚举声明不是静态的，它是顶级的，顶级类不能是静态的。

常量主体定义枚举的隐式嵌套匿名子类，并不构成 JLS 所指的嵌套枚举。每个常量都是您声明的枚举的不同匿名子类型，该子类型不是静态的。但是，子类型是在静态上下文中声明的，因此这就是代码无法访问实例变量的原因。

编辑:来自 JLS 的有用引用

https://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.9.1“枚举常量的可选类主体隐式定义了一个匿名类声明(§15.9.5)，它扩展了直接封闭的枚举类型。类主体受匿名类的通常规则约束；特别是它不能包含任何构造函数。只有在这些类主体中声明的实例方法覆盖了封闭枚举类型中的可访问方法(§8.4.8)，才可以在封闭枚举类型之外调用它们。”

https://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.9.5“匿名类声明是由 Java 编译器从类实例创建表达式自动派生的。匿名类从不抽象(§8.1.1.1)。匿名类始终隐式最终(§8.1.1.2)。匿名类是始终是内部类(§8.1.3)；它永远不是静态的(§8.1.1、§8.5.1)。”