なぜjavaでfinal class A{abstract class B{}}が許されるのか - Qiita

final class A { static abstract class B{String str="hoge";} } public class Main { public static void main(String...args) { System.out.println(new A_B().str); //System.out.println(new A.B(){}.str); (匿名クラス)でも別に良い } } class A_B extends A.B{} もし具体クラスが抽象内部クラスを持てなかったら 一見矛盾する仮定ではありますが、「マクロ(全体)に多様性を認めたくないが、ミクロ(細部)に多様性を認めたい」という場合を考えます。 このような仮定は統計力学など、ミクロとマクロの関連を考えるとき役立ちます。 例えばAir(空気)クラスとMolecule(分子)クラスを作った