为什么 Java 常量除以零不会产生编译时错误？

Question

可能的重复：
1/0 是合法的 Java 表达式吗？

为什么这段代码可以编译？

class Compiles {
    public final static int A = 7/0;
    public final static int B = 10*3;

    public static void main(String[] args) {}
}

如果我查看编译后的类文件，我可以看到 B 已被评估为 30，而 A 仍然是 7/0。

据我了解 JSL，除以零的表达式不是常量。

参考： JLS 15.28

我的上述声明是由于这一行：

编译时常量表达式是表示原始类型值的表达式

因此除以零不会计算出原始值。

我真正不明白的是为什么编译器允许这样做？需要明确的是，我上面的代码在运行时崩溃并出现“java.lang.ExceptionInInitializerError”，

在我看来，编译器将任何最终静态变量作为常量威胁，并评估它的编译时间。这意味着编译器已经尝试计算 A，但由于它被零除，所以就让它通过。没有编译时错误。但这看起来非常非常奇怪......编译器知道它是除以零并且它会导致运行时崩溃，但它不会标记编译错误！

谁能向我解释为什么？

Answer 1

抛出 java.lang.ExceptionInInitializerError 是唯一正确的行为。

如果您的代码无法编译，则完全有效的 Java 程序将被拒绝，这将是一个错误。

将 7/0 放入编译代码中的唯一正确替代方法实际上是显式抛出 ExceptionInInitializerError，但是这有多有用呢？

编译器知道这是除以零，并且会导致运行时崩溃，但它确实标记了编译错误！

实际上，我不同意这一点......这个程序会崩溃吗？

class Compiles {
    public final static int A = 7/0;
    public final static int B = 10*3;

    public static void main(String[] args) {}

}

public class Test {

    // Application entry point.
    public static void main(String[] args) {
        try {
            new Compiles();

            launchTheMissiles();

        } catch (ExceptionInInitializerError e) {

            doUsefulStuff();

        }
    }
}

Answer 2

JLS 15.28 常量表达式：

编译时常量表达式是表示基本类型值或字符串不会突然完成的表达式，仅使用以下内容组成：

...

因此 7/0 code> 不是编译时常量，因为它的求值由于除以零而突然完成。因此，它被视为常规运行时表达式，并在运行时引发异常。