今天找了半个小时的bug，发现可以在if语句后面加分号，而不是代码，像这样：
if(a == b);
// Do stuff
这基本上意味着无论a 是否等于b，这些东西都会完成，而if 语句没有任何意义。为什么Java不给我一个错误？在任何情况下这会有用吗？
【问题讨论】：
if
标签： java if-statement
Java Language Specification 说：
空的声明
空语句什么都不做。
EmptyStatement: ;空语句的执行总是正常完成
它本质上意味着如果 a==b 则要执行空语句
if(a == b);你该怎么办：
这个问题有两个主要的解决方案：
您可以使用代码格式化程序来避免空语句的问题 以及
if和{和}内的周围的东西。通过做这个 您的空语句将更具可读性。if(a == b){ ; }您还可以检查用于静态代码分析的工具，例如：
他们可以立即突出显示诸如此类的问题。
我建议将这两种解决方案结合起来。
【讨论】：
在任何情况下这会有用吗？
有用？如“使您的代码更干净、更清晰、更快、更易于维护”？一点也不。这很可能糟糕的、令人困惑的代码.
但这不一定是良性的.这样的语句可以执行操作和/或更改由于导致副作用的方法的状态，并且由于short-circuiting of operators 而可选地评估这些方法。
if( a() && b() );在这里，
a()或b()可能会做一些事情，而b()只有在a()为真时才会执行。至于为什么，我认为答案很简单，与开发人员编写错误代码的替代方案相比，偏离已定义的预期行为（例如
while(reader.read());之类的语句）会更糟糕。编写糟糕的代码总是可能的。重申一下，这几乎在任何情况下都是糟糕的代码。
【讨论】：
一个可能的用例：
if (a==b);
else {
// Do something
}
不好，但可能。
尽管如此，我确实认为 Java 规范应该不允许空的if。
【讨论】：
if (a==b) { // do nothing } else { doSomething(); }，因为更明显的是无操作是故意的，而不是错字。
如果你使用的是 Eclipse，你可以让它警告你这些语句：
【讨论】：
如果使用if 语句，则如果条件为真，将执行if 之后的第一条语句。如果您在if 之后有一个块（带有花括号），则它对整个块都有效。如果没有块，它只计算一个语句。单个分号是一个空语句。您还可以像这样编写示例中的代码：
if(a==b) {
;
}
【讨论】：
这是从有更多语法糖来区分表达式和语句的时代的遗留物。
基本上，逗号用作列表项分隔符，因此分号用作“语句列表”分隔符。缺点是处理列表中的空项和块中的空语句。
在项目列表中，Java 使用显式关键字null，但“空语句”只是一个空行。允许空行的存在是继承自 C 的传统的保留。
为什么这样做？特别是当您知道没有执行任何语句时使用if 语句：因为某些 if 语句有副作用：
int c;
if ((c = in.read()) != -1);
是的，这不是最好的例子，但基本上它说从流中读取一个字节并且什么都不做。在某些极端情况下可能有用，但即使此示例不是最好的，它也说明了意图。我们希望在不意外执行任何语句的情况下感受表达式的副作用。
【讨论】：
我想不出它有用的场合。它对于像这样的循环很有用
while(do something);
或者
for(init; do something; something else);
如果您经常在 IDE 中使用代码格式，那么这些错误就会变得很明显。一些 IDE 也将此突出显示为可能的错误。
【讨论】：
我同意你的观点，这对人类没有任何用处。我怀疑它的存在是因为它简化了语言定义；例如，这意味着if 之后的内容与while 之后的内容相同。
【讨论】：
为什么？这是因为它对编译器编写者来说更容易。您不必特殊情况下检查 if(cond) 之后的分号，并且还有一个额外的用法是允许
if (cond && maybeFunc())
;// Code here I want to ignore
即使允许这样做实际上是一个糟糕的主意。允许然后添加一个案例来检查这一点更容易。
【讨论】：
Java 允许在允许语句块的任何地方使用空块。我确信将此作为所有块的通用规则可以简化编译器。
我同意这主要是导致很难找到的错误的原因。我总是在块周围使用大括号，即使只有一条语句，但 Java 允许您在任何时候使用大括号创建一个块，因此使用大括号无法使您摆脱这种命运。例如，我曾经浪费了 4 个小时试图找到这样的东西：
while (condition);
{
statement;
statement;
}
第一行末尾的分号是一个错字，不小心使 while 循环的语句块为空。因为语法是有效的程序编译和运行良好，只是不是我想要的方式。它是真的很难找到。
我能想到一种情况非常好你可以有空块，这是这样的：
if (condition1) {
do_action_1();
}
else if (condition2) {
//nothing really to do in this case
}
else if (condition3) {
do_action2();
}
else {
do_action3();
}
在上面的示例中，您希望能够分离出各种条件。请记住，这些条件可能会重叠，因此并不总是可以重新排列顺序。如果其中一个条件真的不需要做任何事情，那么 Java 允许你有一个空块是很好的。否则，当您真的不想做任何事情时，该语言将需要某种形式的“noop”方法来使用。
我个人更喜欢显式的“noop”语句——但这不是 Java 的定义方式。
【讨论】：
仅供参考，关于可用性和如果有这样的陈述，它会产生什么影响或能产生什么影响
考虑如下一段代码。
int a = 10;
if ((a = 50) == 50);
System.out.println("Value of a = " + a);
显然，在这种情况下，if 语句确实会更改输出。因此，这样的声明可以产生影响。
在这种情况下，这可能是有用的，或者说对程序有影响。
【讨论】：
if(a==b)
println("a equals b");
如果只有一行要执行，您可以使用不带 {} 的 IF 语句，因此使用 if(a==b); 您是在说它们是否相等，执行和清空语句......所以它什么都不做，然后返回到您的正常循环，在 IF 块之外。
【讨论】：
println("a now equals b");
jls 的一些定义解释了这一点（第 14 章）：
如here 所述，Block 是StatementWithoutTrailingSubstatement，而StatementNoShortIf 又是Statement。因此，无论何时需要这些，我们都可以插入Block。
尽管for 和while-loops 也是如此，但我将使用if-statements。这些规则几乎相同。 if-statements 的语法描述可以在here 找到。
IfThenStatement:
if ( Expression ) Statement
IfThenElseStatement:
if ( Expression ) StatementNoShortIf else Statement
IfThenElseStatementNoShortIf:
if ( Expression ) StatementNoShortIf else StatementNoShortIf
所以我们可以在这里使用我们的块。
; 定义为EmptyStatement (link)，它也是StatementNoShortIf。所以在有条件的代码片段中，比如if-statement 和循环，如果需要StatementNoShortIf 或Statement，我们可以用EmptyStatement 替换Block。
因此if(Expression)EmptyStatement 有效。
很简单：如果 java 发现无效的语法，它会报错。但是if(Expression)EmptyStatement 是完全有效的语法。相反，javac 如果使用正确的参数启动，则会发出警告。为此，full list of warnings that can be dis-/enabled 列出了警告名称empty。所以用-Xlint:all 或-Xlint:empty 编译会产生一个警告。
您的 IDE 也应该有一个选项来启用这种警告。
对于日食，请参阅@nullptr's answer。在 IntelliJ 中，您可以按 Ctrl + Shift + A，在搜索字段中输入 empty body 并启用警告（在图像中标记）
老实说，从极简主义的角度来看，它并没有多大用处。通常有一种方法可以在没有“什么都不做”命令的情况下完成任务。这是个人喜好的问题，您是否愿意使用
if( a() && b() );
或者
if( a() ) b();
同样适用于使用EmptyStatement 的其他情况。关于这个主题要考虑的一个重要点是代码的可读性。在某些情况下，通过使用 no-op，代码变得更具可读性。另一方面，在某些情况下，使用EmptyStatement 会使代码变得更加难以理解——上面的例子将计入后来的 IMO。
【讨论】：
我可以想到一个需要空语句的场景（不是if 条件，而是while 循环）。
当程序只需要用户的明确确认以继续时。当用户确认后的工作取决于其他一些事情并且用户想要控制何时继续时，这可能是必需的。
System.out.println("Enter Y to proceed. Waiting...");
System.out.println("");
while(!(new Scanner(System.in).next().equalsIgnoreCase("Y")));
System.out.println("Proceeding...");
// do the work here
【讨论】：
看看这个：
int a,b,c = 0;
if(a == b){
c =1;
}
System.out.print(c);//1
所以，你可以这样写：
if (a == b)c=1;
但是，如果这段代码是这样的：
int a,b,c=0;
if (a != b){
}
if (a == b ){
c =1;
}
你可以这样写：
if(a != b);
if(a == b )c=1;
所以，你会知道if(a != b);什么都不做
【讨论】：
if 中的分号表示 if 条件的终止，如 java 中的 ; 被视为语句的结尾，因此执行 if 之后的语句。
【讨论】：
分号结尾，
如果（a==b）；只需在单行中完成语句，这意味着忽略条件的结果并从下一行继续执行
这段代码很有用，另一方面有时会在程序中引入错误，例如，
情况1。
a = 5;
b = 3;
如果（a == b）；
print("a 和 b 相等");
案例2。
a = 5;
b = 5;
如果（a == b）；
print("a 和 b 相等");
将在屏幕上打印相同的输出...
【讨论】：
在为班级进行编程作业时，我正在使用 N×N 网格的装饰物并将随机装饰物的特征与上方、下方、左侧和右侧的特征进行比较，我发现一个很好的用途是防止嵌套语句和潜在的边界异常。我的目标是最小化代码并避免嵌套 if 语句。
if (row == 0);
else (method (grid[row][col], grid[row-1][col]));
if (row == N-1);
else (method (grid[row][col], grid[row+1][col]));
if (col == 0);
else (method (grid[row][col], grid[row][col-1]));
if (col == N-1);<br>
else (method (grid[row][col], grid[row][col+1]));
其中method(Doodad a, Doodad b) 在 a 和 b 之间进行一些操作。
或者，您可以使用异常处理来避免这种语法，但它适用于我的应用程序并且效果很好。
【讨论】：
if(row != 0) method (grid[row][col], grid[row-1][col]); 在不使用空的 if 语句的情况下具有相同的效果。