操作数栈与局部变量表之间无自动交换，数据流动完全由字节码指令控制：iload类指令将局部变量表值复制到操作数栈，istore类指令将栈顶值存入局部变量表，方法调用时的“重叠”仅为hotspot栈帧复用优化，物理地址对齐但逻辑上仍是单向覆盖写入。
栈帧里操作数栈和局部变量表之间没有直接“交换”动作，它们的协作靠字节码指令驱动——数据流动方向由指令明确指定，不是自动双向同步。
数据流向是单向且受控的
局部变量表是固定大小的数组，操作数栈是动态伸缩的LIFO结构。两者不共享Slot，也不自动映射。所有数据转移必须通过显式指令完成：
-
从局部变量表 → 操作数栈：用
iload_0、fload、aload等加载指令，把指定索引位置的值复制到栈顶； -
从操作数栈 → 局部变量表：用
istore_1、dstore、astore等存储指令，把栈顶值弹出并存入指定索引位置； - 中间计算全程只在操作数栈内进行（如
iadd、imul），结果仍留在栈上，不自动写回局部变量表。
传参时的“重叠”不是交换，而是地址复用
方法调用时看似参数“直接进入”被调方法的局部变量表，实际是HotSpot等JVM的底层优化：
- 主调方法（A）把实参压入自己操作数栈顶部；
- 被调方法（B）新建栈帧时，虚拟机把B的局部变量表起始地址设为A操作数栈当前栈顶位置；
- 这使得A栈顶的几个值，在内存物理上正好落在B局部变量表前几个Slot中——省去拷贝，但逻辑上仍是“覆盖写入”，不是双向交换；
- B自己的局部变量（如
int x = 5;）分配在重叠区之后，互不干扰。
常见误区澄清
容易误以为 a++ 或赋值语句触发了某种隐式交换，其实本质仍是指令序列：
-
a = a++的字节码包含三步：先iload_0（读a）、再iinc（a自增）、最后istore_0（把原值写回）； - 操作数栈在此过程中暂存原始值、增量、中间结果，局部变量表只在指令触发时被读或写；
- 不存在“栈自动同步变量”或“变量自动推入栈”的机制。
理解这个机制的关键点
它不是内存层面的耦合，而是执行模型的设计选择：
- 局部变量表解决“命名存储”问题（便于按名访问参数和变量）；
- 操作数栈解决“计算编排”问题（适配各种表达式树和指令流水）；
- 两者的衔接完全由字节码定义，JVM规范不规定实现细节，但要求行为一致；
- 重叠优化仅发生在方法调用边界，且对Java代码和字节码完全透明。
