本文详解 final 变量在声明时初始化与延迟赋值的关键区别：前者可形成编译期常量表达式，触发不可达代码检查；后者仅保证不可重赋值，不参与编译期常量推导，导致 while 循环无限执行。
本文详解 `final` 变量在声明时初始化与延迟赋值的关键区别：前者可形成编译期常量表达式，触发不可达代码检查；后者仅保证不可重赋值，不参与编译期常量推导，导致 while 循环无限执行。
在 Java 中，final 修饰符的核心语义是“不可重新赋值”，但这并不等同于“编译期常量”。是否构成 常量变量（constant variable），取决于两个严格条件：
- 类型为基本类型（如 int）或 String；
- 在声明时通过常量表达式完成初始化（即“内联初始化”）。
✅ 案例一：非恒定 final 变量（无编译期常量语义）
final int a, b;
a = b = 10; // 合法：分步赋值，但 a 和 b 不是 constant variables
while (a <= b) {
System.out.println("this is in while loop");
}
System.out.println("this is out of while loop"); // ✅ 可达，正常编译此处 a 和 b 虽为 final，但因未在声明处初始化，仅满足“确定赋值（definitely assigned）”要求，不构成常量变量。因此 a <= b 是运行时求值的普通布尔表达式，值为 true，循环无限执行——这是逻辑错误，但编译器不报错，因为该表达式不是编译期常量。
✅ 案例二：真正的常量变量（触发可达性检查）
final int a = 10; // ✅ 声明即用常量表达式初始化
final int b = 10; // ✅ 同上 → a 和 b 均为 constant variables
while (a <= b) { // ? 编译器识别为常量表达式 true
System.out.println("this is in while loop");
}
System.out.println("this is out of while loop"); // ❌ 编译错误：unreachable statement根据 JLS §4.12.4，a 和 b 是常量变量，故 a <= b 是常量表达式，编译期计算结果为 true。
依据 JLS §14.22，当 while 条件为 true 常量且无 break 时，该语句无法正常完成（cannot complete normally），导致其后的语句被判定为不可达（unreachable），编译直接失败。
⚠️ 关键注意事项
- final ≠ const：Java 中没有 const 关键字，final 仅约束赋值行为，只有满足 JLS 定义的“常量变量”才参与编译期优化与可达性分析。
- 初始化时机决定一切：final int x = 5; ✔️ 是常量变量；final int x; x = 5; ❌ 不是。
- break 可解除不可达：若 while 内含 break（且该 break 本身可达），即使条件为 true 常量，循环仍可能正常结束，后续语句可达。
- 工具链依赖：此检查由 javac 强制执行，IDE 或构建工具（如 Maven）均会报告该错误。
✅ 正确实践建议
避免依赖 final 变量构造无限循环逻辑。若需固定条件循环，请显式使用 while (true) 并配以内部 break：
final int a = 10, b = 10;
while (true) {
System.out.println("in loop");
if (someCondition()) break; // 显式退出点
}
System.out.println("out of loop"); // ✅ 可达理解 final 的双重语义——运行时不可变性 vs 编译期常量性——是写出健壮、可维护 Java 代码的关键基础。
立即学习“Java免费学习笔记（深入）”；
