Javaが内部インターフェイスの継承を禁止するのはなぜですか？

Question

I.e.次の「循環依存」はなぜできないのですか？

public class Something implements Behavior { 
    public interface Behavior { 
     // ... 
    } 
} 

インターフェイスは外部クラスを参照しないため、これは許可する必要があります。しかし、コンパイラはクラス外のインタフェースを定義するように強制しています。この動作について論理的な説明はありますか？

Answer 1

関連ルール：

http://java.sun.com/docs/books/jls/third_edition/html/classes.html#8.1.4

クラスTは、いずれかのスーパークラス又はスーパーインターフェースとして拡張またはCの句を実装に記載されている場合にCが直接型Tに依存スーパークラス名またはスーパーインターフェース名の修飾子として使用できます。

http://java.sun.com/docs/books/jls/third_edition/html/interfaces.html#9.1.3

Tは、に記載されているスーパーインターフェースとして、またはスーパーインタフェース名内の修飾子としてIのいずれかの句を拡張する場合、私は直接型Tに依存するインターフェース。したがって

A extends|implements B.C

場合、AはCとBの両方に依存します。 Specは循環依存を禁止します。

Bを依存関係に含める動機は不明です。あなたが言及したように、B.CがトップレベルC2に昇格されている場合は、型システムに関する限り、それほど違いはありません。なぜA extends C2はOKですが、A extends B.Cではないのですか？与えられたネストされたタイプB.CはBの内容にアクセスしましたが、A extends B.Cが面倒なものは何も見つかりませんでした。

唯一の問題は、Cが内部クラスの場合です。 "enclosing instance"という循環依存があるので、B=A,A extends A.Cを禁止する必要があるとします。それはおそらく本当の動機です。内側のクラスを継承することから外側のクラスを禁止することです。実際のルールはより単純であり、とにかく非内部クラスであっても意味があるので、より一般化されています。

Answer 2

あなたがコンパイラだとします。

クラス「Something」を作成すると言っています。 このクラスはビヘイビアを実装しています... 何かがまだ登録されていないため、動作がまだ存在しません...

問題を理解していますか？

物を含むボックスとしてのクラスを参照してください。行動はボックスの中に含まれています。しかし、何かが存在しません。

Answer 3

言語仕様で禁止されているという単純な事実で十分です。

私は考えることができいくつかの理由：それは有用ではない

• 。

• これを使用する理由が何であれ、より良い選択肢があるはずです。

• 子クラスは基本クラスを拡張する必要があります。なぜ、子クラス内に基本クラスを宣言するのですか？

• インナークラスを拡張する独立したクラスを持つことは、直感的ではありません。スペックで