Java方法重写必须同时满足四条件：方法名相同、参数列表完全一致、返回类型为协变类型、访问权限不更严格；@Override仅作编译检查，static和private方法不可重写。
重写方法必须满足哪些条件
Java中方法重写（Override）不是加个@Override注解就自动生效的，它依赖编译器对继承关系和签名的严格校验。如果条件不满足，哪怕写了@Override，编译也会报错。
必须同时满足以下四点：
- 子类中的方法与父类中被重写的方法**名称相同**
- 参数列表完全一致（类型、数量、顺序），不能只是“相似”——比如
String和Object不算匹配 - 返回类型是父类方法返回类型的**协变类型**（如父类返回
Animal，子类可返回Dog），但基本类型和void必须完全相同 - 访问权限不能比父类更严格（比如父类是
protected，子类不能写private）
@Override注解到底起什么作用
@Override本身不改变任何运行行为，它纯粹是给编译器看的“声明”：我 intention 是重写父类方法。一旦写上，编译器就会强制检查是否真有可重写的目标方法。
常见误用场景：
立即学习“Java免费学习笔记（深入）”；
- 拼错父类方法名（如把
toString()写成toStirng()）→ 编译报错：method does not override or implement a method from a supertype - 父类方法是
private或static→ 无法被重写，加@Override会触发同样错误 - 子类在接口实现类中误标
@Override去“重写”接口默认方法，但签名不匹配 → 同样报错
它本质是个安全带，不是发动机。
为什么重写时返回类型能变但参数不能变
这是由JVM方法分派机制决定的：重写基于**运行时动态绑定**，而绑定依据是方法签名（name + descriptor），其中descriptor包含参数类型和返回类型。但Java语言规范允许返回类型协变，是因为它不破坏调用兼容性——父类引用调用时，返回值仍可被安全当作父类型使用。
参数类型则完全不同：如果子类方法参数范围更宽（如父类接收Dog，子类改成Animal），父类引用传Dog没问题；但如果子类参数更窄（如父类Animal，子类Dog），父类引用传Cat就会在运行时出问题，所以编译器禁止这种“逆变参数”。
一句话：返回类型变宽安全，参数变窄才安全；而重写只允许前者。
容易被忽略的static和private陷阱
这两个修饰符会让方法失去“可重写性”，但开发者常因命名巧合误以为发生了重写：
-
static方法属于类，不是实例，子类里同名static方法只是**隐藏（hiding）**，不是重写。调用取决于引用类型，而非实际对象类型 -
private方法不能被继承，子类里同名方法只是**新定义**，跟父类毫无关系，加@Override会直接编译失败
示例：
class Parent {
public static void say() { System.out.println("Parent static"); }
private void talk() { System.out.println("Parent private"); }
}
class Child extends Parent {
public static void say() { System.out.println("Child static"); } // ✅ 隐藏，非重写
// @Override → ❌ 编译错误：private方法不可重写
// private void talk() { ... }
}
真正需要重写逻辑时，别碰static和private——它们是重写的绝缘体。
