final变量必须在声明时或构造过程中初始化，且仅能赋值一次；它仅禁止引用或值的变更，不保证对象内部状态不可变，也不等同于编译期常量或线程安全。
final修饰的变量必须在声明时或构造过程中赋值
Java中用final修饰变量，本质是禁止后续重新赋值。但这个“禁止”只针对变量本身引用或值的变更，不涉及对象内部状态。关键约束在于：编译器要求final变量**必须且只能被初始化一次**，且必须在变量所在作用域结束前完成。
常见错误现象：Variable 'x' might not have been initialized 或 Cannot assign a value to final variable 'x'。前者多因在条件分支中漏掉某些路径的赋值；后者则是试图在初始化后再次写入。
- 类字段（成员变量）：可在声明处直接赋值，或在每个构造方法中显式赋值（包括所有重载构造函数）
- 局部变量：必须在使用前明确赋值，且不能出现在未覆盖的条件分支里（如
if无else时，不能只在if块内赋值） - 方法参数：声明为
final仅表示该形参在方法体内不可重新指向，不影响实参本身
final常量命名与编译期常量的区别
很多人误以为只要加了final就是“编译期常量”，其实还差一个条件：必须是基本类型或String，且初始化表达式是编译期可确定的字面量或常量表达式。
只有满足这两个条件的final变量，才会被JVM内联优化——比如用在switch语句的case值、作为注解属性、或触发字符串常量池的自动驻留。
立即学习“Java免费学习笔记（深入）”；
- 合法编译期常量：
public static final int MAX = 100;、public static final String NAME = "hello"; - 非编译期常量：
public static final long NOW = System.currentTimeMillis();（运行时计算）、public final List（非items = new ArrayList(); static，且非基本/String） - 注意：
static不是final常量的必要条件，但习惯上公共常量都加static，否则每个实例都持有一份副本
final修饰引用类型时的“不可变”陷阱
final修饰引用类型变量（如List、Map、自定义对象），只锁住“引用本身”，不锁住“对象状态”。也就是说，你不能把该变量重新指向另一个对象，但可以调用其方法修改内部数据。
例如：final List 合法；list.add("a"); 合法；list = new ArrayList(); 编译报错。
- 若需真正不可变容器，应使用
Collections.unmodifiableList()等包装器，或选用ImmutableList（Guava） - 自定义类若想实现逻辑不可变，需确保所有字段为
final，且不提供修改状态的public方法，同时防御性复制可变组件（如返回new ArrayList(this.internalList)而非直接暴露） - 数组是特例：
final int[] arr = {1,2};允许改元素（arr[0] = 99;），但不允许重赋数组引用
final变量在匿名内部类和Lambda中的使用限制
JDK 8 引入“有效final（effectively final）”概念，放宽了匿名类和Lambda对局部变量的要求：只要变量在语法上没被重新赋值，即使没显式写final，也可在内部类/Lambda中访问。
但这个“有效final”是编译器推断的，一旦你在后续代码中给该变量重新赋值，哪怕不在Lambda之后，整个Lambda都会编译失败。
int x = 10; Runnable r = () -> System.out.println(x); // OK，x是effectively final x = 20; // ← 这一行会导致上面那行编译失败
- 显式加
final更清晰，也避免意外修改破坏Lambda可用性 - 对于实例变量或静态变量，无此限制，因为它们不属于“局部变量捕获”范畴
- 注意：Kotlin中默认按“effectively final”处理，Java则仍保留显式语义，这是语言设计差异点
final List就线程安全，或者忽略构造器中未覆盖所有路径导致编译失败，都是高频问题。 
