栈桢中引用对象是如何进行的？

最新推荐文章于 2025-12-11 21:07:32 发布

原创最新推荐文章于 2025-12-11 21:07:32 发布 · 964 阅读

12 ·

CC 4.0 BY-SA版权

文章标签：

#jvm

要理解栈帧中引用对象的过程，首先需明确核心原则：对象实例存储在堆中，栈帧仅存储指向堆对象的 “引用”（地址 / 句柄），栈帧通过这个引用间接操作堆中的对象。以下从栈帧结构、引用关联过程、访问逻辑、生命周期等维度详细拆解：

一、基础概念铺垫

栈帧（Stack Frame）：JVM 为每个方法调用创建的栈元素，包含：
- 局部变量表：存储方法的局部变量（包括对象引用、基本类型值）；
- 操作数栈：执行字节码时临时存放操作数（如对象引用、方法参数）；
- 动态链接：指向方法的符号引用（用于方法调用）；
- 返回地址：方法执行完后回到调用方的位置。
引用的本质：栈帧中存储的 “引用” 不是对象本身，而是两种形式（HotSpot 默认用第一种）：
- 直接指针：引用值是堆中对象的实际内存地址（主流实现）；
- 句柄：引用值指向 “句柄池” 中的句柄，句柄再指向对象的实例数据（堆）和类型数据（方法区 / 元空间）。

二、栈帧关联对象引用的核心流程（以`new Object()`为例）

以最简单的对象创建和引用赋值为例，拆解字节码层面的执行逻辑：

java

运行

public void test() {
    Object obj = new Object(); // 核心代码
}

对应的字节码（关键指令）：

plaintext

0: new           #2                  // 创建Object实例（堆分配）
3: dup                              // 复制操作数栈顶的引用
4: invokespecial #1                  // 调用Object的构造方法
7: astore_1                         // 将引用存入局部变量表第1个slot
8: return                           // 方法返回

步骤 1：堆中创建对象（`new`指令）

JVM 执行new指令时，在堆中为Object分配内存，初始化对象头（Mark Word、类型指针等），但此时对象未执行构造方法（仅完成 “内存分配”）；
new指令执行后，将对象的引用压入操作数栈（操作数栈顶现在是这个引用）。

步骤 2：执行构造方法（`invokespecial`指令）

dup指令复制操作数栈顶的引用（因为invokespecial会消耗引用，复制后保留一份用于后续赋值）；
invokespecial指令弹出操作数栈中的引用，通过该引用找到堆中的对象，执行构造方法完成对象初始化。

步骤 3：引用存入局部变量表（`astore_1`指令）

操作数栈顶仍保留一份对象引用，astore_1指令将该引用从操作数栈弹出，存入当前栈帧的局部变量表第 1 个 slot（this指针占第 0 个 slot）；
此时，栈帧的局部变量表中obj变量持有了堆中Object实例的引用，后续可通过该引用操作对象。

三、通过引用访问对象的核心操作

栈帧中的引用是操作堆对象的唯一入口，常见操作（字段访问、方法调用）的底层逻辑如下：

1. 访问实例字段（`getfield`/`putfield`指令）

java

运行

obj.toString(); // 先获取obj的引用，再访问toString方法；若给字段赋值则用putfield

读字段（getfield）：
1. 将对象引用压入操作数栈；
2. 执行getfield指令，根据引用找到堆中的对象，再通过常量池中的字段偏移量，读取对象的字段值；
3. 将字段值压入操作数栈，供后续使用。
写字段（putfield）：
1. 将对象引用、要写入的字段值依次压入操作数栈；
2. 执行putfield指令，通过引用定位堆对象，将值写入对应字段的内存位置。

2. 调用实例方法（`invokevirtual`/`invokeinterface`指令）

java

运行

obj.toString();

步骤 1：将对象引用、方法参数（无参则仅压引用）压入操作数栈；
步骤 2：执行invokevirtual指令，通过引用的类型指针找到对象的类元信息，再通过方法表（vtable）确定要执行的具体方法（处理多态）；
步骤 3：为该方法创建新栈帧，将对象引用作为this指针存入新栈帧的局部变量表第 0 个 slot；
步骤 4：执行方法逻辑，完成后销毁栈帧，返回结果（若有）。

四、栈帧中引用的生命周期

栈帧创建阶段：局部变量表初始化，对象引用变量默认值为null（未赋值时）；
方法执行阶段：通过字节码（如astore_<n>）为引用赋值，或通过getfield/invokevirtual操作引用；
栈帧销毁阶段：方法执行完毕（return），栈帧出栈，局部变量表中的引用被销毁；
- 若堆中的对象无其他引用（如其他栈帧的引用、静态变量引用），则该对象会被 GC 标记为 “可回收”，等待垃圾回收。

五、特殊场景补充

1. 不同引用类型的影响（强 / 软 / 弱 / 虚）

栈帧中存储的引用类型（JDK 提供的四种引用）会影响 GC 对堆对象的处理逻辑：

强引用（默认）：如Object obj = new Object()，只要引用存在，堆对象永不被 GC（即使 OOM）；
软引用（SoftReference）：栈帧存储SoftReference的引用，堆中目标对象在内存不足时才会被 GC（用于缓存）；
弱引用（WeakReference）：栈帧存储WeakReference的引用，GC 时只要发现目标对象只有弱引用，立即回收（如ThreadLocal）；
虚引用（PhantomReference）：仅用于跟踪对象回收，必须配合引用队列，栈帧中无法通过该引用获取目标对象。