方法重写是子类替换父类实例方法的行为，需满足签名一致、返回类型协变、访问权限不收紧、检查异常不扩大四个条件，并必须使用@Override注解以避免隐性错误。
方法重写就是子类换掉父类的某个实例方法实现
它不是“加功能”，而是“换行为”——当子类对象调用该方法时，JVM 会跳过父类代码，直接执行子类里重写后的新逻辑。这是 Java 多态的底层支撑，也是 Animal a = new Dog() 调用 a.move() 却输出“狗可以跑和走”的根本原因。
@Override 注解不是可选装饰，而是编译期安全锁
不加 @Override 也能重写成功，但一旦方法签名稍有偏差（比如参数类型写成 int 而非 Integer，或返回类型写错），编译器不会报错，而是悄悄当成一个全新方法（即重载），导致运行时调用不到预期逻辑——这种 bug 极难排查。
- 必须加：只要意图是重写，就强制加
@Override - 编译失败反而是好事：说明签名不匹配，比如拼错了方法名、漏了泛型、参数顺序不对
- IDEA 中按
Ctrl + O自动生成重写方法，会自动带@Override，别手动删
四个硬性条件缺一不可，尤其容易栽在访问权限和异常上
很多人只记得“方法名+参数一样”，却忽略返回类型协变、权限放宽、异常收缩这些隐性规则。违反任一条，要么编译失败，要么看似重写实则无效。
- 方法签名必须完全一致：包括方法名、参数类型（注意基本类型和包装类不兼容）、参数顺序、参数个数
-
返回类型可以是父类返回类型的子类（协变返回）：父类返回
Animal，子类可返回Dog；但父类返回int，子类不能返回long -
访问权限不能更严格：父类是
protected，子类不能用private或默认（包私有）；但public→protected是非法的 -
检查异常只能减少或变窄：父类声明
throws IOException，子类只能throws FileNotFoundException（IOException子类）或不抛异常；绝不能throws Exception
这些“看起来像重写”的情况，其实都不是重写
初学者常把隐藏（static）、重载（同名不同参）、继承不可见方法（private）误认为重写，结果调用行为完全不符合预期。
立即学习“Java免费学习笔记（深入）”；
-
static方法同名同参 → 是隐藏（hiding），不是重写：调用取决于引用类型，而非实际对象类型 - 父类
private void run()→ 子类定义同名方法只是新方法，和父类无任何关系（private不可继承） - 父类
final void jump()→ 编译直接报错：cannot override final method - 构造方法、成员变量、
default接口方法（未被implements覆盖）都不参与重写机制
protected 与包访问权限的微妙差异。动手前先确认 @Override 是否通过，比事后调试快十倍。 
