java局部变量作用域由代码块边界和编译期栈帧结构共同约束，仅在声明的{}内有效，需显式初始化，其slot位置编译期固定且不可复用，存储于栈上但受逃逸分析影响。
Java 局部变量的作用域不是“写在哪就用到哪”，而是由代码块边界和编译期确定的栈帧结构共同约束的。它直接影响方法能否编译通过、运行时是否抛异常，以及JVM栈空间的实际占用效率。
作用域严格受限于代码块边界
局部变量只在声明它的 {} 内有效，从声明语句开始，到对应右大括号结束。这包括方法体、if、for、try、catch 等任意嵌套块。
- 方法参数属于整个方法体的作用域，但不能在方法外访问
- for 循环内声明的
int i = 0，循环结束后i不可再用 - if 块中定义的变量，即使条件恒真，也不能在 if 外访问 —— 编译器不作运行时逻辑推断
- 同名变量在内层块中会遮蔽外层，例如方法体内有
String name，if 块里再写String name = "Alice"，则块内用的是新变量
必须显式初始化才能使用
局部变量没有默认值，未赋值就引用会直接导致编译失败，这是与成员变量最直观的区别。
-
int x;后紧跟System.out.println(x);→ 编译报错：variable x might not have been initialized - 即使逻辑上“肯定已赋值”（如
if (true) x = 1;），编译器仍可能报错，因它依赖控制流分析而非运行时判断 - final 局部变量允许延迟初始化，但必须确保所有执行路径都完成一次且仅一次赋值
栈内存分配由编译期静态决定
每个方法的局部变量表大小，在 javac 编译时就固定了，运行时不会改变。它不随变量作用域结束而收缩，Slot 位置连续且不可复用。
- 一个
int或对象引用占 1 个 Slot（4 字节），long或double占 2 个 Slot - 声明但未使用的变量（如
String tmp = "test";后无任何读取）通常仍计入 Slot 总数，优化依赖 JVM 版本和开关，不可依赖 - this 引用占第 0 号 Slot（实例方法），参数从第 1 号起顺序排列，之后才是显式声明的局部变量
- 减少 Slot 占用的有效做法：复用临时变量名、合并短生命周期计算、避免传递多个独立大对象引用
方法调用与栈帧生命周期紧密绑定
每次方法调用都会压入一个新栈帧，其中包含该方法所需的局部变量表、操作数栈等。方法返回即弹栈，整个帧连同局部变量一并销毁。
- 递归过深易触发 StackOverflowError，本质是栈帧叠加超出了线程栈容量限制
- 局部变量存储在栈上，速度快、无需 GC；但栈空间有限，不适合存放大对象或长期持有数据
- 若局部变量引用的对象未逃逸（没被 return、没存入 static 字段、没传给其他线程），JVM 可能通过逃逸分析将其分配在栈上，避免堆分配和 GC
- 匿名内部类或 Lambda 捕获局部变量时，该变量会被复制为合成字段，同时仍在原方法局部变量表中保留引用，造成双重内存占用
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
