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

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();
            }
        }
    }

我只是在隐藏的 Sub 构造函数的 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   

通常，编译器会确保子类构造函数在继续初始化其自己的字段之前首先调用父类(super class)构造函数。这有助于正确构造对象，但在编译器为内部类生成的构造函数的情况下，我看到了与规范行为的偏差。为什么这样？是JLS指定的吗？

P.S:我知道内部类包含对外部类的隐藏引用，并且在上面的 javap 输出中设置了该引用。但问题是为什么在调用 super 构造函数之前设置它。我错过了什么？

Answer 1

内部类是一种抽象，应该对 Java 程序员尽可能透明。考虑下面的类结构，想一想如果仅在调用内部类的 super 构造函数后设置 $this 字段会发生什么情况。

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 的 super 构造函数之前设置包含 Bar 实例的 $this 字段。否则，您将以 NullPointerException 结束，因为该字段尚未初始化。为了更清楚地说明这一点，请查看以下 Qux 实例的任何实例化的调用链:

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

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