final修饰变量仅保证引用不可变，对象内容仍可修改；修饰方法禁止重写；修饰类禁止继承；但final本身不等于不可变，需配合字段final、无修改方法、防御性拷贝等才构成真正不可变类。
final修饰变量：值不可变，但对象内容可能变
声明为final的变量只能赋值一次，编译期或构造器中完成初始化后不能再指向新对象。但要注意：如果变量是引用类型（比如final List），只是引用地址不可变，list.add()仍可修改其内部元素。
-
final int x = 10;→ 后续x = 20;编译报错：cannot assign a value to final variable -
final List→names = new ArrayList(); names非法，但
= new ArrayList();
names.add("a");完全合法 - 若需真正不可变容器，应配合
Collections.unmodifiableList()或使用ImmutableList.of()（Guava）
final修饰方法：禁止子类重写，保障行为一致性
被final修饰的方法不能在子类中被@Override。常见于工具类核心逻辑（如String.valueOf()）、防止继承破坏封装的设计，或JVM优化场景（早期JIT可能内联final方法）。
- 子类尝试重写会触发编译错误：
Cannot override the final method from XXX - 不等于“性能一定更好”——现代JVM已弱化
final方法与内联的强绑定，是否内联取决于运行时热点分析 - 接口中不能用
final修饰方法（Java 8+ 接口允许default和static，但不允许final）
final修饰类：彻底关闭继承，强制组合优于继承
声明为final的类无法被继承，所有方法自动隐式final。典型例子是String、Integer等基础包装类和不可变类。
- 试图
class MyString extends String会导致编译错误：cannot inherit from final String - 不是为了“安全”而
final——真正安全靠的是字段私有 + 不提供修改方法 + 防止子类篡改状态 - 若类含可变状态却声明为
final，只是阻止继承，并不自动带来不可变性；必须同步保证内部字段也final且不可变
final与不可变对象的关系：必要不充分条件
final本身不等于“不可变”，它只是构建不可变类的**基础语法支撑**之一。一个真正不可变类需要同时满足：
- 类本身用
final修饰（防子类破坏） - 所有字段用
final修饰（防实例内修改） - 字段如果是引用类型，必须确保其类型本身不可变，或在getter中返回防御性拷贝（如
new ArrayList(this.internalList)） - 不提供任何修改状态的public方法（包括setter、add、clear等）
- 构造过程不泄露
this（避免未完成构造就被外部持有引用）
public final class Point {
private final int x;
private final int y;
public Point(int x, int y) {
this.x = x;
this.y = y;
}
// 没有 setter，字段 final，类 final → 真正不可变
public int getX() { return x; }
public int getY() { return y; }
}
最容易忽略的是第三点：哪怕类和字段都final，只要返回了内部可变集合的原始引用，外部就能绕过封装修改状态。
