为什么所有匿名类都是隐式最终的？

Question

根据 JLS 的说法：

15.9.5 匿名类声明 匿名类声明是通过以下方式自动从类实例创建表达式派生的： 编译器。

匿名类从来都不是抽象的（第 8.1.1.1 节）。匿名类是 始终是内部类（第 8.1.3 节）；它永远不是静态的（§8.1.1，§8.5.2）。 匿名类始终是隐式最终的 (§8.1.1.2)。

这似乎是一个特定的设计决定，所以它很可能有一些历史。

如果我选择这样的类：

SomeType foo = new SomeType() {
    @Override
    void foo() {
        super.foo();
        System.out.println("Hello, world!");
    }
};

如果我这样选择，为什么不允许我再次对其进行子类化？

SomeType foo = new SomeType() {
    @Override
    void foo() {
        super.foo();
        System.out.println("Hello, world!");
    }
} {
    @Override
    void foo() {
        System.out.println("Hahaha, no super foo for you!");
    }
};

我并不是说我一定想要，或者甚至可以想到我会这样做的理由。但我很好奇为什么会这样。

Answer 1

好吧，能够子类化匿名类是毫无用处的。您能够引用匿名类的唯一位置是在定义它的语句中（如假设的伪代码示例所示）。这意味着程序将保证永远不会创建匿名超类的任何实例，并且智能编译器应该能够将两个定义折叠到一个类中。

更实际的是，当一个类是最终类时，编译器和虚拟机可以自由地在调用站点内联其方法。因此，在任何自然不可能扩展给定类的情况下，使此类类本质上是最终的是有意义的。