G1垃圾回收器堆内存扫描（对象图遍历）的具体实现问询

G1 GC在标记阶段扫描对象内存定位引用变量，核心依赖HotSpot JVM的类元数据结构和对象内存布局约定，以下是具体实现逻辑：

1. 类元数据的精准字段描述（HotSpot InstanceKlass） #

每个Java类在JVM中对应一个InstanceKlass对象（数组类对应ArrayKlass），其中存储了该类所有实例字段的精确元数据：

• 每个字段会被标记为引用类型（如Oop，即对象指针）或基本类型（如int/long）
• 每个字段的内存偏移量：相对于对象头起始地址的字节偏移，在类加载时就已计算完成并固化在InstanceKlass的字段列表中
• 引用字段的数量：直接存储在InstanceKlass的统计字段中，GC扫描时无需实时计算

例如，对于类A，InstanceKlass里会有一个字段数组，每个项包含：

{ type: OOP, offset: 16 },  // 假设对象头占16字节，第一个引用字段从16字节开始
{ type: INT, offset: 24 },
{ type: OOP, offset: 28 }

GC扫描对象A时，会直接读取这些偏移量，定位到16字节、28字节的位置，取出里面的对象指针作为待访问的引用。

2. 对象内存布局的固定规则 #

JVM中对象的内存布局是固定的，GC扫描时会先跳过对象头部分：

• 对象头：包含Mark Word（存储锁、年龄等信息）和Klass Pointer（指向该对象的InstanceKlass），64位JVM默认占16字节（开启压缩指针时占12字节）
• 实例数据：紧跟对象头之后，严格按照类加载时确定的字段顺序和偏移量存储
• 对齐填充：确保对象总大小为8字节的倍数（64位）

GC扫描对象时，先通过对象的Klass Pointer拿到InstanceKlass，然后遍历其中的引用字段偏移，直接在对象的实例数据区域定位对应的内存地址，取出指针。

3. 数组对象的特殊处理 #

对于引用类型数组（如Object[]），对应的ArrayKlass会记录：

• 元素类型为引用类型
• 每个元素的大小（64位JVM为8字节，开启压缩指针时为4字节）
• 数组的长度（存储在数组对象头之后的固定位置）

GC扫描数组时，会先读取数组长度，然后从数组的第一个元素位置开始，按元素大小依次遍历每个位置，取出所有引用指针。

4. JIT编译的优化加速 #

JIT编译器会在编译代码时，将类的引用字段偏移量硬编码到机器码中。GC在扫描JIT编译过的代码生成的对象时，直接使用这些硬编码的偏移量，无需每次从InstanceKlass中查询，大幅提升扫描效率。

5. 处理继承关系的字段合并 #

如果类A继承自父类B，InstanceKlass会将父类的引用字段和子类的引用字段合并到同一个列表中，偏移量会包含父类字段的占用空间。GC扫描时无需单独处理继承关系，直接遍历合并后的引用字段偏移列表即可。

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