子类对父类行为的个性化定制本质是方法重写,即签名不变、实现换新,JVM通过动态绑定按对象实际类型选择对应实现;需遵守访问权限放宽、返回类型协变、异常范围不扩大等契约,且仅在向上转型后调用时体现多态价值。

子类对父类行为的个性化定制,本质是通过方法重写(Override)实现的——它不是替换父类逻辑,而是在保持调用入口一致的前提下,为同一方法名赋予子类特有的执行逻辑。
定制的核心在于“签名不变,实现换新”
只要方法名、参数列表、返回类型(支持协变)完全匹配父类声明,子类就能提供自己的版本。JVM 在运行时根据对象实际类型自动选择对应实现,用户调用时无需关心具体是哪个子类。
- 比如 Animal 类定义
void move(),Dog 子类重写为“奔跑”,Bird 子类重写为“振翅”,调用animal.move()时,结果由animal实际指向的是 Dog 还是 Bird 决定 - 返回类型可协变:父类方法返回
Animal,子类可返回Dog,既保持语义一致性,又提升类型精度 - 访问权限只能放宽:父类是
protected,子类可改为public;但不能收窄,否则破坏继承契约
定制必须遵守父类约定,而非随意改写
个性化不等于任意发挥。重写后的方法仍需承担父类方法所承诺的职责和语义边界,否则会破坏多态的安全性与可预测性。
- 不能改变方法的“契约”:比如父类
int calculate()承诺返回非负整数,子类重写后也应保证这一点 - 不能抛出比父类更宽泛的检查异常:若父类声明
throws IOException,子类最多只能抛IOException的子类,或不抛 - private、static、final 方法不可重写,因为它们不属于多态作用域——这些方法绑定在编译期,不参与动态分派
定制效果依赖向上转型与运行时绑定
只有当父类引用指向子类对象(如 Animal a = new Dog();),再调用被重写的方法,才能触发定制逻辑。这是多态生效的前提。
立即学习“Java免费学习笔记(深入)”;
- 直接用子类引用调用(
Dog d = new Dog(); d.move();)也能执行定制代码,但这属于静态调用,不体现多态价值 - 真正体现灵活性的是:同一段处理逻辑(如遍历
List<Animal>并调用move()),无需修改就能适配未来新增的 Cat、Fish 等任意子类 - JVM 在运行时查对象的实际 class,再定位到该类中对应的重写方法字节码,这个过程叫动态绑定
定制不是孤立行为,需配合继承体系设计
个性化定制的价值,在于它嵌入在一个清晰的“is-a”关系中。父类定义共性行为框架,子类填充具体细节,共同构成可演化的类型结构。
- 接口实现也是一种定制路径:一个类实现
Payment接口,可分别定制Alipay.pay()和WechatPay.pay(),调用方只依赖Payment p即可 - 抽象类更适合定义部分通用逻辑 + 强制子类定制关键步骤,比如
AbstractList.get(int)是抽象的,而size()提供默认实现 - 过度定制可能暴露设计问题:如果每个子类都要重写十几个方法,说明父类抽象不足,或继承关系本身不够自然


















