写在前面在 Java 开发中我们都曾遇到过StackOverflowError但你是否思考过为什么同样的递归深度在不同的方法上表现完全不同为什么一个方法能递归 1098 次而另一个只能递归 303 次今天我们就从这个问题出发深入 JVM 的栈帧Stack Frame内部揭开局部变量表Local Variable Table的神秘面纱。一、从一个 StackOverflowError 说起1.1 现象同样的栈容量不同的递归深度考虑下面这段代码public class TestStackDeep { private static int count 0; // 方法1含有 3 个 long 型参数 10 个 long 型局部变量 public static void recursion(long a, long b, long c) { long e1, f2, g3, h4, i5, k6, q7, x8, y9, z10; count; recursion(a, b, c); } // 方法2无参数无局部变量 public static void recursion() { count; recursion(); } public static void main(String args[]) { try { recursion(1, 2, 3); // 或 recursion() } catch (Throwable e) { System.out.println(deep of calling count); e.printStackTrace(); } } }在-Xss128k的栈容量限制下运行结果令人惊讶方法参数 局部变量最大递归深度recursion(long a, long b, long c)13 个 long 型变量303 次recursion()无1098 次同样的栈空间无参数方法的递归深度几乎是有参数方法的3.6 倍这背后的原因就藏在局部变量表中。二、局部变量表Local Variable Table是什么2.1 定义与作用局部变量表Local Variable Table简称 LVT是 JVM 栈帧Stack Frame的重要组成部分。它用于保存方法的参数包括实例方法中的this方法内部定义的局部变量它的生命周期与栈帧完全一致方法调用时创建方法返回时销毁。类比理解可以把局部变量表想象成一个背包每个方法调用时都背上这个背包里面装着所有需要用的变量。背包越大背起来越吃力占用更多栈空间能爬的楼层递归深度就越少。2.2 变量槽Slot—— 局部变量表的计量单位局部变量表以变量槽Slot为最小单位。不同数据类型的变量占用的 Slot 数量不同数据类型占用 Slot 数byte,short,int,float,boolean,char,reference对象引用1 个 Slotlong,double2 个 Slot关键结论一个long类型的参数在局部变量表中占用的空间是int类型参数的两倍三、用 jclasslib 揭开局部变量表的面纱理论说再多不如亲眼看看字节码。我们使用jclasslib工具来反编译TestStackDeep.class一探究竟。3.1 查看第一个recursion(long, long, long)方法在 jclasslib 中依次展开可以看到关键信息最大局部变量表大小26 个 Slot3 个 long 参数各占 2 Slot→ 占 6 Slot10 个 long 局部变量各占 2 Slot→ 占 20 Slot总计6 20 26 个 Slot 注意Index 列的数字0, 2, 4, 6, 8...正好说明了 long 型占用 2 个 Slot所以索引号是跳着走的。3.2 查看第二个recursion()方法在 jclasslib 中查看第二个recursion()方法没有参数没有局部变量局部变量表为空3.3 深度对比的本质当 JVM 执行方法调用时需要为每个栈帧分配内存空间。栈帧的大小在编译时就已确定而局部变量表的大小直接决定了栈帧的大小。栈帧大小 ≈ 局部变量表大小 操作数栈大小 其他元数据因此有 13 个 long 变量的方法栈帧大 → 相同栈容量下 → 嵌套次数少303 次无变量的方法栈帧小 → 相同栈容量下 → 嵌套次数多1098 次这就是开篇问题的答案。四、深入局部变量表的细节4.1this引用 —— 实例方法的隐藏参数对于非静态方法局部变量表的0 号槽位永远是this引用指向当前对象。以TestStackDeep1为例public class TestStackDeep1 { public void localvar1() { int a 0; System.out.println(a); int b 0; } }用 jclasslib 查看localvar1的局部变量表✅ 即使方法没有定义任何参数局部变量表也会至少占用 1 个 Slot用于this这就是为什么静态方法static相比实例方法在栈空间上更节省一些。五、局部变量表的 Slot 复用机制5.1 为什么要复用局部变量表的大小在编译期确定但变量的作用域有长有短。如果一个变量已经不再使用它占用的 Slot 就可以被新变量复用从而减小局部变量表的整体大小节省栈空间。5.2 复用示例public class TestStackDeep1 { // 方式1两个变量作用域重叠 public void localvar1() { int a 0; System.out.println(a); int b 0; // b 和 a 同时存在a 的槽位被 b 占用 } // 方式2a 失效后b 复用 a 的槽位 public void localvar2() { int a 0; System.out.println(a); int b a; // 实际上a 在编译后可能已被复用 } }用 jclasslib 查看localvar2的局部变量表注意b的 Index 也是1说明它复用了a的 Slot 这个特性在栈空间优化和垃圾回收两个领域都有重要影响。六、局部变量表与垃圾回收6.1 局部变量是 GC Root局部变量表中引用的对象属于 GC Root垃圾回收根节点。只要一个对象被局部变量表引用GC 就不会回收它。很多人以为变量出了作用域就会被回收这种说法是错误的理解—— GC 判断的是引用关系而不是作用域。6.2 实际案例public class LocalVarGCTest { // 场景1变量 a 保持引用byte 数组无法回收 public void localvarGc1() { byte[] a new byte[6 * 1024 * 1024]; System.gc(); // ❌ 无法回收a 仍然引用着数组 } // 场景2主动置 null切断引用 public void localvarGc2() { byte[] a new byte[6 * 1024 * 1024]; a null; System.gc(); // ✅ 可以回收a 不再引用数组 } // 场景3离开作用域但 Slot 未复用 public void localvarGc3() { { byte[] a new byte[6 * 1024 * 1024]; } System.gc(); // ❌ 无法回收a 仍然在局部变量表的 Slot 中 } // 场景4离开作用域 Slot 被复用 public void localvarGc4() { { byte[] a new byte[6 * 1024 * 1024]; } int c 10; // c 复用了 a 的 Slot覆盖了引用 System.gc(); // ✅ 可以回收Slot 中的引用已被覆盖 } // 场景5方法返回整个栈帧销毁 public void localvarGc5() { localvarGc1(); // localvarGc1() 返回后其栈帧被销毁 System.gc(); // ✅ 可以回收栈帧中所有引用都已失效 } }6.3 运行验证使用-XX:PrintGC参数运行localvarGc4()[GC (System.gc()) 10081K-816K(251392K), 0.0010690 secs] [Full GC (System.gc()) 816K-625K(251392K), 0.0057591 secs]从 10081KB → 625KB释放了约 6MB 的空间正好是 byte 数组的大小。说明 byte 数组被成功回收七、总结7.1 核心要点回顾知识点关键结论局部变量表的位置位于 JVM 栈帧中方法调用时创建返回时销毁Slot 占用规则long/double占 2 Slot其他类型占 1 Slot栈帧大小影响递归深度局部变量表越大栈帧越大相同栈容量下递归深度越小Slot 复用机制过期变量的 Slot 可被新变量复用节省栈空间GC Root 特性局部变量表中的引用是 GC Root阻止对象被回收Slot 复用影响 GC只有引用被覆盖或栈帧销毁对象才能被 GC 回收7.2 实用建议优化递归深度如果递归深度有限尽量使用无状态无局部变量的方法如果必须传递大量参数考虑将它们包装成对象但注意对象的引用只占 1 Slot。及时释放大对象对于不再使用的大对象在作用域结束后考虑赋值为null或者通过引入新变量来复用 Slot。理解-Xss参数-Xss设置的是每个线程的栈大小过小会导致StackOverflowError过大会浪费内存并限制线程数。使用 jclasslib 工具通过查看字节码中的LocalVariableTable可以准确了解方法的局部变量表大小和 Slot 复用情况。
