`1/0` 是 Java 中的常量表达式吗？ [复制]

Question

据我了解，Java 8 JLS 表达式 (1/0) 被认为是一个常量表达式，但是当我尝试使用 OpenJDK 8 编译以下程序时出现错误

public class Switch {
    public static void main(String[] args) {
        switch(42) {
            case (1/0):
                return;
            default:
                return;
        }
    }
}

错误提示 (1/0) 不是常量表达式

Switch.java:4: error: constant expression required
            case (1/0):
                 ^
1 error

我错过了什么吗？还是 OpenJDK 8 中的错误？

Answer 1

编译器正在进行常量折叠（预先计算琐碎的文字表达式）。这是表达式“突然完成”的情况，使用 JLS 措辞，使其不符合“常量表达式”的定义。所以这不是bug，和JLS是一致的。

是的，表达式也不会计算为值（警告用户尝试执行此类操作，结果将不是常量表达式），但编译器在尝试之前不知道这一点。不评估价值并突然完成似乎是齐头并进的。

添加变量声明，如

int x = 1 / 0;

不会导致编译器错误，它是强制在编译时计算表达式的开关。

顺便说一下，我检查了 Oracle 和 IBM JDK 的第 7 版也会发生这种情况，这不是 OpenJDK 或 JDK8 特定的。

Answer 2

常量表达式必须能够计算出一个值，因为编译器必须将该表达式重新转换为一个值。

1/0 没有任何价值。

来自 JSL §15.28：

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