Java变量生命周期由类型、作用域和引用关系共同决定，并绑定JVM内存分区：基本类型局部变量存栈中，随方法进出而创建销毁；引用变量本身在栈、所指对象在堆；成员变量随对象存堆，静态变量存方法区/元空间；JVM还支持逃逸分析与活变量优化，使对象可提前被GC回收。
Java变量的生命周期不是由“写在哪”决定的，而是由它的类型、作用域和引用关系，共同绑定在JVM内存逻辑分区上。理解这一点，才能真正看懂GC行为、线程安全问题和内存泄漏根源。
基本类型变量：全程在线程栈中
所有方法内的局部基本类型变量（如 int、boolean、char）都直接分配在线程私有的虚拟机栈中，随方法调用入栈、方法返回出栈而创建与销毁。
- 它们不经过堆，也不参与垃圾回收
- 即使被声明为 final 或作为闭包捕获，只要仍是局部基本类型，就始终驻留在栈帧的局部变量表里
- 若方法内发生栈溢出（StackOverflowError），这些变量会随整个栈帧一起被抛弃，无需GC介入
对象引用变量：栈上存地址，堆上存实体
局部引用变量（如 String s = new String("hello") 中的 s）本身存在栈上；它所指向的对象实例，则一定分配在堆中。
- 引用变量的生命周期严格绑定于所在栈帧——方法退出即失效
- 但对象本身是否立即可回收，取决于是否有其他强引用仍可达它（例如被放入静态集合、线程共享队列等）
- JVM能做逃逸分析：若发现某个 new 出的对象从未“逃出”当前方法作用域，可能直接将其分配在栈上（标量替换），但这属于优化，对开发者透明
成员变量与静态变量：随宿主生命周期扎根堆区
类的实例成员变量（非 static）随对象一同分配在堆上，与该对象共存亡；静态变量（static）则属于类元数据的一部分，在方法区（JDK 8+ 为元空间）中初始化，并指向堆中的值（如果是引用类型）。
- 成员变量无论类型是 int 还是 List<String>，都随对象放在堆中，不是“栈上放基本类型、堆上放引用类型”的混合存放
- 静态变量在类加载的“准备”阶段分配内存并赋默认值（如 0、null），在“初始化”阶段才执行 static{} 块或显式赋值
- 只要类未被卸载（通常只发生在自定义类加载器场景），其静态变量就一直有效；即使所有实例都被回收，静态变量仍保留在方法区/元空间中
本地变量的“提前死亡”：JVM 的真实优化能力
很多人误以为方法内定义的引用变量必须等到方法结束才释放，其实 JVM 在编译期和运行期都会识别“实际存活区间”。一旦变量后续不再被读取，其引用就会被标记为“死亡”，对应堆对象可能在下一次 GC 时就被回收。
- 典型例子：方法末尾有长循环，但某对象引用在循环前就再无使用，JIT 可能将该引用置为 null 或直接丢弃其栈槽
- 这种优化依赖于准确的“活变量分析”，是 HotSpot 的成熟特性，无需手动置 null 来“帮助 GC”（除非是大对象且方法执行时间极长）
- 可通过 -XX:+PrintGCDetails 和对象 finalize()（已废弃）或 Cleaner 验证对象实际回收时机
