【Java从入门到精通】第9篇：继承的威力——extends、super与方法重写的多态根基
目录
一、继承的本质：IS-A关系的语法表达
二、构造器链：父类在子类诞生前的初始化
三、方法重写：多态的语法基础
四、向上转型与多态：类型声明与实际类型的分离
五、继承的边界：何时该用，何时不该用
六、结语
一、继承的本质：IS-A关系的语法表达
现实世界中，概念之间存在层级包含关系。狗是动物，猫是动物——它们各自拥有动物的全部共性，又分别拥有自己独特的特征。这种“是一个”的逻辑关系，在面向对象编程中被表达为继承。
在Java中，继承使用extends关键字声明。子类继承父类后，自动获得父类中所有public和protected修饰的成员变量和成员方法——不需要在子类中重新编写相同的代码。子类只需定义自己与父类不同的那部分行为，就能在父类基础之上构建出功能更丰富的对象。
这种复用机制的精妙之处在于，父类的修改会自动传播到所有子类。如果修正了父类中一个日志输出的格式错误，所有子类的日志行为同步修正——不需要逐个修改每个子类。继承将重复代码的维护成本从“与子类数量成正比”压缩到“常数级”。
但继承不是万能的代码复用工具。只有当子类与父类之间确实存在严格的IS-A关系时，继承才是合适的选择。如果只是为了复用某段代码而让一个类继承另一个毫无语义关联的类，这是在用继承语法行组合之实，会导致代码逻辑难以理解和维护。这种情况应当使用组合——在一个类中包含另一个类的实例作为成员变量，通过委托调用其方法。
二、构造器链：父类在子类诞生前的初始化
创建子类对象时，父类的构造方法会先于子类的构造方法执行。这不是可选的行为，而是Java语言规范的强制要求——父类的初始化必须在子类初始化之前完成。
在子类构造方法中，如果没有显式调用父类构造方法，编译器会自动在子类构造方法的第一行插入super()——调用父类的无参构造方法。如果父类没有无参构造方法（因为显式定义了有参构造方法导致默认无参构造方法失效），子类构造方法必须显式调用父类的有参构造方法，否则编译无法通过。
super()或super(参数)必须是子类构造方法中的第一条语句。这个顺序强制保证了父类状态在子类开始初始化时已经是完整有效的。子类构造方法中后续的代码可以安全地访问从父类继承的成员变量，因为它们已经被父类构造方法正确初始化。
当继承链跨越多个层级——祖父类、父类、子类——构造方法会从最顶层的祖先开始，沿着继承链逐层向下执行。最终子类的构造方法执行完毕时，从顶层到最底层的所有初始化工作都已完成。
三、方法重写：多态的语法基础
子类可以重新定义父类中已存在的方法，这称为方法重写。重写不是简单的同名覆盖——它必须满足严格的规则。重写方法的方法签名（方法名和参数列表）必须与父类方法完全相同，返回值类型可以是父类方法返回值类型的子类型，访问权限不能比父类方法更严格（父类是public，子类不能是protected）。
这些规则不是语法上的教条，而是为了维护一个关键的设计承诺：使用父类引用调用方法的代码，在运行时遇到子类对象时行为必须正确。如果子类可以随意改变方法签名或降低访问权限，这个承诺就被破坏了。
@Override注解是方法重写的安全阀。在方法上标注@Override，编译器会检查该方法是否确实重写了父类或接口中的方法。如果方法签名写错（比如参数类型不小心写成了不同的类型），编译器会直接报错。这个注解能将原本在运行时才暴露的错误提前到编译期发现——在你还没运行程序之前，IDE就告诉你这个方法没有正确重写。
四、向上转型与多态：类型声明与实际类型的分离
将一个子类对象赋值给父类类型的变量，称为向上转型。这个转型是安全的——子类对象包含父类的全部能力，将子类对象当作父类来使用不会缺少任何功能。编译器自动允许向上转型，不需要显式强制转换。
向上转型的关键后果是变量声明的类型和对象实际的类型发生了分离。引用变量的类型决定了你能调用哪些方法——只能调用父类中声明过的方法。但被调用的方法实际执行的是哪个版本——父类的原始版本还是子类的重写版本——由对象的实际类型决定。
这种“变量类型决定能调什么，对象类型决定执行什么”的双重调度机制，正是多态的核心。当你遍历一组父类类型的引用变量时，每个变量指向的对象可能是父类实例，也可能是不同子类的实例。调用同一个方法，不同对象以各自的方式响应——这就是面向对象编程中最强大的抽象能力。
多态在代码层面消除了大量的if-else分支。不需要判断当前对象是狗还是猫再调用不同的叫唤方法，你只需要调用叫唤方法本身，狗对象自己知道要汪汪叫，猫对象自己知道要喵喵叫。新增一种动物子类时，调用多态的代码完全不需要修改——这就是面向对象设计所追求的对扩展开放、对修改关闭。
五、继承的边界：何时该用，何时不该用
继承是一把双刃剑。合理使用能让代码简洁、扩展性强，滥用则会产生难以维护的复杂类层级。
一个经典的滥用案例是“正方形继承自长方形”。数学上正方形确实是特殊的长方形，但在程序设计中，长方形独立设置宽和高的行为对于正方形是致命的——单独修改宽度会破坏正方形的数学约束。这个看似自然的继承关系，在实际编码中会被父类的行为假设反复绊倒。
判断继承是否合适的核心标准是：子类能否完美替代父类出现在任何父类被使用的地方？如果子类的行为会让使用父类的代码产生意外结果，这个继承就不应该存在。这一原则在面向对象理论中被称为里氏替换原则，它是衡量继承关系合理性的理论标尺。
六、结语
继承以IS-A关系为语义基础，通过extends关键字实现了子类对父类代码的结构化复用。构造器链保证了父类在子类之前初始化，方法重写为多态提供了语法基础，向上转型让子类对象能够以父类身份参与系统运作。
理解继承不是记住语法规则，而是理解它在为多态搭建舞台。下一篇，我们将进入多态的完整讨论——如何通过抽象类和接口来设计可扩展的系统架构，以及模板方法模式和面向接口编程如何在真实业务中发挥威力。