方法本地类中的Java最终静态声明

Question

在方法内部声明局部内部类时，为什么包含最终的静态String或int是合法的，而包含其他对象却不合法？

例如：

class Outer {
void aMethod() {
    class Inner {
        final static String name = "compiles";
        final static int ctr = 10; // compiles
        final static Integer intThree = Integer.valueOf(3); // does not compile!
        final static obj objConst = new Object(); // does not compile!
    }

    Inner inner = new Inner();
}
}

编译时，得到以下信息：

InnerExample.java:6: inner classes cannot have static declarations
        final static Integer outer = Integer.valueOf(3);
                             ^
InnerExample.java:7: inner classes cannot have static declarations
        final static Object objConst = new Object();
                            ^

为什么要区分？是因为String是不可变的吗？如果是这样，Integer.valueOf（）也无效吗？

Answer 1

这是因为前两个静态成员分配给原始类型或String类型的编译时常量。

根据Java语言规范的第8.1.3节：

8.1.3。内部类和封闭实例

内部类不得声明静态成员，除非它们是常量变量（第4.12.4节），否则会发生编译时错误。

从4.12.4开始：

基本类型或String类型的变量是最终变量，并使用编译时常量表达式（第15.28节）进行了初始化，该变量称为常量变量。

编辑：

起初我发现这很令人惊讶。仔细考虑一下，此限制的一个优点是，无需担心何时初始化内部类的静态成员。您可以在包含类中移动内部类，而不必担心其静态成员的值将被更改。