Suggerimento Intellij Idea: la condizione è sempre falsa: può essere vero qui? (Java)

Question

ho il seguente codice:

public String testExitPoints() { 
    boolean myBoolean = false; 
    try { 
     if (getBoolean()) { 
      return "exit 1"; 
     } 
     if (getBoolean()) { 
      throw new RuntimeException(); 
     } 
    } finally { 
     myBoolean = true; 
    } 
    if (getBoolean()) { 
     return "exit 2"; 
    } 
    return "exit 3"; 
} 

public static boolean getBoolean() { 
    Random rand = new Random(); 
    return rand.nextInt() > 100; 
} 

Ora IntelliJ IDEA mi dà per la seconda e la terza invocazione getBoolean() il seguente suggerimento:

Condition 'getBoolean()' is always 'false' 

Ora la mia comprensione, che non è true, dal getBoolean() può essere true o false, a seconda del valore casuale generato. Mi manca qualcosa qui, o è un bug in IntelliJ Idea?

Answer 1

Non è un bug. È una caratteristica :)

Se guardi attentamente nel tuo IDE, ti dirà che la seconda e la terza chiamata a getBoolean() sono sempre false, ma non la prima.

L'idea presuppone (in questo caso in modo errato) che il metodo, essendo senza parametri e chiamato "get" ..., restituisca sempre lo stesso valore.

Se così fosse, e la prima chiamata era vera, l'altra non sarebbe mai stata aperta (a causa del ritorno).

Se la prima chiamata era falsa, lo sarebbero anche le altre.

IDEA cerca di essere intelligente w.r.t. buone pratiche di codifica, ma non è infallibile.

Se si cambia il metodo per avere parametri (o rinominarlo in modo da non apparire come un getter)

public boolean getBoolean(int x) { 
    Random rand = new Random(); 
    return rand.nextInt() > 100; 
} 

Le avvertenze andrà via (anche se si richiama con lo stesso argomento tutti i tempi) .

(Si noti che, anche se è stato un getter, se è per un campo non finale è ancora sbagliata, in quanto può cambiare in un ambiente multithreading!)

Answer 2

IDEA ritiene che la chiamata getBoolean( non venga modificata quando viene chiamata per la seconda (o terza volta). Normalmente se si restituisce lo stesso valore, la seconda chiamata potrebbe non essere mai raggiunta. Ecco perché l'IDEA lo evidenzia.

Answer 3

Nel mio caso se si utilizza MY_ACTUAL_CLASS_NAME. getBoolean() non si lamenta (poiché il metodo è statico). Può essere perché IntelliJ Idea non tiene conto delle statiche (un possibile bug qui)