在 Java 编程中，switch-case 是一种常用的多分支选择结构。但不少开发者在书写时都会遇到编译报错：case 后面跟了变量或非编译期常量。要弄清楚原因，需要从语言规范和编译实现两个层面来看。
语言规范层面的限制
Java 语言规范规定，switch 语句的 case 标签必须是常量表达式。这里的常量包括字面量、final 修饰的基本类型或字符串变量且赋值在编译期确定等。之所以这样要求，是因为 switch 的分支判断需要在编译阶段就明确所有可能的匹配值。
什么是编译期常量
下面代码中，A 是合法常量，B 则不是：
public class Demo {
public static final int A = 1; // 编译期常量
public static final int B = new java.util.Random().nextInt(); // 非常量
public void test(int x) {
switch (x) {
case A: // 合法
System.out.println("A");
break;
// case B: // 编译错误：常量表达式 required
// break;
}
}
}
编译器实现的考量
Java 编译器会将 switch 编译为字节码指令，常见有 tableswitch 和 lookupswitch。它们都依赖 case 值在编译期已知，才能构造跳转表。
| 指令 | 适用场景 |
|---|---|
| tableswitch | case 值连续，效率高 |
| lookupswitch | case 值稀疏，二分查找 |
如果允许变量作为 case 值，编译器无法生成上述结构，只能退化为多次 if-else 判断，违背 switch 的设计初衷。
代码示例：反编译视角
对于如下代码：
int n = 2;
switch (n) {
case 1: System.out.println(1); break;
case 2: System.out.println(2); break;
}
编译器可将其优化为基于表的直接跳转，而不必逐个比较。
作用域与安全性
case 值若可为变量，会带来同名变量覆盖、运行时修改导致逻辑混乱等问题。强制常量让分支标签全局明确、不可变，降低维护成本。
简单说，case 必须是常量，是 Java 在性能、安全和规范之间做的平衡选择。
总结
Java 要求 switch-case 的 case 值为常量，根本原因是编译期需要确定跳转结构，同时保障语言层面的安全与清晰。日常开发中应使用 final 常量或字面量作为 case 标签，避免将运行时变量写入其中。
Javaswitch-case常量修改时间：2026-07-27 21:51:18