局部变量表（local variable table）在java jvm内存结构中用于存储方法执行过程中的局部变量，其数据存储基于索引访问。它是一组变量槽（slot），基本数据类型和对象引用直接存储在槽中，而64位类型（long和double）会占用两个连续的槽。要理解其存储机制，需关注槽的复用、类型对齐及对象引用的具体指向。
局部变量表的槽位分配与复用规则是什么
局部变量表的大小在编译期确定，运行时通过索引访问。每个槽位可以存放基本数据类型或对象引用。对于64位数据类型的变量，JVM规定使用两个连续的槽位来存储，且这两个槽位的索引必须是偶数起始。局部变量表支持槽位复用，即当一个变量生命周期结束后，其占用的槽位可以被后续变量重新利用，但这要求新变量的类型必须兼容旧变量的类型（如都是引用类型或相同的基本类型），否则可能引发类型安全错误。
public class LocalVarTableDemo {
public void demoMethod() {
int a = 10; // 槽位0
long b = 20L; // 槽位1, 2 (占用两个槽)
Object obj = null; // 槽位3
{
int c = 30; // 槽位0 (复用a的槽位)
System.out.println(c);
}
// a的生命周期结束，c的生命周期也结束
double d = 4.0; // 槽位0 (复用c的槽位，因为double需要偶数起始，且0是偶数)
}
}
上述代码展示了槽位复用的典型场景。变量 a 占用槽位0，变量 b 占用槽位1和2。在内部块中，变量 c 复用了槽位0。当 c 作用域结束后，变量 d 再次复用槽位0。这种复用优化了内存使用，但前提是类型兼容。如果尝试用 int 覆盖 long 的槽位，或者用 Object 覆盖 int 的槽位，可能会导致运行时类型检查失败或数据损坏。
对象引用在局部变量表中是如何存储的
局部变量表中存储的对象引用并非对象本身，而是指向堆内存中对象实例的指针（或句柄）。这个引用指向的对象头和方法区中的类元数据。对象的实际数据存储在堆中，而局部变量表只保存对它的引用。这意味着，如果一个局部变量被赋值为 null，则槽位中存储的是空引用，不指向任何堆内存地址。当方法执行完毕，局部变量表随之销毁，但如果该对象还有其他引用存在，它不会被垃圾回收。
public class RefStorageDemo {
public void refMethod() {
MyClass instance = new MyClass(); // 槽位0: 引用指向堆中的MyClass实例
MyClass refCopy = instance; // 槽位1: 引用指向同一个堆实例
instance = null; // 槽位0: 变为空引用
// 此时refCopy仍持有有效引用，对象不会被回收
}
}
class MyClass { int value = 1; }
在 refMethod 中，instance 和 refCopy 是两个不同的局部变量，分别位于不同的槽位。它们都指向堆内存中的同一个 MyClass 对象实例。当 instance 被设为 null 时，只是槽位0的内容变为空，不影响槽位1中的引用。这体现了局部变量表仅存储引用的特性，对象的存活与否取决于是否有其他强引用指向它，而非局部变量表中的状态。
局部变量表在方法调用期间如何随栈帧变化
局部变量表是栈帧（Stack Frame）的一部分，随着方法的调用而创建，随着方法的返回而销毁。在方法调用过程中，局部变量表的大小和内容保持不变，但其内容可能被修改（如赋值操作）。当方法A调用方法B时，方法A的栈帧会被压入调用栈，方法B的栈帧也会被创建并压入。方法B的局部变量表独立于方法A，即使它们有同名的局部变量，也不会相互干扰。只有当方法B执行完毕并返回后，方法B的栈帧才会被弹出，其局部变量表也随之销毁，方法A的栈帧重新成为活动栈帧，其局部变量表内容恢复为调用前的状态（除非在调用前被修改）。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
