【Java】继承：从入门到JVM底层，一篇搞定

【Java】继承——语言根基三继承从入门到JVM底层一篇搞定一、继承到底在表达什么1.1 is-a关系1.2 什么时候别用继承二、语法速览三、底层原理new一个子类对象内存里发生了什么3.1 对象的真实内存布局3.2 类加载阶段继承链的解析3.3 方法调用底层虚方法表vtable3.4 super是什么3.5 完整初始化时序图四、三个必踩的坑附解决方案坑一父类一改子类就崩脆弱的父类问题坑二正方形继承矩形违反里氏替换坑三继承层次过深五、JDK源码中的继承设计5.1 好的设计AbstractList → ArrayList5.2 差的设计Stack extends Vector六、继承 vs 组合决策框架6.1 组合长什么样6.2 决策三问6.3 组合接口的进阶模式推荐七、完整实战员工工资系统八、面试高频题含陷阱Q1Java为什么不能多继承类Q2构造方法为什么不能被继承Q3重写和重载的区别Q4初始化的完整顺序高频陷阱题Q5static方法能被重写吗Q6抽象类为什么可以有构造方法Q7如何防止被继承九、IDE实用技巧十、总结继承从入门到JVM底层一篇搞定继承是OOP三大特征中最具争议的一个。爱它的人说继承让代码复用变得极其简单子类可以免费获得父类的所有功能。恨它的人说继承破坏了封装让代码变得脆弱一改父类、子类全崩。真相是继承是一把锋利的刀用好了切菜如泥用不好砍到自己脚。一、继承到底在表达什么1.1 is-a关系继承就干一件事表达是一种。狗是一种动物卡车是一种汽车判断标准你能对着代码说出口子类对象是父类类型业务上说得通就用继承。classAnimal{}classDogextendsAnimal{}// Dog is an Animal ✓1.2 什么时候别用继承汽车有引擎——这不是是一种是有一个has-a。// ✗ 错误汽车不是引擎classEngine{}classCarextendsEngine{}// ✓ 正确汽车有一个引擎classCar{privateEngineengine;}一句话原则is-a用继承has-a用组合。二、语法速览// 父类publicclassAnimal{protectedStringname;publicAnimal(Stringname){this.namename;}publicvoideat(){System.out.println(name正在吃东西);}}// 子类publicclassDogextendsAnimal{privateStringbreed;publicDog(Stringname,Stringbreed){super(name);// 不写这行编译报错this.breedbreed;}Override// 推荐加上让编译器帮你检查publicvoideat(){System.out.println(name正在啃骨头);}}Override不是必须的但强烈推荐。如果你写成了eatt()不加注解编译器认为你写了新方法加上注解会直接报错。三、底层原理new一个子类对象内存里发生了什么3.1 对象的真实内存布局DogdognewDog(旺财,金毛);JVM在堆中分配的内存结构┌─────────────────────────────────────────────────┐ │ Dog对象堆内存 │ ├─────────────────────────────────────────────────┤ │ 对象头12/16字节 │ │ - Mark Word哈希码、GC分代年龄、锁状态 │ │ - Klass Pointer → 指向Dog的类元数据 │ ├─────────────────────────────────────────────────┤ │ 实例数据对齐填充 │ │ ┌─────────────────────────────────────────────┐ │ │ │ 父类部分Animal的字段 │ │ │ │ name 旺财引用4/8字节 │ │ │ └─────────────────────────────────────────────┘ │ │ ┌─────────────────────────────────────────────┐ │ │ │ 子类部分Dog的字段 │ │ │ │ breed 金毛引用4/8字节 │ │ │ └─────────────────────────────────────────────┘ │ └─────────────────────────────────────────────────┘三个关键点子类对象里确实有父类的所有字段包括private的只是你访问不到初始化顺序固定父类构造器先执行 → 子类构造器后执行Klass Pointer是多态实现的底层基础3.2 类加载阶段继承链的解析当JVM加载Dog类时会递归加载其父类1. 加载Animal类 → 创建Animal的类元数据 2. 加载Dog类 → 创建Dog的类元数据其中包含指向Animal类元数据的super指针 3. 构建虚方法表vtable3.3 方法调用底层虚方法表vtableAnimalanimalnewDog(旺财,金毛);animal.eat();// 输出旺财正在啃骨头字节码层面invokevirtual #4 // Method Animal.eat:()Vinvokevirtual指令的执行步骤通过对象头的Klass Pointer找到Dog的类元数据从类元数据中找到虚方法表在方法表中查找eat()的实际地址偏移量固定查找是O(1)执行Dog.eat()虚方法表示例偏移量方法签名Animal的方法表Dog的方法表0eat()Animal.eat()Dog.eat()← 覆盖1sleep()Animal.sleep()Animal.sleep() ← 继承2toString()Object.toString()Object.toString()性能说明虚方法调用比静态方法多一次内存间接寻址但JIT会做内联优化如去虚化实际开销极小。3.4 super是什么很多人以为super是父类对象的引用。不是。super是编译器指令classDogextendsAnimal{voidtest(){super.eat();}}反编译后invokespecial #2 // Method Animal.eat:()Vinvokespecial直接绑定父类方法不经过动态分派。这就是为什么super.eat()不会产生多态效果。3.5 完整初始化时序图new Son() 执行流程 时间轴 → ┌─────────────────────────────────────────────────────────────────────┐ │ 类加载阶段仅一次 │ │ ├── 加载Object类 → 加载Father类 → 加载Son类 │ │ └── 构建虚方法表 │ ├─────────────────────────────────────────────────────────────────────┤ │ 实例化阶段 │ │ ├── 1. 为FatherSon所有字段分配内存包括默认值0/false/null │ │ ├── 2. 执行Father实例变量初始化a 1 │ │ ├── 3. 执行Father构造器 → 调用print()此时子类c还是0 │ │ ├── 4. 执行Son实例变量初始化c 3 │ │ └── 5. 执行Son构造器 → 调用print()此时c3 │ └─────────────────────────────────────────────────────────────────────┘四、三个必踩的坑附解决方案坑一父类一改子类就崩脆弱的父类问题// 父类publicclassCounter{privateintcount0;publicvoidincrement(){count;}publicvoidincrementTwice(){increment();increment();}}// 子类publicclassLoggingCounterextendsCounter{Overridepublicvoidincrement(){System.out.println(increment called);super.increment();}}某天父类优化为publicvoidincrementTwice(){count2;// 不再调用increment()}子类的日志逻辑静默失效——没有任何编译错误运行时也不会抛异常只是日志不打印了。解决方案父类中可能被子类重写的方法用文档明确契约implSpec用final禁止重写关键方法或使用组合替代继承坑二正方形继承矩形违反里氏替换classRectangle{protectedintwidth,height;publicvoidsetWidth(intw){widthw;}publicvoidsetHeight(inth){heighth;}publicintgetArea(){returnwidth*height;}}classSquareextendsRectangle{OverridepublicvoidsetWidth(intw){widthw;heightw;}OverridepublicvoidsetHeight(inth){heighth;widthh;}}voidtest(Rectangler){r.setWidth(5);r.setHeight(4);System.out.println(r.getArea());// 期望20}test(newSquare());// 输出16 ✗解决方案让正方形和矩形都继承更抽象的Shape类各自实现。坑三继承层次过深Animal→Mammal→Canine→Dog→Retriever→GoldenRetriever问题理解一个类的行为需要翻6个类顶层修改影响所有下层测试成本指数增长经验法则继承层次不超过3层。五、JDK源码中的继承设计5.1 好的设计AbstractList → ArrayList// 模板方法模式publicabstractclassAbstractList{publicbooleanadd(Ee){add(size(),e);// 调用抽象方法returntrue;}publicabstractvoidadd(intindex,Eelement);}publicclassArrayListextendsAbstractList{Overridepublicvoidadd(intindex,Eelement){// 具体实现}}父类定义了算法骨架模板方法子类只实现变化的部分。5.2 差的设计Stack extends Vector// Java早期设计失误classStackEextendsVectorE{// 不该继承Vectorpublicvoidpush(Eitem){addElement(item);}}问题Stack本应是LIFO但继承了Vector的所有方法可以绕开规则直接在中间插入元素。正确做法组合classStackE{privateListEelementsnewArrayList();publicvoidpush(Eitem){elements.add(item);}publicEpop(){if(isEmpty())thrownewEmptyStackException();returnelements.remove(elements.size()-1);}}六、继承 vs 组合决策框架6.1 组合长什么样classEngine{voidstart(){}}classCar{privateEngineengine;// 组合Car(){enginenewEngine();}voidstart(){engine.start();// 委托}}6.2 决策三问问题是否能说通子类是父类的一种→ 考虑继承→ 用组合子类能完全替代父类里氏替换→ 考虑继承→ 用组合父类是否会频繁变化→ 用组合→ 考虑继承三个都是是且需要多态才用继承。6.3 组合接口的进阶模式推荐// 接口定义能力interfaceFlyable{voidfly();}// 组合 委托classBirdimplementsFlyable{privateFlyBehaviorflyBehavior;// 组合Bird(FlyBehaviorflyBehavior){this.flyBehaviorflyBehavior;}Overridepublicvoidfly(){flyBehavior.fly();// 委托}}这比继承更灵活飞行行为可以运行时切换。七、完整实战员工工资系统publicabstractclassEmployee{privateStringid;privateStringname;privatedoublebaseSalary;publicEmployee(Stringid,Stringname,doublebaseSalary){this.idid;this.namename;this.baseSalarybaseSalary;}publicStringgetName(){returnname;}protecteddoublegetBaseSalary(){returnbaseSalary;}publicabstractdoublecalculateSalary();publicvoidwork(){System.out.println(name正在工作);}}publicclassRegularEmployeeextendsEmployee{privatedoubleattendanceBonus;publicRegularEmployee(Stringid,Stringname,doublebaseSalary,doubleattendanceBonus){super(id,name,baseSalary);this.attendanceBonusattendanceBonus;}OverridepublicdoublecalculateSalary(){returngetBaseSalary()attendanceBonus;}Overridepublicvoidwork(){System.out.println(getName()正在处理业务);}}publicclassManagerextendsEmployee{privatedoubleteamBonus;privateintteamSize;publicManager(Stringid,Stringname,doublebaseSalary,doubleteamBonus,intteamSize){super(id,name,baseSalary);this.teamBonusteamBonus;this.teamSizeteamSize;}OverridepublicdoublecalculateSalary(){returngetBaseSalary()teamBonus*teamSize;}Overridepublicvoidwork(){System.out.println(getName()正在管理团队);}}八、面试高频题含陷阱Q1Java为什么不能多继承类菱形继承问题C继承A和BA和B都有m()调用c.m()冲突。Java 8后接口有默认方法处理规则类的方法优先于接口默认方法子接口优先于父接口冲突必须显式覆盖interfaceA{defaultvoidm(){}}interfaceB{defaultvoidm(){}}classCimplementsA,B{Overridepublicvoidm(){A.super.m();}// 必须自己选}Q2构造方法为什么不能被继承语法构造方法名必须和类名相同语义子类通过super()初始化父类部分就够了Q3重写和重载的区别维度重写重载位置子类和父类之间同一个类参数必须相同必须不同返回类型协变可返回子类可以不同访问权限不能更严格无关绑定时机运行时动态分派编译时静态分派Q4初始化的完整顺序高频陷阱题classFather{inta1;Father(){print();}voidprint(){System.out.println(a);}}classSonextendsFather{intc3;Son(){print();}voidprint(){System.out.println(c);}}newSon();// 输出答案0 3为什么第一个是0因为父类构造器执行时子类的实例变量c内存已分配但尚未执行初始化默认值为0而子类的print()方法被调用时访问的就是这个未初始化的c。完整顺序父类静态子类静态父类实例变量 → 父类构造器此时子类c默认0子类实例变量 → 子类构造器Q5static方法能被重写吗不能。只能叫隐藏。classParent{staticvoidm(){System.out.println(Parent);}}classChildextendsParent{staticvoidm(){System.out.println(Child);}}ParentpnewChild();p.m();// 输出Parent不是Childinvokestatic指令在编译时就确定了调用目标不经过动态分派。Q6抽象类为什么可以有构造方法抽象类不能new但它的构造方法是给子类用的——子类实例化时先调用父类构造器初始化父类部分。Q7如何防止被继承final class无法被继承private构造器 静态工厂方法sealed classJava 17限制哪些类可以继承九、IDE实用技巧操作IDEA快捷键查看类继承树CtrlH/CtrlAltU跳转到父类方法CtrlU查看方法重写CtrlO生成重写方法CtrlO在子类中十、总结继承的核心不在于子类能做什么而在于父类约束了什么。三条实用原则继承表达is-a不是has-a组合优先于继承但不等于永远不用继承只有真正满足子类能完全替代父类时才用继承一句话记住继承是契约不是偷懒能说is-a还要能替换。面试官想听的不是你背出来的概念而是你能说出**“为什么这样设计以及什么场景下不能这样用”**。