java编译器对纯常量表达式在编译期完成计算和类型检查，仅当表达式全由字面量或编译期已知的final基本类型变量及其运算组成时才触发优化；含任何变量即失效，且仅支持byte/short/char/string的隐式窄化转换。
Java编译器对纯常量表达式有专门的优化机制，它不按运行时规则走，而是在编译阶段就完成计算和类型检查。关键在于：**是否含变量**——有变量就不触发优化，全字面量才启用。
什么是常量表达式
常量表达式指由字面量（如 1、100、'a'）、编译期已知的 final 基本类型变量（且初始化为常量），以及它们之间的算术、逻辑运算组成的表达式。例如：
- 3 + 4 ✔️（全字面量）
- 10 * 2 - 5 ✔️（整数运算，结果确定）
- final byte b = 10; b + 20 ✔️（b 是编译期常量）
- byte x = 10; x + 20 ❌（x 是变量，不满足常量表达式条件）
编译器如何做类型检查与隐式转换
当赋值语句左侧是 byte、short 或 char，右侧是常量表达式时，编译器会：
- 先计算整个表达式的数值结果（在编译期完成）
- 判断该结果是否落在目标类型的取值范围内
- 若在范围内，自动插入隐式强制转换（如 (byte)），无需程序员写
- 若超出范围，直接报错，不生成字节码
例如：byte b = 127 + 1; 编译失败，因为 128 超出 byte 的 [-128, 127]；而 byte b = 50 + 50; 也报错——虽然 100 在范围内，但 50 + 50 默认是 int 运算，中间结果类型是 int，而 Java 不会对两个 int 字面量相加再“缩回”为 byte 做二次优化；只有像 byte b = 100; 或 byte b = 3 + 4; 这种简单组合才被识别为可优化的常量表达式。
哪些写法能触发常量优化
以下赋值语句均可通过编译，靠的就是常量优化：
- byte b1 = 10;（单个字面量，在范围内）
- byte b2 = 3 + 4;（加法常量表达式，结果 7 ∈ [-128,127]）
- short s = 1000 + 200;（结果 1200 ∈ [-32768,32767]）
- final char c = 'A'; char d = c + 1;（c 是编译期常量，'A'+1='B'，结果在 char 范围内）
注意：char 的常量优化允许值在 [0, 65535]，因为 char 是无符号 16 位整数，不是 [-32768,32767]。
为什么带变量就不行
只要表达式中出现任意一个非常量变量（哪怕只是 byte x = 5; 后面写 byte y = x + 1;），编译器就放弃常量优化。原因很直接：
- 变量的值在编译期不可知，无法提前判定结果是否越界
- 根据 Java 语言规范，byte/short/char 在参与算术运算时，一律提升为 int，运算结果必为 int
- 而 int → byte 属于窄化转换，必须显式强制转换，否则编译拒绝
所以 byte y = x + 1; 报错，不是因为“x 太小”，而是因为 x + 1 的类型是 int，不能直接塞进 byte 变量里——哪怕你心里知道它不会越界。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
