局部变量表复用是编译期静态优化，javac依据作用域和生命周期将无交集的变量分配至同一slot；slot固定4字节，long/double占两槽且不可拆分；复用效果取决于源码写法，如缩小作用域、及时置null、避免提前声明。
局部变量表的复用机制，本质是编译期依据变量作用域和生命周期做的静态优化，不是运行时动态分配或抢占行为。它不靠JVM“主动调度”，而是由javac在生成字节码时，把生命周期互不重叠的变量安排到同一组slot上，从而压缩局部变量表总长度。
slot是固定大小的存储单元
每个slot占4字节，能存int、float、reference等32位宽的数据；long和double占两个连续slot。局部变量表长度（max_locals）在编译完成时就写死在Code属性里，运行中不可更改。
- 方法参数从slot 0开始连续排布（实例方法slot 0是this）
- 方法体内定义的变量，按声明顺序尝试填入空闲slot
- 只要前一个变量的作用域已结束（比如出了if块、for循环体），后续变量就可能复用它的slot
复用只发生在无交集的生命周期之间
编译器通过控制流分析（Live Range Analysis）判断变量“何时不再被使用”。例如：
- int a = 1; 在if (x > 0)块内定义 → 离开该块后a即失效
- int b = 2; 在后续else块或同级代码中定义 → 可能复用a的slot
- 但如果b在a的作用域内就已声明，则无法复用，必须分配新slot
long/double会阻塞复用，需特别注意
因为它们独占两个连续slot，且不能被拆开复用。若一个long变量出现在方法前半段，它占据的slot 2–3就会“挡住”后面变量对slot 2或3的复用机会。
- 避免在方法开头声明long/double，尤其不要放在大量小变量之前
- 把宽类型尽量靠近使用位置，缩短其占用slot的时间窗口
- 引用类型虽只占1 slot，但若长期持有（如跨多个逻辑块），也会降低复用概率
复用效果依赖编码习惯，而非JVM参数
HotSpot已移除类似-XX:+OptimizeLocalVariables这类开关；ART和GraalVM虽更激进，但也仅在编译或JIT阶段隐式触发。你能控制的只有源码写法：
- 缩小作用域：用{}包裹临时变量，或直接放在if/for内部声明
- 及时切断引用：对大对象引用，明确不再使用后赋null，帮JIT更早判定死亡点
- 慎用异常处理块：try-catch会让变量可见范围扩大，干扰slot回收
- 避免过度提前声明：不要在方法顶部堆一堆变量，等最后才用
