final关键字通过明确类结构、方法实现、变量引用三者的不可变边界提升代码安全性、可读性与性能；修饰变量仅保证引用不变而非对象内容不变，修饰方法禁止重写但允许重载，修饰类则终结继承链并强化封装，且final字段在JMM中具备初始化安全性。
final关键字不是“写死就完事”，而是通过明确不可变边界，让代码更安全、更易读、更易优化。关键在于分清“什么不可变”——类结构、方法实现、变量引用，三者语义完全不同。
final修饰变量：常量 ≠ 不可变对象
这是最常踩坑的点。final修饰变量，只保证“引用地址不变”，不保证“对象内容不变”。
- 基本类型（int、boolean等）：值不可改，如final int PORT = 8080;，再赋值直接编译报错；
- 引用类型（String、List、自定义对象等）：不能重新指向新对象，但可修改内部状态。例如final List<String> names = new ArrayList<>();允许names.add("Alice")，但不允许names = new ArrayList<>()；
- 初始化必须一次完成：成员变量可在声明处、初始化块、构造器中赋值（三选一）；局部变量需在使用前显式赋值；static final必须在声明时或静态代码块中初始化。
final修饰方法：锁定实现，不锁调用
被final修饰的方法可以被子类继承并正常调用，但禁止重写（Override）。JVM因此可做内联优化，提升执行效率。
- 适用于核心逻辑稳定、不容篡改的方法，比如工具类中的formatDate()、校验类中的isValidEmail()；
- 注意区分：final方法可以重载（Overload），只是不能重写（Override）；
- 常见误用：在父类中把本该由子类定制的方法设为final，导致扩展性丧失。
final修饰类：终结继承链，强化封装
final类无法被继承，所有方法自动成为final（无需显式加final），字段也天然具备更强的不可变约束。
- 典型场景：String、Integer等包装类——防止子类破坏其不可变契约；
- 工具类（如StringUtils、DateUtils）和常量类（如AppConstants）应设为final，并配私有构造器，杜绝实例化；
- Spring Boot项目中，配置实体类若设计为只读传输（如DTO），也可用final+全final字段+防御性复制，构建轻量级不可变数据载体。
多线程与JMM下的final价值
final不只是语法限制，更是JVM内存模型的重要参与者。被final修饰的字段，在构造器中完成初始化后，对其他线程天然可见——无需synchronized或volatile就能保证“初始化安全性”。
- 这意味着：多个线程同时读取一个已正确构造的final对象，一定能看到其final字段的正确初始值；
- 前提条件是：构造器中不能泄露this（如启动线程、注册监听器、将this传给外部方法），否则可能看到未完全初始化的状态；
- 这一特性是Java实现高效不可变对象（如String、LocalDateTime）的底层保障。
