操作数栈是jvm基于栈执行引擎的核心工作区，用于临时存储计算中间结果、方法参数及返回值，严格遵循lifo原则，配合iload/iadd/istore等字节码完成入栈、运算、出栈全流程。
操作数栈是JVM执行引擎真正干活的地方，字节码指令的运算逻辑几乎都围绕它展开。它不存变量，只管“临时算账”——所有计算中间值、方法调用参数、返回结果，都得先入栈、再出栈、再压栈。
操作数栈如何配合字节码完成一次加法
以 int k = i + j;（i=15, j=8）为例，对应关键字节码如下：
-
bipush 15→ 把15压入操作数栈（栈：[15]） -
istore_1→ 把栈顶15弹出，存进局部变量表索引1（i）（栈：[]） -
bipush 8→ 把8压入操作数栈（栈：[8]） -
istore_2→ 弹出8，存进局部变量表索引2（j）（栈：[]） -
iload_1→ 把局部变量表索引1的值（15）压入操作数栈（栈：[15]） -
iload_2→ 把局部变量表索引2的值（8）压入操作数栈（栈：[15, 8]） -
iadd→ 弹出栈顶两个int（8、15），相加得23，再把23压入栈（栈：[23]） -
istore_3→ 弹出23，存进局部变量表索引3（k）（栈：[]）
整个过程里，操作数栈始终是“空→有→空”的节奏，像一个高速周转的中转台。
操作数栈的深度和类型约束很严格
它的最大深度（max_stack）在编译期就写死在方法的Code属性里，运行时不能超。比如上面加法例子，最多同时存两个int，max_stack就是2。
- 32位类型（int/float/reference等）占1个栈单位
- 64位类型（long/double）占2个连续栈单位，且必须对齐（低地址放高位）
- 栈里不能混存；每条字节码指令对栈顶元素的类型、数量都有硬性要求，违反则类加载失败
方法调用与返回时，操作数栈怎么交接
调用方法前，实参按从左到右顺序依次压栈；调用指令（如invokestatic）执行时，会把栈顶这些参数“拿走”，用于构建被调用方法的新栈帧。
- 被调用方法执行完，若带返回值（如
ireturn），该值会直接压入调用者栈帧的操作数栈顶部 - 例如
int r = calc();，calc()返回30后，30立刻出现在main栈帧的操作数栈里，供后续istore_?使用 - 此时调用者栈帧的操作数栈可能刚做完参数压栈（变长），又立刻接收返回值（变短再变长），动态变化频繁
为什么说JVM是“基于栈的执行引擎”
因为所有计算不依赖寄存器，也不靠内存地址随机读写，而是严格遵循“取操作数→算→回栈”的LIFO流水线。指令集设计（如iload/istore/iadd）全部围绕操作数栈抽象建模。
- 没有类似x86的
add eax, ebx这种双操作数指令，只有单目标（隐含栈顶） - 同一个
iadd指令，在不同上下文能处理任意两个栈顶int，复用性高 - 解释器只需维护一个栈指针（sp），配合PC寄存器，就能驱动整个执行流
