Java中final常量仅当满足static final、基本类型/String/枚举、编译期可求值三条件时才是编译期常量，才能用于switch并触发tableswitch/lookupswitch优化；否则报错或退化为if-else。
Java 中的 final 常量能在 switch case 中被编译器识别为编译期常量（compile-time constant），从而触发字节码层面的优化——比如生成更高效的 tableswitch 或 lookupswitch 指令，甚至在某些情况下被内联或折叠。但前提是它必须满足“编译期常量”的严格定义。
什么是编译期常量（Compile-Time Constant）
只有同时满足以下条件的 final 变量，才被视为编译期常量：
- 声明为
public static final（或至少是static final，且作用域内可见） - 类型属于基本类型（
int,byte,short,char,boolean）、String，或枚举类型 - 初始化表达式是编译期可求值的常量表达式（如字面量、其他编译期常量的简单运算）
例如：
✅ 编译期常量（可用于 switch）：static final int RED = 1;static final String NAME = "hello";static final int MAX = 10 * 2 + 5;❌ 非编译期常量（不能用于 switch）：static final int VALUE = new Random().nextInt();（运行时计算）final int x = 42;（非 static，实例变量）static final Integer Y = 100;（包装类型，不是基本类型或 String，不视为编译期常量）static final String S = someMethod();（方法调用无法在编译期求值）
立即学习“Java免费学习笔记（深入）”；
switch 中使用 final 常量的实际效果
当所有 case 标签都是编译期常量，且取值范围紧凑（如连续小整数），javac 会优先生成 tableswitch 指令，实现 O(1) 跳转；若稀疏或跨度大，则用 lookupswitch（O(log n) 二分查找）。这比链式 if-else 更高效。
反例：如果 case 值来自非编译期常量（如 static final Integer 或运行时读取的配置），编译器无法优化，甚至直接报错：
static final Integer CODE = 200;switch (status) { case CODE: ... } → error: constant expression required枚举与 final 常量在 switch 中的区别
枚举常量天然满足编译期常量要求，且 javac 对枚举 switch 有额外优化（例如生成静态映射表 + tableswitch）。相比手动定义 static final int，枚举更安全、可读性更高，也更容易被 JIT 进一步优化。
注意：即使你把 int 常量封装在接口中（旧式“常量接口”模式），只要满足编译期常量条件，依然可以用于 switch，但现代 Java 更推荐用枚举或 private static final 配合 sealed 类等方案。
如何验证是否发生编译优化
通过 javap -c 查看字节码：
- 看到
tableswitch或lookupswitch指令 → 说明 switch 已被优化 - 看到一堆
if_icmpeq/goto→ 实际是 if-else 模拟，未走 switch 优化路径
例如，对 int 型编译期常量 switch，javap 输出类似：
tableswitch { // 0 to 2<br>
0: label1<br>
1: label2<br>
2: label3<br>
default: label4<br>
} 
