写Java代码的时候，我们每天都在调用方法，但很少有同学认真思考过：一行简单的add(1, 2)，在JVM层面到底发生了什么？要回答这个问题，就必须了解JVM运行时数据区中的虚拟机栈，以及栈中最重要的数据结构——栈帧（Stack Frame）。理解了栈帧，很多平时遇到的“玄学问题”都能找到答案，比如为什么递归会栈溢出、为什么局部变量过多会影响性能、方法重载和方法重写在分派上的本质区别等。本文将从栈帧的结构入手，逐步拆解一次完整的方法调用过程。
虚拟机栈与栈帧的基本概念
Java虚拟机规范中，虚拟机栈（JVM Stack）是线程私有的，它的生命周期与线程相同。每创建一个线程，JVM就会为它分配一个独立的虚拟机栈，这个栈里保存的元素就是栈帧。每调用一个方法，就会有一个新的栈帧被压入栈顶；方法执行完毕（正常返回或抛出异常），对应的栈帧就被弹出。同一时刻，只有栈顶的栈帧是有效的，我们称之为“当前栈帧”（Current Frame），与之关联的方法称为“当前方法”。
栈帧本身是一个逻辑上的概念，它存储了方法的局部变量表、操作数栈、动态链接信息和方法返回地址。在编译期，Class文件中的code属性就已经确定了局部变量表和操作数栈的最大深度，因此一个栈帧需要分配多少内存，在编译代码时就完全确定了，不会受到程序运行期变量数据的影响，仅仅依赖具体的虚拟机实现和内存布局。这也是为什么有人说“Java方法的内存需求是静态可计算的”。
可以通过javap -v命令查看一个方法的字节码信息，其中stack表示操作数栈的最大深度，locals表示局部变量表的大小（以变量槽Slot为单位）。比如下面这段代码：
public class Demo {
public int add(int a, int b) {
int c = a + b;
return c;
}
}
// javap -c -v Demo 输出片段：
// public int add(int, int);
// stack=2, locals=3, args_size=2add方法只有两个参数和一个局部变量c，但locals是3，因为实例方法的第0号变量槽默认存放this引用。操作数栈深度为2，因为执行iadd指令前需要把a和b都压栈。这些数字在编译时就固定下来了，运行期不会改变。
栈帧的四大组成部分详解
按照《Java虚拟机规范》的描述，栈帧由局部变量表、操作数栈、动态链接和返回地址四部分组成，下面逐个分析。
局部变量表
局部变量表以变量槽（Slot）为最小单位，每个变量槽可以存放一个boolean、byte、char、short、int、float、reference或returnAddress类型的数据。对于64位的数据类型（long和double），虚拟机会以高位对齐的方式为其分配两个连续的变量槽。注意Java中long和double的读写不具有原子性，正是因为它们被拆成了两次32位的读写操作（除非使用volatile修饰）。
变量槽的分配还有一个重要特性：复用。当局部变量超出其作用域后，它占用的变量槽可以被后续的局部变量复用。这带来一个经典的内存陷阱：如果一个大对象（比如一个很大的byte数组）被定义在一个大方法中，即使它的作用域已经结束，只要后面没有新变量复用这个槽位，这个对象的引用就依然存在于局部变量表中，GC无法回收它。解决办法是把这段逻辑抽成独立方法，或者在作用域结束后显式地把变量置为null（不推荐这种风格，抽方法更优雅）。
操作数栈
操作数栈是一个后进先出的栈结构，Java字节码是典型的基于栈的指令集架构，大部分指令都要通过操作数栈来传递参数和接收结果。以c = a + b为例，字节码执行过程是：先把a压栈（iload_1），再把b压栈（iload_2），然后执行iadd，它会把栈顶的两个int弹出并相加，把结果压回栈顶，最后用istore_3把结果存入变量槽3。整个过程中，局部变量表负责存储，操作数栈负责计算的中转，两者配合完成运算。
顺便说一个经典问题：i++和++i在字节码层面是完全一样的指令序列（除了变量槽编号），单看它们自身的执行，先加和后加没有区别。两者表现不同，只出现在它们参与更大表达式求值的时候，值被压入操作数栈的时机不同，导致最终赋值结果不同。用javap看一下i = i++和i = ++i的字节码，区别一目了然。
动态链接与返回地址
每个栈帧都持有一个指向运行时常量池中该方法所属符号引用的指针，用于把字节码中的符号引用在运行期解析为直接引用，这就是动态链接。方法调用中的某些符号引用在类加载阶段甚至运行期才能确定目标方法，动态链接就是支撑这一机制的桥梁。
返回地址则记录了方法正常返回后应该回到调用者的哪个位置继续执行，以及返回时需要恢复的局部变量表和操作数栈状态。方法退出有两种方式：正常完成（遇到返回指令）和异常完成（抛出异常且方法内未处理）。需要注意的是，异常退出不会给上层调用者返回任何值，栈帧直接被弹出。
方法调用指令与分派机制
调用不同类型的方法，JVM使用不同的字节码指令。invokestatic调用静态方法，invokespecial调用构造器、私有方法和父类方法（super调用），invokeinterface调用接口方法，invokevirtual调用虚方法（非私有实例方法）。JDK 7之后还引入了invokedynamic，用于支持动态类型语言和Lambda表达式，它把方法分派的逻辑交给用户自定义的引导方法来决定，给了JVM更大的灵活性。
方法分派分为静态分派和动态分派。静态分派发生在编译期，典型场景是方法重载：编译器根据变量的静态类型（引用类型）而不是实际类型来决定调用哪个重载版本。看一个例子：
public class OverloadDemo {
public void say(Object obj) { System.out.println("Object"); }
public void say(String str) { System.out.println("String"); }
public static void main(String[] args) {
OverloadDemo demo = new OverloadDemo();
Object obj = "hello";
demo.say(obj); // 输出 Object
}
}变量obj的实际类型是String，但静态类型是Object，编译期就确定了调用say(Object)版本，所以输出Object。这就是静态分派，重载版本的选择完全由参数的静态类型决定。
动态分派则与多态相关，发生在运行期。invokevirtual指令的解析过程是：先找到操作数栈顶元素的实际类型，然后在实际类型中查找匹配的方法；找不到则沿着继承链向上查找；最终还没找到就抛出AbstractMethodError。方法重写正是依赖这套机制实现的多态。子类覆写父类方法后，通过父类引用调用时，invokevirtual会根据对象的实际类型找到子类版本，这就是所谓的“运行期绑定”。
为了提升动态分派的性能，HotSpot虚拟机在方法区中为每个类维护一张虚方法表（vtable），存放各个虚方法的实际入口地址。如果子类没有覆写父类方法，虚方法表中对应的表项就指向父类的实现；一旦覆写，就指向子类自己的实现。这样invokevirtual在多数情况下只需一次索引查找就能定位到目标方法，无需逐层向上搜索。此外还有内联缓存等优化手段，通过记录上次调用的类型信息来加速后续调用。
从栈帧角度理解StackOverflowError
每个线程的虚拟机栈容量是有限的，默认情况下视平台不同大约在512KB到1MB之间，可以通过-Xss参数调整。栈容量决定了栈帧能压入多少层。当线程请求的栈深度超过允许的最大值时，JVM就会抛出StackOverflowError。递归没有出口、或者递归深度过大，是最常见的触发场景。
public class StackDemo {
private static int depth = 0;
public static void recurse() {
depth++;
recurse();
}
public static void main(String[] args) {
try {
recurse();
} catch (StackOverflowError e) {
System.out.println("栈溢出，深度约：" + depth);
}
}
}运行这段代码会发现一个有趣的现象：在同一个JVM上，方法内局部变量越多（locals越大），单个栈帧越大，能递归的深度就越小。这正是栈帧大小在编译期确定、栈总容量固定这两个事实共同作用的结果。另外要注意，如果线程请求的栈容量本身超过虚拟机允许的最大值，会抛出StackOverflowError；而无法分配新栈（比如内存不足）则抛出OutOfMemoryError，两者的成因并不相同。
总结
一次Java方法调用的执行过程可以概括为：编译期确定栈帧结构，运行期压栈执行，通过操作数栈完成计算，借助动态链接和分派机制找到真正的目标方法，最后带着返回地址弹栈回到调用者。理解了这套机制，方法重载与重写的分派原理、递归栈溢出的成因、局部变量对性能的影响这些问题就都有了统一的解释框架。建议读者自己动手用javap -c反编译几段熟悉的代码，对照字节码指令观察操作数栈的变化，这是加深对JVM理解最有效的练习方式之一。