在 Java 等编程语言中，final 关键字是一个非常重要的修饰符，它的主要作用是“不可变性”或“最终性”，根据使用场景的不同（修饰变量、方法、类），final 的具体含义和行为有所区别。
以下是 final 关键字在三个主要场景下的详细作用：
修饰变量（Variable）
当 final 修饰一个变量时，表示该变量一旦被赋值，其值（对于基本数据类型）或引用（对于引用数据类型）就不能再改变。
-
基本数据类型（如 int, double, boolean）：
- 值不可更改。
- 必须在声明时或构造函数中初始化,之后不能再赋值。
- 示例：
final int MAX_SIZE = 100; // MAX_SIZE = 200; // 编译错误：无法为最终变量 MAX_SIZE 分配值
-
引用数据类型（如 Object, String, 自定义对象）：
- 引用地址不可更改：你不能让该变量指向另一个对象。
- 可能可变：如果对象本身是可变的（如
ArrayList或自定义类），你仍然可以修改对象内部的状态（调用其方法），但不能改变变量指向的对象实例。 - 示例：
final List<String> list = new ArrayList<>(); list.add("Hello"); // 允许：修改对象内部状态 // list = new ArrayList<>(); // 编译错误：无法重新赋值引用
-
常量约定：
final static修饰的变量被视为常量，命名规范要求全部大写（如PI、MAX_VALUE）。
修饰方法（Method）
当 final 修饰一个方法时，表示该方法不能被重写（Override）。
-
目的：
- 防止子类改变该方法的行为,确保该方法在所有子类中保持一致。
- 某些情况下,JVM 可以对 final 方法进行内联优化（inlining），提升执行效率（虽然现代 JVM 优化已很强大，这一点的实际意义有所减弱）。
-
示例：
class Parent { public final void display() { System.out.println("Parent method"); } } class Child extends Parent { // @Override // public void display() { ... } // 编译错误：无法重写 Parent 中的 final 方法 }
修饰类（Class）
当 final 修饰一个类时，表示该类不能被继承（Extend）。
-
目的：
- 确保类的行为完全一致,防止子类通过继承修改或扩展类的行为。
- 常用于设计安全关键或不可变的类。
-
常见例子：
java.lang.Stringjava.lang.Mathjava.lang.Integer等包装类
-
示例：
final class MyFinalClass { // 类内容 } // class SubClass extends MyFinalClass {} // 编译错误：无法从最终类 MyFinalClass 进行继承
总结对比表
| 修饰对象 | 含义 | 主要用途 |
|---|---|---|
| 变量 | 值/引用不可变 | 定义常量、防止意外修改、线程安全 |
| 方法 | 不可被重写 | 锁定行为、防止子类篡改、潜在性能优化 |
| 类 | 不可被继承 | 设计不可变类、安全控制、API 稳定性 |
补充说明：final 与线程安全
final变量有助于线程安全，在 Java 内存模型中，final字段的初始化保证在构造函数结束前完成，并且对其他线程可见，这避免了“发布逸出”（escape）问题。- 但注意：
final修饰引用类型时，只保证引用不变，不保证对象内部状态线程安全，如需完全线程安全，需结合synchronized或使用并发集合。
最佳实践建议
- 优先使用
final：除非你有明确的理由需要修改变量或重写方法，否则默认将变量、方法、类声明为final，以提高代码的可读性和安全性。 - 常量命名规范：使用
public static final定义常量，并采用全大写下划线命名法（如MAX_RETRY_COUNT）。 - 谨慎使用
final类：除非你确实希望禁止继承（如String），否则不要随意将类声明为final，以免限制扩展性。
首发原创文章，作者：世雄 - 原生数据库架构专家，如若转载，请注明出处：https://idctop.com/article/477466.html
