Java switch语句：需要常量表达式，但它是常量

Question

因此，我正在研究具有一些静态常量的此类：

public abstract class Foo {
    ...
    public static final int BAR;
    public static final int BAZ;
    public static final int BAM;
    ...
}

然后，我想一种基于常量获取相关字符串的方法：

public static String lookup(int constant) {
    switch (constant) {
        case Foo.BAR: return "bar";
        case Foo.BAZ: return "baz";
        case Foo.BAM: return "bam";
        default: return "unknown";
    }
}

但是，当我编译时，constant expression required在3个大小写标签的每一个上都出现错误。

我知道编译器需要在编译时就知道表达式才能编译开关，但是为什么不是Foo.BA_常量？

Answer 1

尽管从初始化字段之后执行的任何代码的角度来看，它们是恒定的，但从JLS 的角度来看，它们不是编译时常数。有关常量表达式1的规范，请参见第15.28节常量表达式。这是指第4.12.4节“最终变量”，它定义了以下“常量”：

我们将原始类型或String类型的变量称为最终变量，该变量是最终变量并使用编译时常量表达式（第15.28节）进行初始化。变量是否为常数变量可能与类初始化（第12.4.1节），二进制兼容性（第13.1节，第13.4.9节）和确定赋值（第16节）有关。

在您的示例中，Foo.BA *变量没有初始化程序，因此不属于“常量变量”。解决方法很简单；更改Foo.BA *变量声明，使其具有作为编译时常量表达式的初始化程序。

在其他示例中（初始化程序已经是编译时常量表达式），将变量声明final为需要的变量。

您可以更改代码以使用enum而不是int常量，但这带来了另外两个不同的限制：

你必须有一个default情况下，即使你有case对的每一个已知值enum; 请参阅为什么打开枚举需要默认值？
该case标签都必须明确的enum值，而不是计算结果为表达式的enum值。
1-常量表达式限制可以总结如下。常量表达式A）可以使用原语类型和String只，b）容许是文字（除了初选null）和恒定变量只，C）允许常量表达式可能parenthesised作为子表达式，d）允许操作员除了赋值运算符，++，--或instanceof，和e）允许类型转换为原始类型或String仅转换为原始类型。

请注意，这并不包括任何形式的方法或lambda调用，new，.class。.length或数组下标。此外，enum由于a），排除了对数组值，值，原始包装器类型的值，装箱和拆箱的任何使用。