Java 中继承中 final 关键字怎样阻止方法重写

Java中final修饰的方法不能被子类重写，这是编译期强制约束，子类同名同签名方法会触发“Cannot override the final method”编译错误，旨在保障方法实现的不可变性与继承体系行为一致性。

Java 中用 final 修饰方法，是编译期直接禁止子类重写的最明确方式——不是靠约定、不是靠文档，而是让代码根本编译不过。

final 方法被重写时会直接报错

只要方法声明里有 final，子类哪怕写一个签名完全相同的 @Override 方法，编译器就会拒绝：

• 错误提示类似：Cannot override final method 或 method does not override or implement a method from a supertype
• 这不是运行时异常，而是在 javac 阶段就中断，连 class 文件都不会生成
• 哪怕子类没加 @Override 注解，只要方法签名匹配，也会被识别为“试图重写”，同样报错

final 方法仍可被继承和调用

加 final 不等于封死访问，它只管“能不能改”：

• 子类对象可以直接调用父类的 public final void commit()，行为完全正常
• 子类可以定义同名但参数不同的方法（即重载 overload），final 不影响重载
• private 方法本身不可见、不可继承，加 final 是冗余的；构造方法不能用 final 修饰

为什么能阻止重写？底层逻辑很简单

重写（override）的前提是：方法可被继承 + 可被覆盖。而 final 在字节码层面标记该方法为“不可覆盖”：

立即学习“Java免费学习笔记（深入）”；

• JVM 加载类时，会检查方法是否被 ACC_FINAL 标志修饰
• 如果子类尝试覆盖它，验证阶段就会失败，抛出 VerifyError（不过现代编译器通常提前拦截，不会走到这步）
• 它不依赖运行时类型判断，也不需要虚方法表（vtable）动态分派——调用目标在编译期就确定了

别和 static 混淆：两者阻止重写的方式不同

static 方法确实也不能被重写，但它走的是“隐藏（hiding）”机制，不是 override：

• 通过父类引用调用 static 方法，执行的是父类的版本；通过子类引用调用，执行的是子类的版本——行为取决于引用类型，不是实际对象类型
• 而 final 实例方法仍是动态绑定的，只是不允许子类提供新实现
• static final 组合是合法的，既防止隐藏又防止重写，但多数场景只需 public final