JVM 内存中方法出入栈原理

Java 虚拟机（JVM）中的方法调用和方法退出是通过栈的数据结构来实现的。JVM 的内存模型将方法调用和执行的上下文信息存储在一个称为方法栈（或叫虚拟机栈、线程栈）的结构中。每个线程都有自己私有的虚拟机栈，在线程执行方法时，会在栈中创建一个新的栈帧（Stack Frame），用于存储方法的局部变量、操作数栈、动态链接和方法返回地址等信息。

方法调用（入栈）原理

当一个方法被调用时，JVM 会为该方法分配一个新的栈帧，并将其推入到当前线程的虚拟机栈顶。栈帧包含以下几个主要部分：

局部变量表（Local Variable Table）：用于存储方法的局部变量，包括方法参数和方法内部定义的变量。
操作数栈（Operand Stack）：用于执行字节码指令时的操作数临时存储。
动态链接（Dynamic Linking）：用于支持方法调用时的符号引用转换为直接引用。
方法返回地址（Return Address）：用于存储方法返回时的字节码指令地址。

入栈步骤

创建栈帧：为方法调用创建一个新的栈帧。
初始化局部变量表：将方法参数和局部变量初始化到局部变量表中。
将栈帧推入栈顶：将新创建的栈帧推入到当前线程的虚拟机栈顶。

方法退出（出栈）原理

当一个方法执行完毕，或遇到 return 语句，或抛出未处理的异常时，方法将退出。JVM 会将当前线程栈顶的栈帧弹出，恢复调用该方法的栈帧的执行。

出栈步骤

弹出栈帧：将当前方法的栈帧从虚拟机栈顶弹出。
根据返回地址恢复执行：根据方法返回地址恢复调用该方法的栈帧的执行位置。
将返回值传递给调用者：如果方法有返回值，将返回值传递给调用方法的栈帧。

示例代码分析

假设有以下简单的 Java 方法调用：

java复制代码

public class StackExample { public static void main(String[] args) { int result = add(5, 3); System.out.println(result); } public static int add(int a, int b) { int sum = a + b; return sum; } }

方法调用过程

main 方法入栈：
- 创建 main 方法的栈帧。
- main 方法的栈帧被推入虚拟机栈顶。
- 局部变量表包括 args 和 result。
add 方法入栈：
- main 方法调用 add 方法，JVM 为 add 方法创建栈帧。
- add 方法的栈帧被推入虚拟机栈顶。
- 局部变量表包括 a 和 b。
add 方法执行：
- 在操作数栈中执行 a + b 运算，并将结果存储在局部变量 sum 中。
- 遇到 return 语句，返回值 sum 被压入操作数栈。
add 方法出栈：
- add 方法的栈帧被弹出。
- 返回值 8 传递给 main 方法的栈帧，存储在局部变量 result 中。
main 方法继续执行：
- main 方法继续执行，打印结果 8。
main 方法出栈：
- main 方法执行完毕，其栈帧被弹出。

栈帧结构示意图

以下是方法调用过程中的栈帧结构示意图：

复制代码

+-------------------------+ +-------------------------+ | Stack Frame: main() | | Stack Frame: add() | |-------------------------| |-------------------------| | Local Variables: | | Local Variables: | | args, result | | a, b, sum | |-------------------------| |-------------------------| | Operand Stack: | | Operand Stack: | | - | | result of a + b | |-------------------------| |-------------------------| | Return Address: | | Return Address: | | after add(5, 3) call | | return to main() | +-------------------------+ +-------------------------+

当 main 方法调用 add 方法时，add 方法的栈帧被推入栈顶。add 方法执行完毕后，其栈帧被弹出，返回值传递给 main 方法。main 方法执行完毕后，其栈帧也被弹出。