Java方法重写是多态核心机制，要求方法签名一致、访问权限不更严格、非final/static/private、异常声明不扩大，并支持协变返回；@Override注解用于编译期校验，确保正确重写。
Java中的方法重写（Override）是面向对象多态性的核心机制之一，它允许子类提供父类中已定义方法的具体实现。重写不是简单地“重新写一个同名方法”，而是有严格语义和编译期/运行期协同保障的机制——方法调用的实际执行版本，由对象的真实类型（运行时类型）决定，而非引用变量的声明类型。
重写的基本条件：必须同时满足这四点
只有当以下四个条件全部成立时，子类中的方法才被视为对父类方法的有效重写：
- 方法签名完全一致：包括方法名、参数个数、参数类型顺序必须与父类方法一模一样；返回类型需满足协变规则（见下文），不能仅靠返回类型不同来构成重写
-
访问权限不能更严格：子类方法的访问修饰符不能比父类更私有，比如父类是
protected，子类不能用private或包级（默认）；但可以更宽松（如改为public） - 不能重写被final、static或private修饰的方法：final方法禁止重写；static方法属于类，不参与多态，子类同名static方法只是隐藏（Hide）而非重写；private方法对子类不可见，自然无法重写
- 异常声明受限：子类重写方法抛出的检查型异常（checked exception）不能比父类方法更多或更宽泛，可以抛出更少、更具体的异常，或不抛出任何检查型异常
返回类型：支持协变返回（Covariant Return）
从Java 5开始，重写方法的返回类型可以是父类方法返回类型的子类型。这叫协变返回，提升类型安全性且避免强制转型。
例如：
立即学习“Java免费学习笔记（深入）”；
class Animal { Animal get() { return new Animal(); } }
class Dog extends Animal { @Override Dog get() { return new Dog(); } } // 合法：Dog 是 Animal 的子类
注意：基本类型和void不参与协变；返回类型必须是引用类型，且存在继承关系。
@Override注解：不只是装饰，更是编译器的校验工具
在子类方法上显式添加@Override注解，会让编译器主动检查该方法是否真正重写了父类（或接口）中的方法。一旦不满足重写条件（比如拼错方法名、参数类型不对、父类方法是private），编译直接报错。
这不是可选习惯，而是强烈推荐的实践——它能提前暴露设计错误，避免因“以为重写了其实没重写”导致的逻辑静默失效。
重写 vs 重载 vs 隐藏：别混淆这三个概念
容易混淆的三个行为，关键区别在于发生时机和作用对象：
- 重写（Override）：发生在父子类之间，针对实例方法，运行时动态绑定，体现多态
- 重载（Overload）：发生在同一个类中，方法名相同但参数列表不同，编译时静态绑定，与多态无关
- 隐藏（Hide）：子类定义了与父类static方法或字段同名的成员，此时子类成员会隐藏父类对应成员；调用取决于引用类型（不是对象类型），不具多态性
例如：Parent p = new Child(); p.staticMethod(); 调用的是Parent.staticMethod()，因为static方法被隐藏，而非重写。
