Java方法重写是什么？详解Override机制

Java方法重写（Override）是子类精准替换父类实例方法以实现多态的核心机制，它不是简单添加功能，而是彻底更换行为逻辑——当通过父类引用调用方法时，JVM会动态绑定到子类重写后的新实现，这正是“Animal a = new Dog(); a.move()”输出“狗可以跑和走”的本质；但重写绝非随意而为，必须严格满足四大硬性条件：方法签名完全一致、返回类型协变、访问权限不收紧、检查异常不扩大，且务必使用@Override注解作为编译期安全锁——它能即时暴露拼写错误、泛型遗漏或参数偏差等隐蔽陷阱，避免因误成重载而导致“编译通过却运行失效”的顽固bug；同时需警惕常见误区：static方法是隐藏而非重写，private/final方法不可重写，构造器和成员变量更不参与该机制；真正掌握重写，关键在于理解其严谨契约与运行时动态绑定的协同，而非仅停留在“同名同参”的表层认知。

方法重写就是子类换掉父类的某个实例方法实现

它不是“加功能”，而是“换行为”——当子类对象调用该方法时，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）误认为重写，结果调用行为完全不符合预期。

• static 方法同名同参 → 是隐藏（hiding），不是重写：调用取决于引用类型，而非实际对象类型
• 父类 private void run() → 子类定义同名方法只是新方法，和父类无任何关系（private 不可继承）
• 父类 final void jump() → 编译直接报错：cannot override final method
• 构造方法、成员变量、default 接口方法（未被 implements 覆盖）都不参与重写机制

重写机制表面简单，真正卡住人的永远是那些“编译能过、运行不对”的边界情况——比如协变返回配合泛型擦除、异常类型父子关系判断、或 protected 与包访问权限的微妙差异。动手前先确认 @Override 是否通过，比事后调试快十倍。

文中关于的知识介绍，希望对你的学习有所帮助！若是受益匪浅，那就动动鼠标收藏这篇《Java方法重写是什么？详解Override机制》文章吧，也可关注golang学习网公众号了解相关技术文章。