为什么内部类不能使用静态初始化器？

Question

QJLS #8.1.3:

内部类不能声明静态初始化器 (§8.7)......

证明如下：

class A {
    class B {
        static { // Compile-time Error: Cannot define static initializer in inner type A.B
            System.out.println("Class is initializing...");
        }
    }
}

既然 Java 的内部（非静态）类像其他所有类一样由 class loaders 加载，为什么我们不能为它们使用静态初始化程序？

造成这种限制的原因是什么？

Answer 1

我认为这是因为 Inner 类本身是非静态的。从 Java 的角度来看，它是一个实例变量，我认为⁽¹⁾ 类加载器并非旨在爬入内部非静态类以查找和初始化潜在静态对象。

但这不是不可能的问题，看下面的例子：

public class Outer {
    public static class Inner {
        Outer owner;
        static String constant;

        {
            constant = "foo";
        }

        private Inner(Outer owner) {
            if (owner == null) {
                throw new NullPointerException();
            }
            this.owner = owner;
        }
    }

    public Inner newInner() {
        return new Inner(this);
    }
}

甚至没有警告，因为 Inner 被声明为静态的。

但仔细一看，它有一个指向封闭Outer实例的指针，只能通过Outer创建，因为它只有一个私有构造函数，并且它的所有者不能为空。从程序员的角度来看，它具有非静态内部类的所有约束，可以像一个一样使用（除了像Outer.this 这样的特殊习惯用法），但从编译器的角度来看，它是静态的，它的静态字段将首先被正确初始化Outer类初始化。

(1) : Pacerier 在下面的评论中解释了为什么这是不正确的。

Answer 2

无效使用

只是我的意见，不胜感激争论/辩论

请阅读以下主题。

This explains, Why does Java prohibit static fields in inner classes

IMO 同样的原因也适用于static initializer。毕竟，造成问题的是关键字static。

除了上面帖子中解释的原因，我可以再给出一个蹩脚的理由。
块的名称static initializer 提示我们何时以及为何使用此块。不能简单地使用静态初始化程序块来打印 hello world [在此处插入 meme]。
使用这个块的主要原因显然是初始化静态变量。

现在作为内部类/非静态嵌套类不允许静态变量，允许静态初始化器有什么意义？

Answer 3

根据定义存在矛盾：

来自JLS §8.1.3：

一个语句或表达式出现在静态上下文中当且仅当 最里面的方法，构造函数，实例初始化器，静态 初始值设定项、字段初始值设定项或显式构造函数调用 包含语句或表达式的语句是静态方法， 静态初始化器，静态变量的变量初始化器，或 显式构造函数调用语句（第 8.8.7 节）。

...

当一个内部类（其声明不出现在静态 context) 指的是一个实例变量，它是 词法封闭类，对应词法的变量 使用封闭实例。