perché il ciclo non accetta direttamente il valore booleano?

Question

errore di compilazione: Il lato sinistro di una cessione deve essere una variabile

class A { 
    public static void main(String[] args) { 

     for(true;true;true) {//compilation error 

     } 
    } 
} 

ma quando ho provato in questo modo, non v'è alcun errore di compilazione

class A { 
    public static void main(String[] args) { 

     for (getBoolean(); true; getBoolean()) { 

     } 
    } 

    public static boolean getBoolean() { 
    return true; 
    } 
} 

getBoolean() restituisce un valore booleano valore, quindi per il primo caso perché il ciclo for non accetta direttamente il valore booleano?

Answer 1

Da JLS:

BasicForStatement: 
    for (ForInitopt ; Expressionopt ; ForUpdateopt) Statement 

ForStatementNoShortIf: 
    for (ForInitopt ; Expressionopt ; ForUpdateopt) StatementNoShortIf 

ForInit: 
    StatementExpressionList 
    LocalVariableDeclaration 

ForUpdate: 
    StatementExpressionList 

StatementExpressionList: 
    StatementExpression 
    StatementExpressionList , StatementExpression 

Then:

StatementExpression: 
    Assignment 
    PreIncrementExpression 
    PreDecrementExpression 
    PostIncrementExpression 
    PostDecrementExpression 
    MethodInvocation 
    ClassInstanceCreationExpression 

Come si può vedere Method Invocation è consentito e literal value non è.

Answer 2

Secondo doc

for (initialization; termination; 
    increment) { 
    statement(s) 
} 

E intialization e l'incremento deve essere l'espressione (assegnazione) non è semplice booleano ma nella chiamata di funzione java è considerato come l'espressione in modo che valuterà in modo corretto.