方法出口时并非恢复调用者栈帧，而是弹出当前栈帧、跳转至返回地址、传递返回值，调用者栈帧因始终未被销毁而自然可见。
方法出口时恢复调用者栈帧状态，核心在于 JVM 执行引擎通过“返回地址”和“局部变量表/操作数栈的现场保存机制”完成上下文切换，而非直接“恢复”调用者栈帧——调用者栈帧始终未被销毁，只是被新压入的方法栈帧遮蔽。
方法调用时的栈帧压入与现场保存
每次方法调用（如 invokestatic、invokevirtual 等指令触发），JVM 会为被调用方法创建新栈帧，并压入 Java 虚拟机栈顶部。此时：
- 调用者的栈帧仍保留在栈中，位于新栈帧下方，其局部变量表、操作数栈、动态连接、方法出口信息均完整保留；
- JVM 在生成字节码时，已将“下一条指令地址”（即返回地址）作为参数隐式传入，存于被调用方法栈帧的局部变量表或常量池中（具体位置由指令类型决定）；
- 若方法有参数，调用前会先将参数值压入调用者操作数栈，再通过指令复制到被调用者局部变量表——这属于数据传递，不改变调用者栈帧结构。
方法返回时的栈帧弹出与控制流跳转
当方法执行遇到 return 指令（如 ireturn、areturn、return）时：
- JVM 弹出当前栈帧，释放其占用的栈空间；
- 从当前栈帧中取出预先保存的“返回地址”，设置程序计数器（PC）指向该地址；
- 若方法有返回值，JVM 将其暂存在当前栈帧的操作数栈顶，在弹出前复制到调用者栈帧的操作数栈顶（例如
ireturn会把 int 值压入调用者操作数栈）； - 调用者栈帧重新成为栈顶，其操作数栈和局部变量表自动“可见”，无需额外恢复操作。
异常出口的特殊处理
若方法因未捕获异常而退出（异常出口），流程略有不同：
- 当前栈帧同样被弹出；
- JVM 沿调用栈向上搜索异常处理器（
ExceptionHandlerTable），找到后将异常对象引用压入目标栈帧的操作数栈，并跳转至 handler 起始地址； - 这个过程不依赖返回地址，但依然复用原有栈帧结构——调用者栈帧未被修改，只是被跳过若干层后重新激活。
关键点：栈帧是独立且不可变的上下文单元
每个栈帧在创建时就固化了其局部变量表大小、操作数栈深度、动态连接指向等元信息。JVM 不会对已有栈帧做“状态恢复”操作，因为：
- 调用者栈帧自创建起始终驻留栈中，内容未被覆盖或清除；
- 被调用者栈帧仅负责管理自身生命周期，它的进出不影响下方栈帧的数据完整性；
- 所谓“恢复”，实质是控制流回归 + 栈顶切换 + 返回值传递——三者协同，让调用者能无缝继续执行。
不复杂但容易忽略：栈帧不是靠“快照还原”，而是靠栈结构天然的 LIFO 特性和字节码层面的精确地址跳转来保障上下文连续性。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
