操作数栈是虚拟机栈帧中执行计算的核心工作区，专为字节码指令服务：方法调用时实参压栈后由invoke指令弹出填入目标局部变量表，算术运算在栈顶进行，返回值留在栈顶供调用方接收，其深度与类型由编译期max_stack和指令约束严格锁定。

操作数栈是虚拟机栈帧中执行计算的核心工作区，它不存储长期变量，而是专为字节码指令服务的临时数据中转站。方法调用时参数怎么传？算术运算中间值放哪？方法返回值又如何交还给调用方？这些都依赖操作数栈完成——它不是被动容器，而是参与每一条指令执行的活跃参与者。

操作数栈是方法间参数传递的通道

Java 方法调用时，实参不是直接写进被调函数的局部变量表，而是先压入当前栈帧的操作数栈；然后通过 invoke 指令（如 invokevirtual）触发调用，JVM 会自动将栈顶若干元素“弹出”并依次填入目标方法栈帧的局部变量表前几个槽位（含隐式 this）。比如调用 obj.method(a, b)，a 和 b 先入栈，再执行 invokevirtual，此时 a → slot1、b → slot2，this → slot0。

• 静态方法无 this，参数从 slot0 开始顺序填充
• long/double 占两个连续 slot，对应操作数栈中占两个单位深度
• 引用类型（如 String）作为 reference 值入栈，本身只占 1 个单位

它是字节码运算的临时“草稿纸”

所有算术、逻辑、类型转换类指令（如 iadd、imul、iconst_1、istore_0）都围绕操作数栈展开。指令不带内存地址，只靠栈顶数据驱动：取数靠 pop，存结果靠 push，中间过程全在栈上流转。

• iload_0：把局部变量表 slot0 的 int 值压入操作数栈顶
• iadd：弹出栈顶两个 int，相加后把结果再压入栈顶
• istore_1：弹出栈顶 int，存入局部变量表 slot1

这种设计让字节码高度紧凑，也使 JVM 解释器或 JIT 编译器能高效调度——不需要寻址，只需维护栈顶指针。

方法返回值通过操作数栈回传

被调方法执行完毕，若声明了返回值（如 int、Object），其最终结果必须留在自己栈帧的操作数栈顶。当该栈帧弹出时，这个值会自动“移交”给调用方栈帧——不是复制到对方局部变量表，而是直接压入调用方的操作数栈，供后续指令使用。

• void 方法无返回值，操作数栈保持原状，不额外压入内容
• 返回 long 或 double 时，占用操作数栈两个连续单位，调用方需用 lload/dload 配合读取
• 返回对象引用时，压入的是指向堆中对象的 reference 值，而非对象本身

类型匹配和栈深度由编译期严格锁定

操作数栈不检查运行时类型，只认编译器写死的约束：每个方法的 max_stack 值决定了栈最大深度，每条指令对栈顶元素类型和数量的要求也被编码进 class 文件。iadd 必须看到两个 int，fadd 必须看到两个 float，否则在类加载的验证阶段就会失败，根本不会进入执行。

• 32 位类型（int/float/reference）占 1 单位深度
• 64 位类型（long/double）占 2 单位深度，且必须连续
• 栈操作只能用 push/pop，不能随机索引访问——这是它与局部变量表的本质区别