Java中方法重写的原理和作用

方法重写（Override）是Java面向对象编程中实现多态的核心机制，通过子类重新定义父类非private、非static、非final方法，在运行时根据对象实际类型调用对应方法，从而提升代码的扩展性、灵活性和可维护性。

• 基于继承关系：方法重写发生在子类继承父类后，对父类中已有的实例方法进行重新定义。子类需定义一个与父类方法同名、参数列表相同、返回类型兼容的方法，形成重写关系。

  返回类型兼容性：允许协变返回类型（子类方法的返回类型可以是父类方法返回类型的子类）。例如，父类方法返回Number，子类可返回Integer。

• 动态绑定（后期绑定）：JVM在运行时通过对象的实际类型决定调用哪个方法，而非引用类型。例如：class Animal { void makeSound() { System.out.println("Animal makes a sound"); } }class Dog extends Animal { @Override void makeSound() { System.out.println("Dog barks"); } }Animal a = new Dog();a.makeSound(); // 输出 "Dog barks"虽然引用类型为Animal，但实际对象是Dog，因此调用Dog类中重写的方法。
• 方法表（vtable）机制：JVM通过方法表实现动态绑定。每个类维护一个方法表，存储实例方法的实际入口地址。子类重写父类方法时，会覆盖方法表中对应条目，指向子类的新实现。

• 实现多态：同一操作作用于不同对象时产生不同结果。例如，父类引用指向不同子类对象时，调用重写方法会执行子类的特定逻辑。
• 增强行为定制能力：子类可根据需求修改父类方法行为，无需修改父类代码，符合开闭原则（对扩展开放，对修改关闭）。
• 统一接口调用：通过父类引用调用重写方法，简化高层代码设计。例如，框架中定义父类接口，具体逻辑由子类实现，降低代码耦合度。
• 支持框架设计：许多框架（如Spring、Servlet）利用重写机制提供钩子方法（hook method），允许用户自定义逻辑。例如，Servlet中的doGet()/doPost()方法可被重写以实现特定功能。

• 方法签名一致：方法名和参数列表必须与父类方法完全相同。
• 返回类型兼容：子类方法的返回类型可以是父类方法返回类型的子类（协变返回）。
• 访问权限限制：子类方法的访问权限不能比父类更严格。例如，父类方法为protected，子类不能设为private。
• 禁止重写静态/私有方法：

  static方法属于类，不参与多态，子类中同名静态方法会隐藏父类方法（非重写）。

  private方法在子类中不可见，无法重写。

• 异常限制：子类方法抛出的检查异常不能比父类方法更宽泛。例如，父类方法声明抛出IOException，子类可抛出FileNotFoundException（子类），但不能抛出Exception（父类）。
• 禁止重写final方法：final方法设计为不可修改，子类无法重写。

• 多态示例：class Shape { void draw() { System.out.println("Drawing shape"); } }class Circle extends Shape { @Override void draw() { System.out.println("Drawing circle"); } }Shape s = new Circle();s.draw(); // 输出 "Drawing circle"通过父类引用s调用重写方法，实际执行子类Circle的逻辑。
• 协变返回类型示例：class Parent { Parent clone() { return new Parent(); } }class Child extends Parent { @Override Child clone() { return new Child(); } // 返回类型为Parent的子类}

方法重写通过动态绑定和多态机制，使Java程序能够以统一的方式处理不同子类的特定行为，显著提升代码的灵活性和可扩展性。严格遵守重写规则可避免潜在错误，确保多态行为的正确性。理解并合理应用方法重写，是编写高质量Java程序的关键。