元空间与堆物理隔离、职责分明:元空间存类元数据(如类名、方法字节码、静态变量地址),位于本地内存;堆存对象实例,对象头中的类型指针单向指向元空间对应元数据,二者通过静态结构和一次性写入指针关联,无运行时通信。

元空间和堆之间没有直接的“通信”机制,它们是物理隔离、职责分明的两块内存区域。所谓“引用”,其实是通过对象头里的类型指针实现的单向、静态链接——不是运行时动态调用,也不是双向数据交换。
元空间不存对象,只存类的“说明书”
元空间(Metaspace)位于本地内存,存放的是类加载后生成的元数据:类名、字段表、方法字节码、常量池、静态变量(注意:static字段值本身在元空间,但若其为引用类型,指向的对象仍在堆中)、接口信息等。这些内容只读、共享、一份就够,不随对象数量变化。
它不持有任何堆中对象的副本,也不感知对象生命周期;它只是告诉JVM:“Person类长这样,字段怎么排,构造器在哪,静态变量初始值是多少”。
堆中对象靠对象头反向“认领”自己的类
每个在堆中分配的对象,开头都有一个隐式存在的对象头(Object Header),其中包含一个关键字段:类型指针(Klass Pointer)。这个指针的值,就是元空间中对应Person.class元数据块的起始地址。
- new Person("李四", 30) → JVM在堆中划出一块内存,填入name、age等字段值,并在对象头写入指向元空间里Person元数据的地址
- 后续调用p.speak()时,JVM通过该指针找到元空间中的方法表,定位到speak()字节码入口,再执行
- 这个指针在对象创建时一次性写入,之后不再变更;即使类被重定义(如热部署),旧对象仍指向原元数据
静态字段是唯一跨区“连接点”,但仍是单向引用
类的static字段(比如public static List<string> cache = new ArrayList();</string>)本身存储在元空间,但它是个引用变量——它的值(即4或8字节的内存地址)指向堆中真正的ArrayList实例。
- 元空间保存的是“地址值”,不是对象本体
- ArrayList对象本身及其中的elementData数组,全部在堆中分配
- GC判断该ArrayList是否可回收,看的不是元空间有没有引用它,而是“从GC Roots出发,能否通过这个static字段到达它”
字符串常量池是个特例,但本质未变
JDK 7+ 将字符串常量池从永久代移到堆中,所以像String s = "hello";产生的"hello"对象就在堆里。而元空间中对应的String类元数据,仍通过对象头指向自己——它并不“知道”这个字符串在堆哪,只是所有String实例统一遵守同一个结构定义。
也就是说:元空间定义“String类该怎么用”,堆负责“具体哪个String实例存在、值是什么、谁还在用它”。两者靠编译期确定的结构 + 运行期一次性写入的指针维系关联,不发消息、不查表、不回调。











