java 要求 switch 语句的 enum case 标签必须是未经括号包裹的、直接声明的枚举常量（如 zero_init），括号会使其变为表达式，而 java 规范明确禁止在 case 中使用非字面量常量表达式。
java 要求 switch 语句的 enum case 标签必须是未经括号包裹的、直接声明的枚举常量（如 zero_init），括号会使其变为表达式，而 java 规范明确禁止在 case 中使用非字面量常量表达式。
在 Java 中，switch 语句对 enum 类型的支持建立在编译期可确定的常量匹配基础之上。这意味着每个 case 标签必须是一个编译时常量（compile-time constant），且对于枚举类型，该常量必须严格满足 JLS（Java Language Specification）第 14.11.1 节的定义：
If T is an enum type, then every case constant associated with the switch block is an enum constant of type T.
关键在于：enum 常量本身（如 ZERO_Init）是合法的 case 标签；但 (ZERO_Init) 不是——因为一对圆括号会将该标识符包装为一个表达式（Expression），而非“枚举常量”本身。
根据 JLS §15.29 关于常量表达式的定义，只有以下类型的值才可能构成常量表达式：
立即学习“Java免费学习笔记（深入）”；
- 基本类型字面量（如 42, 'a', true）
- 字符串字面量（如 "hello"）
- final 静态字段（且其初始化为上述字面量）
- 某些特定的编译期可折叠运算（如 2 + 3）
而 ZERO_Init 作为枚举常量，其本质是 States 类的一个 public static final 实例字段。虽然它在语义上是常量，但 Java 不将其视为“常量表达式”（constant expression）——它属于“编译时常量引用（constant variable）”，但 case 语句对 enum 的要求更严格：它只要求是 enum constant（即未加修饰的、顶层声明的枚举字面量），而非广义的“常量表达式”。
因此，以下写法合法：
enum States {
ZERO_Init,
ONE_Running,
TWO_Done
}
States current_state = States.ZERO_Init;
switch (current_state) {
case ZERO_Init: // ✅ 正确：直接使用枚举常量名
System.out.println("Initializing...");
break;
case ONE_Running: // ✅ 同理
System.out.println("Running...");
break;
default:
System.out.println("Unknown state");
}而以下写法编译失败：
switch (current_state) {
case (ZERO_Init): // ❌ 编译错误：Constant expression required
// ...
}错误信息 Constant expression required 并非指 ZERO_Init 本身不“恒定”，而是因为 (ZERO_Init) 是一个带括号的主表达式（Primary Expression），不符合 case 标签的语法范畴（JLS 明确限定为 EnumConstantName，而非 Expression）。
⚠️ 注意事项：
- 不要尝试用括号、强制类型转换（如 (States)ZERO_Init）、或任何其他语法修饰枚举 case 标签；
- 即使 ZERO_Init 是 public static final，也不能写作 States.ZERO_Init（除非启用 --enable-preview 并使用 switch 的新模式，但传统 switch 仍禁止限定名）；
- 这一限制与 String 或基本类型 switch 不同：后两者允许某些常量表达式（如 "A" + "B"），但 enum switch 是特例——只接受裸枚举常量标识符。
✅ 总结：这是 Java 语言设计的显式约束，目的是保证 switch 在 enum 上的语义清晰、编译期可验证、且能高效生成跳转表（jump table）。保持 case 后直接跟未修饰的枚举常量名，既是规范要求，也是最佳实践。
