尽管从初始化字段之后执行的任何代码的角度来看,它们是恒定的,但从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)可以使用原语类型和S
tring只,b)容许是文字(除了初选null)和恒定变量只,C)允许常量表达式可能
parenthesised作为子表达式,d)允许操作员除了赋值运算符,
++,
--或
instanceof,和e)允许类型转换为原始类型或String仅转换为原始类型。
请注意,这并不包括任何形式的方法或lambda调用,
new,.class。.length或数组下标。此外,
enum由于
a),排除了对数组值,值,原始包装器类型的值,装箱和拆箱的任何使用。



