java - 理解java中接口(interface)的静态性

Question

根据this问题，我明白为什么接口(interface)是静态的。所以我尝试了以下代码:

public class ClassWithInterface {
    static interface StaticInterfaceInsideClass {   }

    interface NonStaticInterfaceInsideClass {   }

    //interface is not allowed inside non static inner classes
    //Error: The member interface InterfaceInsideInnerClass can 
    //only be defined inside a top-level class or interface or 
    //in a static context
    class InnerClassWithInterface {
        interface InterfaceInsideInnerClass {}
    }

    //Error: The member interface StaticInterfaceInsideInnerClass 
    //can only be defined inside a top-level class or interface or 
    //in a static context
    class InnerClassWithStaticInterface {
        static interface StaticInterfaceInsideInnerClass {}
    }

    static class StaticNestedClassWithInterface {
        interface InterfaceInsideStaticNestedClass {}
    }
}

//Static is not allowed for interface outside class
//Error: Illegal modifier for the interface 
//InterfaceOutsideClass; only public & abstract are permitted
static interface InterfaceOutsideClass {}

我有以下疑问:

1. 如果接口(interface)是隐式静态的，为什么在StaticInterfaceInsideClass的类内部，允许显式static修饰符，而对于InterfaceOutsideClass，其不允许？

2. NonStaticInterfaceInsideClass 也是静态的吗？也就是说，在类内部，显式使用static或不使用它不会有任何区别，并且接口(interface)默认情况下总是static？

3. 为什么我们不能在非静态内部类(InnerClassWithInterface)中拥有非静态接口(interface)(InterfaceInsideInnerClass)，但可以拥有顶级类(ClassWithInterface)内的非静态(NonStaticInterfaceInsideClass)接口(interface)？事实上，我们甚至不能在内部类中拥有静态接口(interface)(对于StaticInterfaceInsideInnerClass)。但为什么呢？

4. 有人可以列出驱动所有这些行为的单个或最小规则吗？

Answer 1

Can someone list down single or minimal rule(s) which drive all these behaviour?

无需接口(interface)也可以观察到相同的行为；内部类(即非静态嵌套类)不能有自己的静态成员类，因此下面的代码也会给出编译错误:

class A {
    // inner class
    class B {
        // static member class not allowed here; compilation error
        static class C {}
    }
}

所以“最小规则集”是:

1. “如果内部类声明显式或隐式静态的成员，则会出现编译时错误，除非该成员是常量变量” ( JLS §8.1.3 )
2. “成员接口(interface)是隐式静态的(第 9.1.1 节)。允许成员接口(interface)的声明冗余地指定 static 修饰符。” ( JLS §8.5.1 )

使用这两个规则我们可以解释一切:

• NonStaticInterfaceInsideClass是一个成员接口(interface)，因此根据规则 2 它是隐式静态的。
• InterfaceInsideInnerClass是一个成员接口(interface)，因此根据规则 2，它是隐式静态的。它是内部类的成员，因此根据规则 1，它是一个编译时错误。
• StaticInterfaceInsideInnerClass语义上与 InterfaceInsideInnerClass 相同; static根据规则 2，修饰符是多余的。
• InterfaceInsideStaticNestedClass是一个成员接口(interface)，因此规则 2 中它是隐式静态的，但规则 1 中不禁止它，因为它是静态嵌套类的成员，而不是内部类。
• InterfaceOutsideClass不允许 static修饰符，因为它不是成员接口(interface)，并且规则 2 只允许 member 接口(interface)具有 static修饰符。