所以,我正在处理这个类,它有几个静态常数:

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";
    }
}

然而,当我编译时,我在3个case标签上都得到了一个常量表达式所需的错误。

我知道编译器需要表达式在编译时编译开关,但为什么不是Foo。BA_常数?


当前回答

我知道编译器需要表达式在编译时编译开关,但为什么不是Foo。BA_常数?

虽然从字段初始化后执行的任何代码的角度来看,它们都是常量,但它们不是JLS所要求的编译时常量;关于常量表达式1的规范,请参见§15.28常量表达式。这指的是§4.12.4最终变量,其中定义了一个“常量变量”如下:

我们把一个基本类型或String类型的变量称为常量变量,它是final的,并由编译时常量表达式初始化(§15.28)。变量是否是常量变量可能涉及类初始化(§12.4.1)、二进制兼容性(§13.1、§13.4.9)和定值(§16)。

在你的例子中,Foo。BA*变量没有初始化式,因此不符合“常量变量”的条件。解决办法很简单;改变Foo。BA*变量声明具有编译时常量表达式的初始化式。

在其他示例中(初始化式已经是编译时常量表达式),可能需要将变量声明为final。

你可以改变你的代码使用枚举而不是int常量,但这带来了另外两个不同的限制:

你必须包含一个默认的大小写,即使你有大小写为每个已知的enum值;参见为什么enum上的开关需要默认值? 大小写标签必须都是显式枚举值,而不是计算为枚举值的表达式。


1 -常量表达式的限制可以总结如下。常量表达式a)只能使用基本类型和String, b)只允许主变量是字面量(null除外)和常量变量,c)允许常量表达式可能是括号作为子表达式,d)允许操作符,除了赋值操作符,++,——或instanceof,以及e)只允许类型强制转换为基本类型或String。

注意,这并不包括任何形式的方法或lambda调用、new、.class. .length或数组下标。此外,数组值、枚举值、基本包装器类型的值、装箱和拆箱都被排除在外,因为a)。

其他回答

我知道编译器需要表达式在编译时编译开关,但为什么不是Foo。BA_常数?

虽然从字段初始化后执行的任何代码的角度来看,它们都是常量,但它们不是JLS所要求的编译时常量;关于常量表达式1的规范,请参见§15.28常量表达式。这指的是§4.12.4最终变量,其中定义了一个“常量变量”如下:

我们把一个基本类型或String类型的变量称为常量变量,它是final的,并由编译时常量表达式初始化(§15.28)。变量是否是常量变量可能涉及类初始化(§12.4.1)、二进制兼容性(§13.1、§13.4.9)和定值(§16)。

在你的例子中,Foo。BA*变量没有初始化式,因此不符合“常量变量”的条件。解决办法很简单;改变Foo。BA*变量声明具有编译时常量表达式的初始化式。

在其他示例中(初始化式已经是编译时常量表达式),可能需要将变量声明为final。

你可以改变你的代码使用枚举而不是int常量,但这带来了另外两个不同的限制:

你必须包含一个默认的大小写,即使你有大小写为每个已知的enum值;参见为什么enum上的开关需要默认值? 大小写标签必须都是显式枚举值,而不是计算为枚举值的表达式。


1 -常量表达式的限制可以总结如下。常量表达式a)只能使用基本类型和String, b)只允许主变量是字面量(null除外)和常量变量,c)允许常量表达式可能是括号作为子表达式,d)允许操作符,除了赋值操作符,++,——或instanceof,以及e)只允许类型强制转换为基本类型或String。

注意,这并不包括任何形式的方法或lambda调用、new、.class. .length或数组下标。此外,数组值、枚举值、基本包装器类型的值、装箱和拆箱都被排除在外,因为a)。

有时switch变量也会犯这样的错误,例如:

switch(view.getTag()) {//which is an Object type

   case 0://will give compiler error that says Constant expression required

   //...
}

要解决这个问题,你应该将变量转换为int(在这种情况下)。所以:

switch((int)view.getTag()) {//will be int

   case 0: //No Error

   //...
}

因为这些不是编译时常数。考虑以下有效代码:

public static final int BAR = new Random().nextInt();

您只能在运行时知道BAR的值。

这个问题很久以前就回答过了,可能不相关,只是以防万一。 当我遇到这个问题时,我简单地使用了if语句而不是switch,它解决了错误。 这当然是一种变通方法,可能不是“正确”的解决方案,但对我来说,这就足够了。

编辑:2021.01.21

这个答案有点误导,我想澄清一下。

用if语句替换switch语句不应该被认为是一个好的解决方案,在软件开发中存在switch和if这两个概念,以及在两者之间进行选择时考虑性能是很重要的,这是有很好的理由的。 虽然我提供了一个解决方案,提出的错误,我的回答没有阐明“为什么”问题发生,而是提供了一种解决问题的方法。

在我的特定情况下,使用if语句就足以解决问题。开发人员应该花点时间来决定这是否是解决当前问题的正确解决方案。

因此,这个答案应该仅仅被认为是我在第一个回答中所述的特定情况下的一个变通办法,而绝不是这个问题的正确答案

在我的例子中,我得到这个异常是因为

switch (tipoWebServ) {
                            case VariablesKmDialog.OBTENER_KM:
                                resultObtenerKm(result);
                                break;
                            case var.MODIFICAR_KM:
                                resultModificarKm(result);
                                break;
                        }

在第二种情况下,我从实例var.MODIFICAR_KM调用常量:但我应该使用VariablesKmDialog。直接从类中获取OBTENER_KM。