在 java 中，for 循环内声明的变量不会在每次迭代时重复创建新的对象实例或分配新的内存空间。java 编译器会将循环体内的局部变量提升为方法级别的局部变量，并在整个方法的生命周期内复用同一块栈帧内存。这意味着变量的声明开销只发生一次，而赋值操作则会在每次迭代中执行。
for 循环中声明的变量是重新分配内存还是复用？
答案是复用。JVM 在执行 for 循环时，并不会因为代码写在循环体内就在堆上或栈上开辟新区域。局部变量存储在 JVM 栈（Stack）中，其生命周期与方法调用绑定。当进入循环体时，只是对已有的变量槽位进行赋值更新。这种机制确保了性能不会因为循环次数多而产生额外的内存分配压力。
public class VariableScopeDemo {
public void demonstrateLoop() {
// 循环外声明
int i = 0;
// 循环内声明
for (int j = 0; j < 5; j++) {
String s = new String("hello");
System.out.println(s);
}
// 编译错误：j cannot be resolved
// System.out.println(j);
}
}
上述代码中，j 的作用域仅限于 for 循环内部。虽然每次迭代都会执行 int j = 0 这行代码，但这仅表示将整数 0 赋值给变量 j，而不是重新定义类型或分配新内存。对于引用类型如 String，每次迭代确实会创建一个新的字符串对象（因为调用了 new），但变量本身 s 只是指向这些不同对象的引用，变量容器本身没有变。
立即学习“Java免费学习笔记（深入）”；
为什么不能在循环外访问 for 循环内声明的变量？
这是因为 Java 的语法作用域规则。在 for 循环的初始化部分（即第一个分号前的部分）声明的变量，其作用域被严格限制在该 for 语句块内。一旦循环结束，该变量就超出了可见范围，无法在后续代码中被引用。这是为了防止变量污染和确保逻辑清晰，同时也让编译器能更精确地管理资源。
public class ScopeCheck {
public void testScope() {
for (int k = 0; k < 3; k++) {
double pi = 3.14;
System.out.println(pi);
}
// 下面这行代码会导致编译错误
// System.out.println(k);
// System.out.println(pi);
}
}
尝试在循环体外访问 k 或 pi 会引发编译时错误，提示变量未定义。这与 C++ 等语言的行为一致，但在某些动态语言中可能表现不同。理解这一点有助于编写更规范的 Java 代码，避免试图在循环后使用临时计数器或中间结果，除非将它们提升到循环外部声明。
基于 for 循环中声明的变量作用域的具体问题
如果在 for 循环中声明了一个对象引用，并在循环结束后尝试通过其他方式间接持有该引用，会发生什么？实际上，只要没有外部强引用指向该对象，它将在下一次迭代开始时失去唯一引用（如果未被保存），从而成为垃圾回收的候选者。例如，若在循环内创建大量对象且未将其存入集合，它们会在每次迭代结束时变得不可达，导致频繁的 GC 活动，尽管变量本身是复用的。
