17370845950

方法重写实现多态，子类重定义父类非private、非static、非final方法，运行时根据对象实际类型调用对应方法，提升代码扩展性与灵活性。

方法重写（Override）是Java面向对象编程中的核心机制之一，发生在子类对父类中已有的实例方法进行重新定义。它基于继承关系，允许子类提供一个与父类方法具有相同签名但功能更具体或不同的实现。

方法重写的原理

当子类定义了一个与父类中非private、非static、非final的方法同名、参数列表相同、返回类型兼容（协变返回类型也允许）的方法时，就构成了方法重写。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层面实现。

方法重写的作用

方法重写的主要目的是实现多态，提升代码的扩展性和可维护性。

• 增强行为定制能力：子类可以根据自身需求改变父类方法的行为，而不需要修改父类代码，符合开闭原则。
• 支持运行时多态：同一操作作用于不同对象时产生不同执行结果，使程序更具灵活性。
• 统一接口调用：通过父类引用调用被重写的方法，简化高层代码设计，降低耦合度。
• 便于框架设计：很多框架利用重写机制提供钩子方法（hook method），让用户自定义逻辑。

重写需遵守的规则

为了正确实现方法重写，必须遵循以下约束：

• 方法名和参数列表必须完全一致。
• 返回类型可以是相同类型或其子类（协变返回）。
• 访问权限不能比父类更严格，比如父类是protected，子类不能为private。
• 不能重写static或private方法，因为它们不参与多态。
• 抛出的检查异常不能比父类方法声明的更宽泛。