重写方法的访问修饰符不能比父类更严格：public可重写protected或default，private不可重写；@Override是编译校验开关，确保签名匹配；返回类型支持引用类型的协变，静态方法只能隐藏不能重写。
重写方法的访问修饰符不能比父类更严格
子类重写方法时，public 可以重写 protected 或 default（包访问），但反过来不行。如果父类方法是 private，它根本不可见，子类中同名方法只是新定义，不构成重写。
-
private方法无法被重写——JVM 在编译期就绑定，属于静态绑定 - 父类
default方法在不同包的子类中无法访问，自然也不能重写 - 接口默认方法（
default）可被实现类重写，但必须用public（接口方法默认就是public，重写时不能降级）
@Override 注解不是可选的“装饰”，而是编译器校验开关
加了 @Override，编译器会强制检查：该方法是否真的在父类或接口中存在可重写的方法签名。漏写可能导致你以为重写了，实际是重载或新建了方法。
- 常见误写：
toString()拼错成toStirng()，没加@Override就不会报错，但逻辑永远不生效 - 父类方法加了
final，子类仍尝试重写并加@Override→ 编译失败，立刻暴露问题 - Lombok 的
@Data会自动生成toString()/equals()，若手动重写却忘了加@Override，容易因签名微小差异（如参数类型是Object还是具体类）导致重载而非重写
返回类型协变（covariant return type）只适用于引用类型
Java 5 起允许子类重写方法时，返回更具体的子类型，但仅限于类类型，不适用于基本类型或 void。
class Animal {}
class Dog extends Animal {}
class AnimalFactory {
Animal create() { return new Animal(); }
}
class DogFactory extends AnimalFactory {
@Override
Dog create() { return new Dog(); } // ✅ 合法：Dog 是 Animal 的子类
}
-
int不能重写为long，void不能重写为任意类型 - 泛型擦除后，
List<String>和List<Object>都变成原始List，所以不能靠泛型区分重写——编译器会报错 “attempting to use incompatible return type” - 协变对异常类型不适用：子类重写方法不能抛出比父类方法更多或更宽泛的检查异常（
Exception），但可以抛出更具体的（IOException）或不抛出
静态方法无法被重写，只能被隐藏（hiding）
子类定义一个与父类静态方法同名、同签名的静态方法，不是重写，而是“隐藏”。调用哪个方法取决于**引用类型**，而非实际对象类型。
立即学习“Java免费学习笔记（深入）”；
class Parent {
static void say() { System.out.println("Parent"); }
}
class Child extends Parent {
static void say() { System.out.println("Child"); }
}
Parent p = new Child();
p.say(); // 输出 "Parent" —— 看 p 的声明类型，不是运行时类型
- 这种行为和实例方法的动态绑定截然不同，极易混淆
-
@Override用在静态方法上会直接编译失败，这是识别“你以为在重写，其实只是隐藏”的最快方式 - 如果父类静态方法是
private，子类同名静态方法完全独立，连隐藏都算不上
static / final / private——这些都不是“重写失败”，而是根本没进入重写语义范畴。最常被忽略的是：重写发生在运行时多态基础上，而一切前提，是你得先让 JVM 认出这是同一个方法。 
