为什么 javac 允许“new CLS().new InnerCLS()”编译？

Question

考虑以下片段：
（我在检查一些反编译的类文件时遇到了这个语法，这是一个最小的表示）

public class Main {
    public static void main(String[] args) {
        Main.Inner o = new Main().new Inner() {};

        System.out.println("Bye from " + o.getClass());
    }

    class Inner {}
}

这编译并运行良好（我测试了一堆 JDK）。
有人可以解释一下这是如何编译的以及这段代码代表什么吗？

这段代码创建了 3 个类：

1. Main - This creates the following code (I removed the irrelevant parts):   
    new Main$1
    dup
    new Main
    dup
    invokespecial Method Main <init> ()V
    dup
    invokevirtual Method java/lang/Object getClass ()Ljava/lang/Class;
    pop
    invokespecial Method Main$1 <init> (LMain;)V

Why is it calling getClass (the result is popped anyway)?

2. Main$Inner - This class looks like as would expect an inner class to look

3. Main$1 - This creates the following class (I removed the irrelevant parts):
    final class Main$1 extends Main$Inner 
    method <init> : (LMain;)V 
    aload_0
    aload_1
    dup
    invokevirtual Method java/lang/Object getClass ()Ljava/lang/Class;
    pop
    invokespecial Method Main$Inner <init> (LMain;)V
    return

Again, why is it calling getClass (the result is popped anyway)?

顺便说一句，它可以像这样进一步嵌套：

public class Main {
    public static void main(String[] args) {
        Object o = new Main().new Inner1().new Inner2().new Inner3() {};

        System.out.println("Bye from " + o.getClass());
    }

    class Inner1 {
        class Inner2 {
            class Inner3 {
            }
        }
    }
}

Answer 1

这就是实例（非静态）内部类的工作方式。 您需要一个外部类的实例来实例化内部类的实例。 这是另一个例子：

var outer = new Outer();
var inner = outer.new Outer.Inner();

看：

• Java™ 教程：嵌套类

Answer 2

内部类必须使用指向外部类的this指针进行实​​例化。

语法outer.new Inner()是实现这一点的一种方式（ Inner的新实例将把outer的值作为outer.this 引用。

这相当于在 Main 类中有一个非静态方法：

class Main {

    Inner makeInner() {
        /// "this." is implied here, but it is there.
        return new Inner();
    }
    class Inner {
    }
}