Java循环内声明的局部变量是否每次迭代都会分配内存？

问题核心澄清：语法语义和底层实现是两个独立的层面 #

你提到的认知冲突本质上是混淆了Java语言规范规定的变量行为，和编译器/JVM的底层优化逻辑，二者并不矛盾。

Cay Horstmann《Java 9核心技术》第3章126页明确说明：“每次迭代都会创建一个新的变量arg”
这个描述完全符合Java语言规范，且完全不需要担心性能问题，原因我们逐步拆解：

为什么增强for循环要规定每次迭代创建新变量？ #

这是Java语言层面专门设计的语法规则，目的是解决内部类/Lambda捕获变量的经典坑。我们可以直接用代码验证这个设计的作用：

List<Runnable> taskList = new ArrayList<>();
for (String arg : List.of("first", "second", "third")) {
    taskList.add(() -> System.out.println(arg));
}
// 执行所有任务
taskList.forEach(Runnable::run);

按照当前语法规则，输出结果是first、second、third，完全符合预期。如果所有迭代共享同一个arg变量，那么所有Lambda捕获到的都是同一个变量的引用，执行时只会输出最后一次迭代的third，会带来大量隐蔽的业务bug。
这个规则是语法层面的强制要求，和编译器优化无关，它保证了循环变量的作用域严格限制在单次循环体内，避免作用域污染。 #

你担心的“每次分配内存”的性能损耗不存在 #

你之前认为“编译器会预分配局部变量空间”的认知是完全正确的，和上述规则没有任何冲突：

• Java方法的局部变量是在栈帧上分配的，方法调用时栈帧就会提前算好所有局部变量需要的槽位（slot）总大小，一次性分配完成
• 所谓的“每次迭代创建新变量”只是语义层面的表现，底层实现只会把每次迭代的新值赋值到同一个预分配好的栈槽里，完全不会额外申请内存，也没有任何性能开销

所有Java循环的通用规则 #

我们可以把所有循环场景的变量行为统一梳理：

• 普通for循环的初始化变量：比如for(int i=0; i<10; i++)里的i，是在循环初始化阶段仅创建一次，作用域覆盖整个循环，所有迭代共享同一个变量。如果在循环内用Lambda捕获i，会出现和增强for循环相反的结果，所有Lambda拿到的都是同一个i的最终值
• 所有循环体内部定义的变量：不管是增强for、普通for还是while/do-while循环，只要变量是在循环体的大括号内部定义的，语义上都是每次迭代创建新变量，底层复用预分配的栈空间，无额外开销
• 循环外部定义的变量：在循环之前已经声明的变量，循环内只是修改它的值，全程只有一个变量实例

内容的提问来源于stack exchange，提问作者likejudo