final成员变量必须在构造完成前被唯一赋值，否则编译失败；合法初始化位置仅限声明时、实例初始化块、每个构造方法中显式赋值。

因为 final 成员变量一旦创建就不可更改，Java 编译器必须在对象构造完成前确保它已被唯一赋值，否则该变量值处于未定义状态，违背 final 的语义约束。

final 的本质是“一次性赋值保证”

final 不是“只读标记”，而是编译期强制的“单次初始化契约”。JVM 规范要求每个 final 实例字段在构造结束前有且仅有一次明确的赋值。系统不会给 final 变量设默认值（比如 int 不是 0，String 不是 null），所以不显式初始化，字段就没有合法值。

deep-java-review

Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...

下载

为什么不能靠默认初始化或后期赋值？

• 普通成员变量可被 JVM 自动初始化（如 int → 0，Object → null），但 final 变量禁用这一机制——否则就失去“不可变”的前提
• 不允许在普通方法、setter、静态块或 if 分支中“条件赋值”，因为编译器无法静态确认所有路径都执行了赋值
• static final 和非 static final 初始化时机不同：前者在类加载阶段完成，后者必须绑定到每个对象的构造过程

合法的初始化位置只有三个

• 声明时直接赋值：private final String id = "A001";
• 实例初始化块中赋值：{ value = compute(); }（注意不是静态块）
• 每个构造方法中显式赋值：this.name = name; —— 所有重载构造器都必须覆盖，缺一不可

不这么做会怎样？

编译器直接报错："variable might not have been initialized"。这不是警告，是编译失败。哪怕你逻辑上“肯定能走到赋值行”，只要编译器无法静态推导出必然性（比如赋值在 try 块里但没 catch），就不通过。