Java多态场景下的内存工作机制？结合父子类实例问询

你的整体理解方向完全正确，之前的认知误区来自于把「类的字段定义边界」和「实际对象的内存分配边界」混在了一起，下面把整个过程拆解开讲清楚：

核心概念澄清 #

类定义的字段约束，和实际对象的内存空间大小，是两个独立的决策维度。

• 说Parent类本身仅能存储x变量，指的是如果你直接通过new Parent()创建实例，JVM会按照Parent类的布局申请内存，这块空间里只会预留int x对应的大小，不会给其他子类自定义的字段留位置。
• 但如果你是通过new Child()创建实例，JVM申请内存时参考的是Child类的完整结构，不是它任意一层父类的结构，从根源上就不存在“空间不够存y”的问题。

实际内存布局拆解 #

对应你代码里Parent obj = new Child(1,2)这段逻辑，内存上的实际分布是这样的：

1. 栈内存部分（和你理解的一致，做细节补充）
   • 栈上的obj并不是一个“Parent类型的对象”，它是当前main方法栈帧里局部变量表中的一个引用变量，存的是堆上目标对象的内存地址。这个引用的Parent类型声明，只是编译期的类型校验规则：你直接写obj.y的时候，编译器会因为Parent类没有定义y字段而报错，但这个约束完全不改变它指向的堆对象本身的结构。
2. 堆内存部分（和你理解的一致，做细节补充）
   • 执行new Child(1,2)时，JVM会一次性申请一整块连续的内存，专门用来存放这个Child实例，布局顺序是固定的：
     • 第一块是对象头：包含指向Child类元数据的类型指针（就是你提到的“类信息”）、对象哈希码、锁状态标记等运行时数据
     • 第二块是实例字段：按照继承层级从父类到子类的顺序依次排列——先放Parent类定义的int x（值为1），再放Child类自己定义的int y（值为2），两个字段在同一块连续内存中相邻存放，根本不存在“Parent部分占了一块，y没地方放”的割裂感。

强转逻辑的本质 #

你代码里后续的Child childObj = (Child) obj这步操作，没有任何内存拷贝或者格式转换：

• JVM只需要做一次类型校验：检查obj指向的堆对象，实际类是不是Child（或是其子类），如果是，就允许后续按照Child类的内存布局规则读取这块内存。
• 这时候打印childObj.x和childObj.y，本质就是按照字段在内存中的固定偏移量，直接从这块连续堆内存里读对应的数值，所以能正常输出1 2。

对比个反例就更清楚：如果你一开始写的是Parent obj = new Parent(1)，这时候堆上的对象真的只有x对应的空间，没有预留y的位置。此时再做强转(Child) obj，JVM会在类型校验阶段直接抛出ClassCastException——因为这个对象的实际内存布局里根本不存在y字段的位置，强行转也读不到合法值。

对你原有理解的逐条校验 #

• 「栈中存在Parent类型的引用，指向堆中的Child实例」：基本正确，细化后是栈帧局部变量表中存的引用值指向堆上的完整Child对象，引用的类型只是编译期约束，不改变指向对象的真实类型
• 「堆中的Child实例会保存x、y以及用于new的类信息」：完全正确，这个对象的内存从分配之初就包含了从父类继承来的x字段、自身定义的y字段，以及对象头中指向类元数据的指针，完全不存在空间不足的问题

内容的提问来源于stack exchange，提问作者user15792597