final关键字的作用与使用详解

大家好，今天本人给大家带来文章《final关键字的使用与详解》，文中内容主要涉及到，如果你对文章方面的知识点感兴趣，那就请各位朋友继续看下去吧~希望能真正帮到你们，谢谢！

final修饰基本类型变量时值不可变，修饰引用类型时仅锁住引用本身而非对象内容；final方法不可重写但可重载；final类不可被继承；final字段须在构造器结束前初始化，JVM为其提供内存屏障保障。

final修饰变量时到底锁住了什么

final修饰基本类型变量时，值不可变；修饰引用类型变量时，锁住的是引用本身，不是对象内容。很多人误以为final List就无法修改元素，其实只是不能再指向新List对象。

• final int x = 10; → 后续赋值x = 20;编译报错：无法为最终变量分配值
• final List list = new ArrayList(); → list.add("a");合法，但list = new ArrayList();非法
• 数组同理：final String[] arr = {"a"}; → arr[0] = "b";允许，arr = new String[2];禁止

final方法为什么不能被重写但可以被重载

final方法在子类中不可覆盖（override），但可在同一类中重载（overload）。这是JVM层面的限制，编译器会直接拒绝生成子类的重写字节码。

• 父类声明public final void process() {}，子类写@Override public void process() {} → 编译错误：无法覆盖最终方法
• 同一类中可存在public final void process()和public final void process(String s)，不冲突
• 注意：private方法默认具有final语义（无法被继承），但加final无实际意义，且部分IDE会警告

final类在继承体系中的真实约束

被final修饰的类不能被继承，任何extends该类的尝试都会在编译期失败。这不是运行时检查，也不影响其内部成员的访问权限。

• final class Utils { ... } → class MyUtils extends Utils { ... }编译报错：无法从最终类继承
• final类中的非private方法自动成为final（即使没显式写），但static方法不受影响（本来就不能被重写）
• 常见陷阱：试图用ASM或反射绕过final类限制——JVM在类加载阶段就会拒绝链接，反射Class.forName()也会抛NoClassDefFoundError而非运行时异常

final字段的初始化时机与JVM内存模型关联

final字段必须在构造器结束前完成初始化（显式赋值、实例初始化块、构造器内），否则编译报错。JVM对final字段有特殊内存屏障保障，确保多线程下安全发布。

• 未初始化的final字段：final String name; → 构造器中漏掉this.name = "x"; → 编译错误：可能尚未初始化最终字段
• 静态final字段必须在静态初始化块或声明时赋值，static final Map m;需配static { m = new HashMap(); }
• 注意：如果final字段是对象引用，且该对象本身可变（如HashMap），则其内部状态仍可被并发修改——final只保证引用不变，不提供对象级线程安全

public class FinalExample {
    final int id;
    final List<string> tags;

    // 必须在此处完成所有final字段初始化
    public FinalExample(int id) {
        this.id = id;           // ✅ 正确：构造器内赋值
        this.tags = new ArrayList();
        this.tags.add("default"); // ✅ 允许：修改对象内容
    }

    public void addTag(String t) {
        this.tags.add(t);       // ✅ 合法操作
    }

    // ❌ 错误：以下代码会导致编译失败
    // public FinalExample() {} // 编译报错：可能尚未初始化最终字段
}</string>

本篇关于《final关键字的作用与使用详解》的介绍就到此结束啦，但是学无止境，想要了解学习更多关于文章的相关知识，请关注golang学习网公众号！