内部类允许静态字段和非常数静态表达式——为什么？

Question

根据JLS：

内部类是不是显式或隐式声明为静态的嵌套类。内部类不能声明静态初始值设定项或成员接口。

但我下面的代码编译成功。

class A {
    interface B { 
        class C { // Inner class having static variables.
            static int d; // Static variable
            static {
            }
        }
    }
}

有人能帮我理解这种行为吗

Answer 1

您可以在接口内定义一个类。在接口内部，内部类是隐式的公共静态的。...接口可能包含成员类型声明 接口中的成员类型声明是隐式静态的和公共的。

因此，我们不能将非静态成员声明为静态块、静态方法或静态类。

Answer 2

嵌套接口是隐式静态的，它们本身没有非静态的上下文，这就是为什么C是隐式静态的。

Answer 3

找到相同的 JLS 规范：

8.5.2-“成员接口始终是隐式静态的”

9.5 - “接口可能包含成员类型声明 （§8.5）。接口中的成员类型声明是隐式静态和公共的”

这意味着上面的代码在道德上等同于（隐式修饰符用大写字母编写）：

class A {
    STATIC interface B {
        PUBLIC STATIC class C { //It's a static class - that's why static members are legal (like a toplevel class but nested)
            static int d; //Static variable
            static {} //Static initializer

        }
    }
}