final修饰类方法变量详解：Java不可变对象设计

你在学习文章相关的知识吗？本文《final修饰类方法变量详解：Java不可变对象设计》，主要介绍的内容就涉及到，如果你想提升自己的开发能力，就不要错过这篇文章，大家要知道编程理论基础和实战操作都是不可或缺的哦！

final修饰变量仅保证引用不可变，对象内容仍可变；修饰方法禁止覆盖但允许重载；修饰类禁止继承；真正不可变需满足类final、字段private final、不逸出this、防御性拷贝可变组件、getter返回不可变视图。

final 修饰变量：值不可变，但对象内容可能变

声明为 final 的变量只能赋值一次，编译器会强制检查。但要注意：它约束的是「引用不可变」，不是「对象状态不可变」。

• final List list = new ArrayList(); 合法，之后不能 list = new ArrayList();（引用重赋值报错）
• 但 list.add("a"); 完全允许——ArrayList 本身是可变容器
• 若需真正不可变，得用 Collections.unmodifiableList() 或 ImmutableList.of()（Guava）
• 基本类型（如 final int x = 5;）才真正“值不可变”

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

在方法签名前加 final，表示该方法不能被子类 @Override。这是实现类契约稳定性的常用手段。

• 常见于模板方法模式中的钩子方法，比如 final void execute() { before(); doWork(); after(); }
• 不影响同名重载（overload）：子类仍可定义 void execute(String s)
• 性能上现代 JVM 几乎无影响，final 方法仍可能被内联，别指望靠它优化
• 注意：private 方法隐式 final，显式写出来是冗余的

final 修饰类：彻底封禁继承，强制组合优于继承

类被声明为 final 后，任何类都无法 extends 它。这是构建不可变对象或安全核心类的必要条件。

• String、Integer、LocalDateTime 都是 final 类——你无法继承并篡改其行为
• 一旦类含可变字段（如 private Date date;），即使类是 final，也未必不可变；必须确保字段本身不可变 + 构造后不暴露可变引用
• 不要为“防止别人乱继承”而滥用 final；如果类设计本就未开放扩展点，final 是合理防御

不可变对象的完整实践要点

仅靠 final 关键字远远不够。一个真正不可变对象需同时满足多个条件：

• 类必须是 final（防子类破坏封装）
• 所有字段必须是 private final
• 构造过程中不泄露 this 引用（避免逸出）
• 对可变组件（如 Date、ArrayList）做防御性拷贝：

  public Person(Date birthDate) {
      this.birthDate = new Date(birthDate.getTime()); // 不直接赋值
  }

• getter 方法不能返回内部可变对象引用，必要时返回不可变视图或副本

最容易被忽略的是第4点和第5点：哪怕类和字段都用了 final，只要返回了原始 ArrayList 引用，外部就能修改内部状态。

以上就是《final修饰类方法变量详解：Java不可变对象设计》的详细内容，更多关于的资料请关注golang学习网公众号！