Java方法重写是子类对父类可访问方法提供新实现以支持运行时多态，需满足签名一致、返回类型兼容、访问权限不更严格、异常声明不更宽泛四条件；private、static、final方法不可重写；执行遵循“编译看左，运行看右”原则，并推荐使用@Override注解。
Java方法重写（Override）是子类对父类中已定义、可访问的方法提供新实现的过程。它不是简单地“另写一个同名方法”，而是有严格约束的覆盖行为，核心目标是支撑运行时多态——让同一调用语句，根据对象实际类型执行不同逻辑。
重写的四个硬性条件
缺一不可，否则编译失败或不构成重写：
- 方法签名完全一致：方法名、参数个数、类型、顺序必须与父类方法一模一样
-
返回类型兼容：基本类型或void必须完全相同；引用类型允许协变返回（子类返回类型是父类返回类型的子类，如父类返回
Animal，子类可返回Dog） -
访问权限不能更严格：子类方法的修饰符 ≥ 父类方法（例如父类是
protected，子类可用protected或public；父类是public，子类必须也是public） -
异常声明不能更宽泛：子类方法只能抛出父类方法声明异常的子类，或相同异常；不能新增检查异常，也不能抛出父类未声明的更上层异常（如父类抛
IOException，子类不能抛Exception）
哪些方法不能被重写
不是所有父类方法都支持重写，以下三类直接被语言规则禁止：
- private 方法：对子类不可见，子类中同名方法属于全新定义，与重写无关
-
static 方法：属于类而非实例，子类中同签名的
static方法只是隐藏（hiding），不触发多态 - final 方法：明确禁止覆盖，编译器会报错
重写的执行机制：编译看左，运行看右
这是理解多态的关键：
立即学习“Java免费学习笔记（深入）”；
-
编译期检查左边：看引用变量的声明类型（如
Animal a），确认该类型中是否存在可调用的匹配方法签名；不存在则编译失败 -
运行期决定右边：看实际创建的对象类型（如
new Dog()），JVM动态绑定到该类型中重写后的方法体 - 例如：
Animal a = new Dog(); a.makeSound();编译时查Animal类有没有makeSound()，运行时执行Dog类里的版本
@Override 注解不是可选，而是强烈推荐
加上它，编译器会在你“以为自己在重写”但其实不满足条件时立即报错（比如拼错方法名、参数少写一个），避免隐性bug。它不改变行为，只增强代码健壮性和可读性。
基本上就这些。重写不复杂，但每条规则都直指多态能否正确工作的底层逻辑。
