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

虚拟机栈里的每个方法调用,都对应一个独立的栈帧;而栈帧不是空壳,它由几个关键部件协同工作——其中最核心、最常被操作的就是局部变量表和操作数栈。
局部变量表:方法变量的“登记册”
局部变量表不是只存“{}里定义的变量”,而是方法执行所需所有变量的统一登记处。它包含三类内容:方法参数(实例方法第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)
整个过程,局部变量表提供“源数据”和“目标位置”,操作数栈承担“搬运”和“加工”角色——它们分工明确,缺一不可。











