final关键字在Java中的常见用法及不可变特性说明

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，只要返回了内部可变集合的原始引用，外部就能绕过封装修改状态。