final修饰方法是编译期禁止子类重写的最明确方式，javac在编译阶段即拦截重写尝试并报错，不生成.class文件；它允许继承和调用，仅禁止修改实现，且不阻碍重载，其底层通过字节码ACC_FINAL标志和JVM验证保障。
Java 中用 final 修饰方法，是编译期直接禁止子类重写的最明确方式——不是靠约定、不是靠文档，而是让代码根本编译不过。
编译阶段就拦截，不给重写任何机会
final 方法的约束发生在 javac 编译阶段。只要父类方法声明为 public final void save()，子类哪怕只写一个签名完全相同的普通方法（不加 @Override），也会被编译器识别为“试图重写”，并报错：
Cannot override the final method- 或
method does not override or implement a method from a supertype
错误一出现，连 .class 文件都不会生成，运行时更无从谈起。
允许继承和调用，只禁“改实现”
加 final 不等于封死访问。它只限制“能不能提供新逻辑”：
立即学习“Java免费学习笔记（深入）”；
- 子类对象可以直接调用
parentObj.finalMethod()，行为完全正常 - 子类可以定义同名但参数不同的方法（即重载），
final不影响重载 - 方法仍参与多态：通过父类引用调用，执行的仍是父类的
final实现
底层机制：字节码标记 + JVM 验证
JVM 在类加载的验证阶段会检查方法是否带有 ACC_FINAL 标志。如果子类尝试覆盖它，验证失败，抛出 VerifyError。不过现代编译器早已提前拦截，一般不会走到这一步。
它不依赖虚方法表（vtable）动态分派——调用目标在编译期就确定了，这也是性能优化的基础之一。
哪些情况加 final 是合理且必要的
不是所有方法都该加 final，重点保护那些一旦被修改就会破坏语义一致性或安全边界的逻辑：
- 身份校验、权限检查、数据签名验证等安全敏感方法（如
checkPermission()） - 模板方法模式中控制流程的核心步骤（如
executeWorkflow()） - 关键状态转换方法（如
transitionToFinalState()），防止跳过中间校验 - 已被大量子类依赖、行为必须保持稳定的遗留方法
