Perché Java impedisce l'ereditarietà delle interfacce interne?

Question

I.e. perché la seguente "dipendenza ciclica" non è possibile?

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

Poiché le interfacce non fanno riferimento alla classe esterna, questo dovrebbe essere consentito; tuttavia, il compilatore mi costringe a definire tali interfacce al di fuori della classe. C'è qualche spiegazione logica per questo comportamento?

Answer 1

alle corrispondenti specifiche:

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

Una classe C dipende direttamente un tipo T se T è menzionato nella estende o implementa clausola C sia come superclasse o superinterfaccia o come qualificatore di un nome superclasse o superinterfaccia.

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

Un'interfaccia I dipende direttamente su un tipo T se T è menzionato nel estende clausola che sia come superinterfaccia o come qualificazione di un nome superinterfaccia.

Pertanto se A extends|implements B.C, A dipende sia C e B. Spec quindi proibisce le dipendenze circolari.

La motivazione di includere B nella dipendenza non è chiara. Come hai detto, se il livello B.C viene promosso al primo livello C2, non molto è diverso per quanto riguarda il sistema di tipi, quindi perché A extends C2 è ok, ma non A extends B.C?Concesso un tipo nidificato B.C ha qualche accesso al contenuto di B, ma non riesco a trovare nulla nelle specifiche che rende problematico lo A extends B.C.

L'unico problema è quando C è una classe interna. Supponiamo che B=A, A extends A.C sia vietato, perché esiste una dipendenza circolare di "istanza che include". Questa è probabilmente la vera motivazione: proibire alle classi esterne di ereditare la classe interiore. Le regole attuali sono più generalizzate, perché sono più semplici e hanno comunque un senso anche per le classi non interne.

Answer 2

Immagina di essere il compilatore.

Ti stiamo dicendo di creare una classe Qualcosa. Questa classe implementa il comportamento ... Ma il comportamento non esiste ancora perché qualcosa non è già registrato ...

Capisci il problema?

Vedere la classe come casella che contiene oggetti. Il comportamento è contenuto nella scatola Qualcosa. Ma qualcosa non esiste.

Answer 3

Il semplice fatto che le specifiche della lingua lo vietino dovrebbe essere sufficiente.

Alcuni motivi mi veniva in mente:

• Non sarebbe utile.

• Per qualsiasi motivo si potrebbe desiderare di utilizzare questo, sono sicuro che esistono opzioni migliori.

• Le classi figlio devono estendere le classi base, quindi perché dichiarare una classe base all'interno del proprio figlio?

• Sarebbe controintuitivo che una classe separata estenda la tua classe interiore.