登录
首页 >  文章 >  java教程

final修饰符在Java中用于声明不可变的变量、方法和类。它在设计不可变对象时起着关键作用,确保对象的状态一旦初始化后就不会被修改。以下是对final修饰类、方法和变量的详细解析:一、final修饰类定义:当一个类被final修饰时,表示该类不能被继承。作用:防止子类对类的行为进行修改或扩展。提高安全性,尤其是在处理敏感数据或核心逻辑时。常用于设计不可变类,如String类(虽然String本身

时间:2026-01-31 08:41:38 215浏览 收藏

学习文章要努力,但是不要急!今天的这篇文章《final修饰类方法变量详解:Java不可变对象设计》将会介绍到等等知识点,如果你想深入学习文章,可以关注我!我会持续更新相关文章的,希望对大家都能有所帮助!

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

在Java中如何使用final修饰类方法变量_Java不可变对象设计解析

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 它。这是构建不可变对象或安全核心类的必要条件。

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

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

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

  • 类必须是 final(防子类破坏封装)
  • 所有字段必须是 private final
  • 构造过程中不泄露 this 引用(避免逸出)
  • 对可变组件(如 DateArrayList)做防御性拷贝:
    public Person(Date birthDate) {
        this.birthDate = new Date(birthDate.getTime()); // 不直接赋值
    }
  • getter 方法不能返回内部可变对象引用,必要时返回不可变视图或副本

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

终于介绍完啦!小伙伴们,这篇关于《final修饰符在Java中用于声明不可变的变量、方法和类。它在设计不可变对象时起着关键作用,确保对象的状态一旦初始化后就不会被修改。以下是对final修饰类、方法和变量的详细解析:一、final修饰类定义:当一个类被final修饰时,表示该类不能被继承。作用:防止子类对类的行为进行修改或扩展。提高安全性,尤其是在处理敏感数据或核心逻辑时。常用于设计不可变类,如String类(虽然String本身不是final,但它的实现是不可变的)。示例:finalclassImmutableClass{//类内容}注意事项:final类中的方法默认也是final的,不能被覆盖。如果一个类被final修饰,其构造函数不能被重写。二、final修饰方法定义:final方法表示该方法不能被子类覆盖(重写)。作用:确保方法的行为在所有子类中保持一致。在设计不可变对象时,防止通过方法修改对象状态。示例:classParent{finalvoiddisplay(){System》的介绍应该让你收获多多了吧!欢迎大家收藏或分享给更多需要学习的朋友吧~golang学习网公众号也会发布文章相关知识,快来关注吧!

前往漫画官网入口并下载 ➜
相关阅读
更多>
最新阅读
更多>
课程推荐
更多>