显示不正确修饰符的匿名内部类

Question

据我所知，以下代码应该已打印为输出true。

但是，当我运行此代码时，它正在打印false。

来自匿名类15.9.5的Java文档：

匿名类总是隐式最终的

public class Test {
    public static void main(String args[]) {
        Object o = new Object() {
        };
        System.out.println("Annonymous class is final: " + Modifier.isFinal(o.getClass().getModifiers()));
    }
}

为什么这个代码会这样？

Answer 1

匿名类被认为是隐式的final，因为您不能创建它们的子类。这并不意味着修饰符。应该为匿名类设置FINAL修饰符。

Answer 2

匿名类永远不会是最终类（§8.1.1.2）。

JLS 11-15.9.5。匿名类声明

我不知道这背后的原因，但是，根据@Hulk的回答和这个bug报告，以前版本的规范似乎稍微误导了我们，说匿名类是最终的。

Answer 3

请注意，自那时以来，JLS这一特定部分的措辞发生了重大变化。现在（JLS 11）写道：

15.9.5。匿名类声明：

匿名类永远不是最终类（§8.1.1.2）。

_{匿名类不是final这一事实与cast相关，特别是cast运算符允许的缩小引用转换（§5.5）。子类化也很有趣，因为尽管匿名类是非最终类，但不可能声明匿名类的子类，因为匿名类不能用extends子句命名（§8.1.4）}

JLS 9中引入了这一措辞变化。匿名类的语义和问题中方法的行为基本上保持不变，目的是避免与这个问题有关的那种混淆。

导致改变的票证上写着：

自1.3以来，javac的长期行为在很大程度上不是将类视为“final”。为了解决这种不一致性，应修改规范以准确反映参考实现。

具体来说，匿名类几乎从不使用ACC_FINAL标志集生成。我们无法在不影响某些序列化客户端的情况下更改这种长期行为（这是允许的，但会造成不必要的破坏）。我们不能忠实地实现类。getModifiers（promise提供“Java语言修饰符”）没有编码语言修饰符的类文件。

然而，这种变化确实在某种程度上改变了语义学，这也被记录在这张票中，作为一种可接受的影响：

该更改影响了合法程序集，因为它允许一些在当前规范下被视为非法的强制转换（参见JDK-6219964）。但是，在搜索了JLS中提到的“final”类之后，我没有预料到任何其他影响，这意味着这是一个源代码兼容的修复程序。