私の質問では、第 3 版の Java 言語仕様を参照しています。交差型 (§ 4.9) の仕様によると、交差型int[](またはint[] & int[]) は、空の本体と直接のスーパークラスを持つクラス型と同じメンバーを持つことになりますint[]。しかし、私が仕様を理解している方法では、§8 で次のように説明されているため、クラス型はスーパー型として配列型を持たない場合があります。
オブジェクトを除く各クラスは、単一の既存のクラスの拡張 (つまり、サブクラス) であり (§8.1.4)、インターフェースを実装する場合があります (§8.1.5)。
理解が間違っているのでしょうか、それとも仕様に矛盾があるのでしょうか?