栈帧是jvm为每个方法调用在虚拟机栈中真实分配的内存块，包含局部变量表、操作数栈、动态链接和方法返回地址四部分；其生命周期与方法调用严格绑定，线程私有，非静态方法的局部变量表第0槽固定存储this引用，大小由编译期max_locals字段确定。
直接从执行过程切入最有效——栈帧不是抽象概念，而是方法调用时 JVM 真实分配的一块内存空间，本地变量表就是其中第一个可感知的组成部分。
先搞懂栈帧是“谁的”和“怎么来的”
每个线程独有一套虚拟机栈，每次调用方法，JVM 就在栈顶压入一个新栈帧；方法结束，该栈帧立刻弹出。它不是全局共享的，也不跨线程存在。非静态方法的栈帧里，局部变量表第 0 号槽永远存 this 引用；静态方法则没有这一项。你可以用 jclasslib 打开 .class 文件，看 Code 属性里的 “Maximum local variables” 值——这个数字在编译期就定死了，和运行时实际用了几个变量无关。
本地变量表不是“变量容器”，而是“槽位数组”
它本质是一组按索引编号的存储槽（slot），每个槽占 32 位（long/double 占两个连续槽）。JVM 不管你声明没声明、用没用，只要编译器认定某个变量在作用域内可能出现，就会预留对应槽位。变量作用域结束，槽位可能被复用——比如 if 块里定义的 String name 和后面 if 块里的 int age，很可能共用同一个槽号。
- 成员变量存在堆中，JVM 自动赋予默认值（0、null、false）
- 局部变量存在栈帧的本地变量表中，JVM 只分配槽位，不赋初值
- 所以未初始化的局部变量不能读，编译器报错不是“拦着你”，而是字节码校验阶段直接拒绝生成非法指令
动手看字节码，比读文档更直观
写个极简方法，比如：
public static void test(int a) { String s = "ok"; }
用 javap -c 反编译，重点观察：
- iload_0：加载局部变量表索引 0 的值（即参数 a）
- ldc：把字符串常量推入操作数栈
- astore_1：把栈顶引用存入局部变量表索引 1（即 s）
你会发现：操作数栈负责“搬运”和“计算”，本地变量表负责“暂存”和“寻址”——二者配合，才完成一次赋值或调用。
避开递归和深度嵌套的真实陷阱
栈帧本身不耗 CPU，但每个帧都要占栈空间。默认栈大小（-Xss）通常 1MB 左右，每个帧哪怕只占 1KB，也撑不住千层递归。StackOverflowError 不是代码写错了，是栈内存被帧填满了。调试时别只盯着逻辑，先检查：
- 递归有没有明确退出条件
- 是否无意中把大对象（如长字符串、集合）放在局部变量里反复传递
- 是否在循环里频繁新建内部类实例（隐含持有了外部 this）
不复杂但容易忽略
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
