final关键字的用途及不可变设计详解

Java中的final关键字常被误解为“万能不可变锁”，实则它仅在引用、方法定义或类继承层面提供有限约束：final变量锁定的是引用而非对象内容，final方法阻止重写但允许重载，final类杜绝继承却无法自动保障内部状态安全；真正实现不可变设计需组合多重手段——声明final类与final字段、确保所有成员类型本身不可变（或通过防御性拷贝隔离可变对象）、避免暴露可变内部状态，而record等现代语法正为此提供了更简洁可靠的解决方案。

final 修饰变量：值不可再赋，但对象内部可变

声明为 final 的变量（包括局部变量、字段）必须在声明时或构造过程中完成初始化，之后不能再被赋新值。注意：这仅保证“引用不可变”，不等于“对象不可变”。

• final List list = new ArrayList(); 合法，但 list.add("a") 仍可执行 —— 引用没变，内容变了
• 若需真正不可变容器，应配合 Collections.unmodifiableList() 或使用 ImmutableList.of()（Guava）
• 对于基本类型（如 int、boolean），final 确实意味着值恒定；对引用类型，只锁住引用地址

final 修饰方法：禁止子类重写，但不影响重载

被 final 修饰的方法不能被子类覆盖（override），但可以被重载（overload）。常见于模板方法模式中固定流程的钩子，或性能敏感的底层方法（JVM 可能内联优化）。

• 错误示例：

  class Parent { final void foo() {} }
  class Child extends Parent { void foo() {} } // 编译报错：Cannot override the final method

• 正确重载：void foo(String s) 和 final void foo() 可共存
• 注意：@Override 注解与 final 方法互斥，加了会编译失败

final 修饰类：彻底封禁继承链

声明为 final 的类无法被继承，所有方法自动隐式 final（但不能显式加 final 修饰符，否则编译报错）。

• 典型例子：String、Integer、LocalDateTime 均为 final 类，确保其行为和状态不可被篡改
• 若你设计一个值对象（Value Object）且不希望被扩展，直接声明 final class Point { ... } 是最简明的契约表达
• 反模式：为“暂时不想让别人继承”而加 final，却不提供替代扩展机制（如组合、策略接口），易导致后期重构困难

final 在不可变设计中的真实约束力

final 是不可变（immutability）的必要非充分条件。它只解决“引用/定义层面”的可变性，不处理深层状态。

• 要实现真正不可变类，需同时满足：final 类 + final 字段 + 所有字段为不可变类型（或防御性拷贝）+ 不提供修改状态的方法
• 常见疏漏：final Date date; 中 Date 本身可变，必须在 getter 中返回 new Date(date.getTime()) 防御性拷贝
• 现代写法推荐用 record（Java 14+）：

  public record Person(String name, LocalDate birthday) {}

  自动生成 final 字段、不可变语义及安全访问器

文中关于的知识介绍，希望对你的学习有所帮助！若是受益匪浅，那就动动鼠标收藏这篇《final关键字的用途及不可变设计详解》文章吧，也可关注golang学习网公众号了解相关技术文章。