空语句在for循环里为什么常被误用
空语句就是单个分号;，它合法但容易引发逻辑错误——尤其在for循环末尾多写一个分号，整个循环体就“消失”了。
比如：for (int i = 0; i ，这里<code>;让循环提前结束，花括号里的代码只执行一次，且i还可能报错（作用域外）。
- 常见错误现象：循环没按预期执行、变量
i找不到、控制台只输出一次 - 真正需要空循环体时，应明确写出
for (int i = 0; i ，并加注释说明意图（如“等待条件成立”） - IDE通常会警告
Empty statement，别直接忽略
{}块语句不是万能的作用域封装器
Java中{}确实能创建局部作用域，但仅限于声明变量；它不能改变控制流语义，也不能绕过语法约束。
例如：if (x > 0) {} else int y = 1;是非法的——else后面必须跟语句，而int y = 1;是声明，不是语句（除非加{}包裹成块）。
立即学习“Java免费学习笔记（深入）”；
- 块语句内可声明变量，但外部不可访问；重复声明同名变量在不同块里是允许的
-
return、break、continue等跳转语句不能脱离所属结构单独存在，块本身不提供上下文 - 不要为了“看起来整洁”而随意加
{}，比如if (x) { doX(); }比if (x) doX();并无优势，反而增加缩进层级
空语句和块语句在switch中的实际分工
switch里空语句常用于“贯穿（fall-through）”，而块语句用于隔离变量或避免case穿透带来的副作用。
比如：case 1: x = 10; break; case 2: ; // 空语句，表示什么也不做，这比写case 2: break;更直白表达“有意忽略”。但若要在某个case里声明变量，就必须用{}包裹，否则编译失败。
-
case标签后不允许直接跟变量声明，必须用{ int tmp = ...; } - 空语句
;可以作为case的完整语句，但不能解决变量作用域问题 - 多个
case共享逻辑时，靠空语句+贯穿是可行的，但务必加注释，否则极难维护
嵌套块里声明同名变量的真实行为
Java允许在内层块中声明与外层同名的变量，这不是覆盖，而是遮蔽（shadowing）。编译器能通过作用域分辨，但人容易看错。
例如：int x = 1; { int x = 2; System.out.println(x); } System.out.println(x); 输出2和1。看似安全，但一旦漏掉内层int，就变成赋值而非声明，行为全变。
- 遮蔽变量在调试时容易误读——IDE可能高亮显示的是外层变量，但运行时用的是内层
- lambda表达式或匿名类里引用局部变量，该变量必须是
final或事实不变（effectively final），嵌套块里重新声明会破坏这个前提 - 编译器不会报错，但静态分析工具（如ErrorProne）会警告
Variable declared in inner block shadows variable declared in outer block
空语句和块语句看着简单，但它们介入的是语法骨架层面。少一个分号、多一对花括号，可能让编译通过却彻底改写逻辑——这种地方没有运行时提示，只能靠对语法规则的肌肉记忆和审慎检查。
