Java 中，if、for 等带花括号 {} 的语句块确实引入独立的作用域，但不允许在同一作用域内重复声明同名局部变量；for 循环中多次声明 int i 是合法的，因为每个 i 的作用域仅限于其所在循环，彼此不嵌套。
java 中，`if`、`for` 等带花括号 `{}` 的语句块确实引入独立的作用域，但**不允许在同一作用域内重复声明同名局部变量**；`for` 循环中多次声明 `int i` 是合法的，因为每个 `i` 的作用域仅限于其所在循环，彼此不嵌套。
在 Java 中，所有用 {} 包裹的代码块（包括 if、for、while、try 等）都会创建一个新的局部变量作用域。这意味着：
- 在块内声明的变量仅在该块内可见；
- 块外无法访问该变量；
- 但关键限制是：不能在“外层变量的作用域内”再次声明同名局部变量——这正是 JLS（Java Language Specification）第 6.4 节明确规定的编译时错误。
来看原始示例：
int x = 9;
if (x == 9) {
int x = 8; // ❌ 编译错误！x 已在外部作用域（main 方法体）中声明
System.out.println(x);
}此处 if 块虽构成新作用域，但 int x = 8 的声明位于变量 x 的直接外围作用域（即 main 方法体）之内，违反了“禁止遮蔽（shadowing）同名局部变量”的规则，因此编译失败（选项 C 正确）。
而 for 循环为何可以多次使用 int i？
立即学习“Java免费学习笔记（深入）”；
for (int i = 0; i < 3; i++) {
System.out.println("First loop: " + i);
}
for (int i = 0; i < 3; i++) { // ✅ 合法！i 的作用域仅限于本 for 循环
System.out.println("Second loop: " + i);
}根据 JLS §6.3，for 初始化部分（如 int i = 0）所声明的变量，其作用域覆盖：
- 自身初始化表达式；
- for 条件（Expression）和更新（ForUpdate）部分；
- 整个循环体（Statement）；
但不延伸到下一个 for 语句。两个 for 是并列的独立作用域，而非嵌套关系，等价于：
{
for (int i = 0; i < 3; i++) { /* ... */ }
} // i 作用域在此结束
{
for (int i = 0; i < 3; i++) { /* ... */ }
} // 新的 i，与上一个无关联⚠️ 注意事项：
- 字段（成员变量）与局部变量同名是允许的（字段被局部变量“遮蔽”，需用 this.x 访问）；
- try-with-resources 中的资源变量、catch 参数也各自拥有独立作用域；
- switch 语句中的 case 标签不构成独立作用域，若在多个 case 中声明同名变量会报错（除非用 {} 显式包裹）；
- 使用 IDE（如 VS Code + Java Extension）时，编译错误通常实时提示，但务必理解底层语义而非依赖工具反馈。
✅ 总结：
Java 的作用域以 {} 为边界，但作用域的“嵌套性”决定变量能否重名——只有当新声明位于外层局部变量的作用域内部时才非法；并列的 for 循环、独立的 if 块、显式代码块 {} 都是安全的重用场景。掌握 JLS 关于作用域（§6.3）和声明冲突（§6.4）的规范，是写出健壮、可维护代码的基础。
