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

Ja va 中 final 修饰的方法为什么能彻底阻止子类重写？答案其实很直接：不是靠文档提醒，也不是靠运行时约束，而是在编译器这一层就直接卡死——代码根本编译不过去。这一点，和很多开发者误以为的“约定大于配置”完全不是一回事。

你写一个 final 方法，子类哪怕把签名抄得一模一样，加上 @Override 注解，ja vac 也会立刻报错：Cannot override the final method。这个错误不是运行时才出现的，它在生成 .class 文件之前就被拦住了。更狠的是，就算子类不写 @Override，只要方法签名匹配，编译器一样能识别出“你想重写”，同样中断编译。

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

• 报错信息通常是 Cannot override final method，或者 method does not override or implement a method from a supertype。
• 这是一个编译期错误，不是在应用程序启动后才会抛异常——它连字节码都不会生成。
• 子类没加 @Override 也没用，Ja vac 会从签名匹配上判断出意图，照样拒绝。

final 方法仍可被继承和调用

加 final 并不是把方法封死。子类对象完全可以调用父类那个 public final void commit()，行为一切正常。它只是不允许你“改实现”。

• 子类可以定义同名但参数不同的方法（即重载 overload），final 不影响重载。
• private 方法本来就不被继承，加 final 是多余的；构造方法也不能用 final 修饰。

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

重写的前提是方法可被继承且可被覆盖。而 final 在字节码层面给方法打上了 ACC_FINAL 标志。JVM 加载类时，一旦发现子类试图覆盖带这个标志的方法，验证阶段就会抛出 VerifyError。不过现在的编译器通常会在 ja vac 阶段就提前拦截，用户基本接触不到那个错误。

调用 final 方法不需要依赖虚方法表（vtable）做动态分派，编译器在编译期就能确定目标——这是一种“编译期锁定”机制，性能上也有好处。

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

static 方法确实也不能被重写，但它走的是“隐藏（hiding）”机制，不是 override。通过父类引用调用 static 方法，执行父类版本；通过子类引用调用，执行子类版本——行为取决于引用类型，而不是实际对象类型。而 final 实例方法依然是动态绑定的，只是不允许子类提供新实现。

static final 组合是合法的，既防止隐藏也防止重写，但大多数场景只需 public final 就够了。