请注意,自那时以来,该特定部分的JLS中的措词已发生重大变化。现在(JLS 11)显示:
15.9.5。匿名类声明:
匿名类永远不会是最终的(第8.1.1.2节)。
匿名类不是最终的事实与强制转换有关,尤其是强制转换操作符允许的缩小引用转换(第
5.5节)。在子类化中也很有趣,因为尽管匿名类是非最终的,但仍不能声明匿名类的子类,因为匿名类不能由extends子句命名(第8.1.4节)。
JLS 9中引入了这种措辞更改。匿名类的语义和问题中方法的行为基本上保持不变,目的是避免确切地引起该问题的混淆。
导致更改的票证上写着:
从1.3开始,javac的长期行为在大多数情况下一直 未 将类视为“最终”类。为了解决这种矛盾,应更改规范以准确反映参考实现。
具体来说,几乎不会在设置ACC_FINAL标志的情况下生成匿名类。我们不能在不影响某些序列化客户端的情况下改变这种长期行为(这是允许的,但是不必要地破坏了它)。而且,如果没有类文件对语言的修饰符进行编码的话,我们将无法忠实地实现Class.getModifers(承诺提供“
Java语言修饰符”)。
然而,这种变化 没有 真正改变语义在一定程度上,这也被记录在该票据为可接受的冲击:
更改影响法律程序集,因为它允许某些强制转换在当前规范下被视为非法(请参阅JDK-6219964)。但是,在JLS中搜索“最终”类的提及之后,我预计不会有任何其他影响,这意味着这是与源兼容的修复程序。



