final变量声明后必须立即赋值或在构造器中完成；它表示引用不可变而非对象状态不可变，static final且编译期常量才可内联优化。
final变量声明后必须立即赋值或在构造器中完成
Java中final变量一旦声明，就不可再被重新赋值。它不是“只读属性”，而是“不可变绑定”——变量名和值的绑定在初始化完成后即固化。常见错误是声明了final字段却没在声明处或所有构造器路径中赋值，导致编译报错variable might not have been initialized。
- 类字段级
final：必须在声明时、实例初始化块、或每个构造器中确保赋值（且不能有分支遗漏） - 局部
final变量：必须在首次使用前显式赋值，允许在条件分支中分别赋值，但每个执行路径都得覆盖 - 不支持“延迟初始化+双重检查”的惯用法——
final字段不能在静态/实例方法中后期赋值
static final才是真正的编译期常量
只有同时满足static和final，且初始化表达式为编译期常量（如字面量、常量表达式），才会被JVM内联优化。例如public static final int MAX = 100;在调用处可能直接替换成100；而public static final String NAME = UUID.randomUUID().toString();虽语法合法，但不会内联，且每次访问都触发方法调用。
- 字符串拼接若含非编译期常量（如
final String s = "a" + getRuntimeValue();），结果不被视为编译期常量 - 枚举常量本质是
public static final实例，但其初始化发生在类加载阶段，不参与编译期内联 - 注意反编译验证：用
javap -c查看字节码，若调用处是ldc指令而非getstatic，说明已内联
final引用不变 ≠ 对象状态不变
final List合法，但list.add("x")完全允许——final只锁定引用本身，不冻结对象内部状态。这是最常被误解的一点，尤其在设计“不可变配置对象”时。
- 若需真正不可变容器，应使用
Collections.unmodifiableList()或List.of()（Java 9+） - 自定义类若标为
final（类不可继承），仍需手动将字段设为private final，并避免提供修改状态的方法 - 数组是特例：
final int[] arr = new int[3];后，arr[0] = 1;合法，但arr = new int[5];非法
public class Config {
public static final String API_URL = "https://api.example.com";
public final Map headers;
public Config() {
this.headers = Collections.unmodifiableMap(new HashMap<>() {{
put("Content-Type", "application/json");
}});
}
}
复杂点在于：很多开发者以为加了final就等于线程安全或逻辑封闭，其实只是阻止了引用重绑定。真正需要不可变语义的地方，得组合使用final、不可变集合、私有构造、无setter等一整套约束。漏掉任何一环，都可能在运行时暴露可变性。
