Wie analysiert Java leere Anweisungen?

Question

if(3 % 3 == 0){ 
    return 3;; 
} 

Java sagt unreachable statement.

Ich verstehe, dass java parst return 3;; als

return 3; 
     ; 

So sagt es nicht erreichbar Aussage. Aber es ist eine leere Aussage. Warum kümmert sich Java darum?

Answer 1

Einfach: der Java-Compiler behandelt eine leere Anweisung als nur eine Anweisung. Wie this section aus der Java-Sprachspezifikation zeigt:

Statement: 

    StatementWithoutTrailingSubstatement 
    LabeledStatement 
    IfThenStatement 
    IfThenElseStatement 
    WhileStatement 
    ForStatement 

StatementWithoutTrailingSubstatement: 
    Block 
    EmptyStatement 
    ExpressionStatement 
    AssertStatement 
    SwitchStatement 
    ... 

Und the definition of unreachable statements auf alle Arten von Aussagen gelten. Beachten Sie insbesondere Folgendes:

Eine leere Anweisung kann normalerweise abgeschlossen werden, wenn sie erreichbar ist.