虚拟机栈中每个方法调用对应一个栈帧，其核心是局部变量表和操作数栈：前者存储参数、局部变量及编译器插入的临时变量，容量编译期确定且槽可复用；后者为私有运算中转站，暂存中间数据，大小动态伸缩但最大深度编译期固定。

虚拟机栈里的每个方法调用，都对应一个独立的栈帧；而栈帧不是空壳，它由几个关键部件协同工作——其中最核心、最常被操作的就是局部变量表和操作数栈。

局部变量表：方法变量的“登记册”

局部变量表不是只存“{}里定义的变量”，而是方法执行所需所有变量的统一登记处。它包含三类内容：方法参数（实例方法第0号槽固定存this）、显式声明的局部变量、以及编译器悄悄插入的临时变量（比如for循环计数器、synchronized锁对象引用）。

• 容量在编译期就定死，由Code属性中的max_locals决定，单位是变量槽（Slot），每槽32位
• int、float、reference等占1个槽；long和double占2个连续槽，且不能拆开访问
• 槽可复用：变量作用域结束（如跳出代码块），其占用的槽不会清零，但后续可分配给新变量——这也是调试时能看到“已出作用域却还能读到旧值”的原因
• final编译期常量（如final int x = 5;）可能被内联优化，根本不会出现在表中
• 默认不保留变量名，调试时只显示slot0、slot1；需用javac -g编译才能看到真实变量名

操作数栈：字节码运算的“临时工作台”

操作数栈不是全局共享的，而是每个栈帧私有的“运算中转站”。它不存最终结果，只负责暂存中间数据：从局部变量表加载的值、计算产生的结果、方法调用的参数和返回值。

• 指令驱动：iload_1把局部变量表slot1的值压入操作数栈；iadd从栈顶弹出两个int相加，再把结果压回栈顶
• 大小动态伸缩，但最大深度在编译期写入Code属性的stack字段
• 常见错误多源于栈状态错配：比如invokeinterface前没按顺序压入接口引用和参数，会抛VerifyError
• 注意区分：istore_1是从操作数栈弹出值，存进局部变量表slot1；不是“往栈里存”
• long/double虽占两槽，但在操作数栈里作为单个元素处理，无需拆分

二者协作：一次简单加法的完整流程

以int c = a + b;为例：

• 先执行iload_1 → 把局部变量表slot1（a）的值压入操作数栈
• 再执行iload_2 → 把slot2（b）的值压入操作数栈（此时栈深为2）
• 执行iadd → 弹出栈顶两个int，相加，把结果压回栈顶（栈深变1）
• 最后istore_3 → 弹出该结果，存入局部变量表slot3（c）

整个过程，局部变量表提供“源数据”和“目标位置”，操作数栈承担“搬运”和“加工”角色——它们分工明确，缺一不可。