为什么对父构造函数的调用不是编译器为内部类生成的构造函数中的第一个调用？

Question

考虑以下Test类来演示Java中的内部类行为。主代码在run方法中。其余的只是管道代码。

 public class Test {

        private static Test instance = null;

        private Test() {
        }

        private void run() {
            new Sub().foo();  
        }

        public static void main(String[] args) {
            instance = new Test();
            instance.run();
        }

        class Super {
            protected void foo() {
                System.out.println("Test$Super.Foo");
            }
        }

        class Sub extends Super {
            public void foo() {
                System.out.println("Test$Sub.Foo");
                super.foo();
            }
        }
    }

我只是打印下面的javap输出隐藏的子构造函数：

so.Test$Sub(so.Test);
    Code:
       0: aload_0       
       1: aload_1       
       2: putfield      #1                  // Field this$0:Lso/Test;
       5: aload_0       
       6: aload_1       
       7: invokespecial #2                  // Method so/Test$Super."<init>":(Lso/Test;)V
  10: return   

通常情况下，编译器确保子类构造函数在初始化自己的字段之前首先调用超类构造函数。这有助于正确构造对象，但我发现编译器为内部类生成的构造函数与规范行为不符。为什么会这样？是否由JLS指定？

附言：我知道内部类包含对外部类的隐藏引用，该引用在上面的javap输出中设置。但问题是为什么在调用超级构造函数之前设置它。我错过了什么？

Answer 1

内部类是一种抽象，对Java程序员来说应该尽可能透明。考虑下面的类结构，并考虑如果在调用内部类的超级构造函数之后设置< <代码> $字段会发生什么。

class Foo {
  Foo() { System.out.println(foo()); }

  String foo() { return "foo"; }
}

class Bar {
  String bar() { return "bar"; }

  class Qux extends Foo {
    @Override 
    String foo() { return bar(); }
  }
}

注意类Qux中被重写的方法如何调用其外部类Bar的方法。要使其工作，必须在调用Foo的超级构造函数之前设置保存条实例的$this字段。否则，由于字段尚未初始化，您将得到一个NullPointerException。为了更清楚地说明这一点，请查看Qux实例的任何实例的以下调用链：

Qux() -> Foo() -> this.foo() -> $this.bar()

作为一个不熟悉内部类实现的程序员，您会想知道这个异常是从哪里来的。为了使内部类抽象透明，您必须首先设置字段，否则您将陷入一个非常漏洞百出的抽象。我不认为这使上述示例成为一个很好的实现，但它是合法的。