在Java中方法重写需要注意哪些细节_Java方法覆盖规则解析_技术教程

重写方法的访问修饰符不能比父类更严格：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 和 List 都变成原始 List，所以不能靠泛型区分重写——编译器会报错 “attempting to use incompatible return type”
协变对异常类型不适用：子类重写方法不能抛出比父类方法更多或更宽泛的检查异常（Exception），但可以抛出更具体的（IOException）或不抛出

静态方法无法被重写，只能被隐藏（hiding）

子类定义一个与父类静态方法同名、同签名的静态方法，不是重写，而是“隐藏”。调用哪个方法取决于**引用类型**，而非实际对象类型。

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 的声明类型，不是运行时类型