为什么顶级类在Java中不能是静态的？

Question

任何地方都找不到满意的答案.

Answer 1

根据定义,所有顶级类都是静态的.

什么static归结为是类的一个实例可以站在自己的.或者,反过来说:没有外部类的实例,非静态内部类(=实例内部类)不可能存在.由于顶级类没有外部类,因此它不能是任何东西static.

因为所有顶级类都是静态的,所以static在顶级类定义中使用关键字是没有意义的.

一些代码可以解决:

public class Foo {

    public class Bar {
         // Non-static innner class
    }

    public static class Baz {
         // Static inner class
    }
}

public class Example {
    public static void main(String[] args) {
        new Foo(); // this is ok
        new Foo.Baz(); // this is ok
        new Foo.Bar(); // does not compile!

        Foo f = new Foo();
        Foo.Bar bar = f.new Bar(); //this works, but don't do this
    }
}

我把"但不要这样做"放在那里,因为它真的是丑陋的代码设计.实例内部类不应该在外部类外部可见.它们只能在外层使用.

Answer 2

简而言之，顶级类型声明不能是静态的，因为Java 语言规范(JLS) 并没有说它可以是。JLS明确表示将static关键字作为顶级类的修饰符：

修饰符static仅适用于成员类（第 8.5.1 节），而不适用于顶级或本地或匿名类。

然而，接受的答案 - 有很多赞成 - 说这是因为顶级类“根据定义”是隐式静态的，所以static修饰符是不必要的。那是错的。

“静态”一词出现在 JLS 中的很多地方，但从未指代顶级类型声明。以下是可以是“静态”的内容的详尽列表：

• 静态字段，也叫静态变量，包括静态常量变量
• 静态方法
• 静态成员类型声明
• “静态成员”，即上面的三个结构
• 静态初始化器
• 单一静态导入声明和按需静态导入声明，它们是顶级声明，但不是类型声明。这里，“静态”指的是导入的名称，而不是导入声明本身。
• 该语言是静态类型的，表达式应该具有静态已知类型，以便“静态保证”它们的安全性。
• 在编译时绑定名称（包括字段访问）的方式称为静态解析或静态绑定。
• 词法上下文可以是静态上下文。
• 方法调用表达式或方法引用表达式的调用方式可以是静态的。
• 一个示例中使用的类名意味着在throws子句中声明的已检查异常是静态抛出的。
• JVM 使用的部分内存称为静态存储，同一部分在 C 编程语言中称为“静态”链接。
• JLS的前言提到了静态分析工具。

JLS 中没有使用“静态”一词来指代顶级类型声明；因此，除了不是显式静态之外，根据定义，它们不是（也不能）“隐式”静态。