栈帧（Stack Frame） 是用于虚拟机执行时方法调用和方法执行时的数据结构，它是虚拟机运行时数据区中的虚拟机栈的栈元素。每一个方法从调用开始到执行完成的过程，都对应着一个栈帧入栈出栈的过程。
每一个栈帧在编译程序代码的时候所需要多大的局部变量表，多深的操作数栈都已经确定了，并且写入到方法表的 Code 属性之中，因此一个栈帧需要多少内存，不会受到程序运行期变量数据的影响，仅仅取决于具体的虚拟机实现。
一个线程中方法调用可能很长，很多方法都同时处于执行状态。对于执行引擎来说，只有处于栈顶的栈帧才是有效的，称为当前栈帧（Current Stack Frame），与之相关联的方法称为当前方法（Current Method）。
在概念模型上，典型的栈帧主要由局部变量表（Local Stack Frame）、操作数栈（Operand Stack）、动态连接（Dynamic Linking）、方法返回地址（Return Address）和一些附加信息组成，如下图所示：
接下来分别讲解栈帧中这四部分的具体结构。
1. 局部变量表
局部标量表是一组变量值的存储空间，用于存放方法参数和方法内部定义的局部变量。在Class 文件的方法表的 Code 属性的 max_locals 数据项中指定了该方法所需局部变量表的最大容量。
变量槽 （Variable Slot）是局部变量表的最小单位，没有强制规定大小为 32 位，虽然32位足够存放大部分类型的数据。一个 Slot 可以存放 boolean、byte、char、short、int、float、reference 和 returnAddress 8种类型。其中 reference 表示对一个对象实例的引用，通过它可以得到对象在Java 堆中存放的起始地址的索引和对象所属数据类型在方法区的类型信息。returnAddress 则指向了一条字节码指令的地址。 对于64位的 long 和 double 变量而言，虚拟机会为其分配两个连续的 Slot 空间。
虚拟机通过索引定位的方式使用局部变量表，索引值的范围从0开始到局部变量表最大的Slot数量。之前我们知道，局部变量表存放的是方法参数和局部变量。当调用方法是非static 方法时，局部变量表中第0位索引的 Slot 默认是用于传递方法所属对象实例的引用，即 “this” 关键字指向的对象。分配完方法参数后，便会依次分配方法内部定义的局部变量。
为了节省栈帧空间，局部变量表中的 Slot 是可以重用的。当离开了某些变量的作用域之后，这些变量对应的 Slot 就可以交给其他变量使用。这种机制有时候会影响垃圾回收行为。
考虑下面三段代码（需加上 -verbose:gc参数）：
代码1：
public class LocalVariableTable {
public static void main(String[] args) {
{
byte[] placeholder = new byte[64 * 1024 * 1024];
}
System.gc();
}
}
运行结果：
[GC (System.gc()) 68864K->66336K(125952K), 0.0028420 secs]
[Full GC (System.gc()) 66336K->66253K(125952K), 0.0135963 secs]
代码2：
public class LocalVariableTable {
public static void main(String[] args) {
{
byte[] placeholder = new byte[64 * 1024 * 1024];
}
int a = 0;
System.gc();
}
}
运行结果：
[GC (System.gc()) 68864K->66296K(125952K), 0.0018972 secs]
[Full GC (System.gc()) 66296K->717K(125952K), 0.0049899 secs]
分析：通过结果可以知道，代码1和代码2内的 placeholder 变量在 System.gc() 执行后理应被回收了，可是结果却是只有代码2被回收了。原因如下：
代码1中 placeholder 虽然离开了作用域，但之后没有任何局部变量对其进行读写，也就是说其占用的 Slot 没有被复用，也就是说 placeholder 占用的内存仍然有引用指向它，因而它没有被回收。而代码2中的变量a由于复用了 placeholder 的 Slot ，导致 placeholder 引用被删除，因此占用的内存空间可以被回收。
《Practical Java》一书中把”不使用的对象应手动赋值为 null “作为一条推荐的编码规则，这并不是一个完全没有意义的操作。但是不应该对赋null值有过多的依赖，主要有两点原因：
(1) 从编码的角度来讲，用恰当的变量作用域来控制变量的回收才是最优雅的解决方法。
(2) 从执行角度讲，使用赋值null的操作优化内存回收是建立在对字节码执行引擎概念模型基础上的，但是概念模型与实际执行模型可能完全不同。在使用解释器执行时，通常离概念模型还比较接近，但是一旦经过JIT 编译为本地代码才是虚拟机执行代码的主要方式，赋null值在JIT编译优化之后会被完全消除，这时候赋 null 值是没有意义的。
类变量与局部变量的区别：
局部变量不像类变量那样存在“准备阶段”，类变量有两次赋初值的过程，一次在准备阶段，赋予系统初值；另一次在初始化阶段，赋予程序员定义的初始值。所以在初始化阶段即使程序员不为类变量赋初值也没有关系，类变量仍然具有一个确定的初始值。但局部变量就不一样，如果定义了一个局部变量却没有赋初值，这个局部变量是不能用的，好在一般编译器能检查并提示这一点。
2. 操作数栈
操作数栈（Operand Stack）也常称为操作栈，是一个后入先出栈。在Class 文件的Code 属性的 max_stacks 指定了执行过程中最大的栈深度。Java 虚拟机的解释执行引擎称为”基于栈的执行引擎“，这里的栈就是指操作数栈。
方法执行中进行算术运算或者是调用其他的方法进行参数传递的时候是通过操作数栈进行的。
在概念模型中，两个栈帧是相互独立的。但是大多数虚拟机的实现都会进行优化，令两个栈帧出现一部分重叠。令下面的部分操作数栈与上面的局部变量表重叠在一块，这样在方法调用的时候可以共用一部分数据，无需进行额外的参数复制传递。
3. 动态连接
每个栈帧都包含一个执行运行时常量池中该栈帧所属方法的引用，持有这个引用是为了支持方法调用过程中的动态连接（Dynamic Linking）。
Class 文件的常量池中存放了大量的符号引用，字节码中的方法调用指令就是以常量池中指向方法的符号引用作为参数。这些符号引用一部分会在类加载阶段或第一次使用时转化为直接引用，这种转化称为静态解析。另一部分将在每一次运行期间转化为直接引用，这部分称为动态连接。
4. 方法返回地址
当一个方法开始执行以后，只有两种方法可以退出当前方法：
(1) 当执行遇到返回指令，会将返回值传递给上层的方法调用者，这种退出的方式称为正常完成出口（Normal Method Invocation Completion），一般来说，调用者的PC计数器可以作为返回地址。
(2) 当执行遇到异常，并且当前方法体内没有得到处理，就会导致方法退出，此时是没有返回值的，称为异常完成出口（Abrupt Method Invocation Completion），返回地址要通过异常处理器表来确定。
当方法返回时，可能进行的3个操作：
(1) 恢复上层方法的局部变量表和操作数栈；
(2) 把返回值（如果有的话）压入调用者栈帧的操作数栈；
(3) 调整 PC 计数器的值以指向方法调用指令后面的一条指令。
5. 附加信息
虚拟机规范并没有规定具体虚拟机实现包含什么附加信息，这部分的内容完全取决于具体实现。在实际开发中，一般会把动态连接，方法返回地址和附加信息全部归为一类，称为栈帧信息。