Cosa c'è di sbagliato nella logica di corto circuito in questo codice Java?

Question

Perché func3 non viene eseguito nel programma qui sotto? Dopo func1, func2 non ha bisogno di essere valutato ma per func3, non dovrebbe?

if (func1() || func2() && func3()) { 
     System.out.println("true"); 
    } else { 
     System.out.println("false"); 
    } 
} 

public static boolean func1() { 
    System.out.println("func1"); 
    return true; 
} 

public static boolean func2() { 
    System.out.println("func2"); 
    return false; 
} 

public static boolean func3() { 
    System.out.println("func3"); 
    return false; 
} 

Answer 1

Si sta utilizzando un cortocircuito o. Se il primo argomento è vero, l'intera espressione è vera.

Potrebbe aiutare se aggiungo le parentesi impliciti che il compilatore utilizza

Edit: Come ha osservato Chris Jester-Young, questo è in realtà perché gli operatori logici devono da sinistra a destra associatività:

if (func1() || (func2() && func3())) 

Dopo rendimenti func1, diventa in questo modo:

if (true || (func2() && func3())) 

Dopo aver valutato il corto circuito o, diventa:

if (true) 

Answer 2

espressioni booleane di cortocircuito Java. Ciò significa che, una volta eseguito func1() e restituito true, il resto di tale valore booleano non ha importanza dal momento che si sta utilizzando un operatore or. Indipendentemente da ciò che valuta func2() && func3(), l'intera espressione verrà valutata su true. Pertanto, Java non si preoccupa nemmeno di valutare func2() o func3().

Answer 3

risposta breve: short-circuit evaluation

dal FUNC1() yelds vero non v'è necessità di continuare la valutazione dal momento che è sempre vero

Answer 4

http://en.wikipedia.org/wiki/Short-circuit_evaluation

Answer 5

se la funzione 1 sempre restituisce true, quindi Java non ha bisogno di valutare il resto dell'espressione per determinare che l'intera espressione sarà vera.

Answer 6

Java utilizza la valutazione Lazy.

Poiché Func1 restituisce sempre true, l'intera espressione DEVE essere vera, quindi consente di collegare il resto dell'espressione.

true || (???) 

e

false && (???) 

sarà sempre scorciatoia.

Per disattivare la valutazione del collegamento, utilizzare | e & invece di || e & &

possiamo usare questo a buon effetto:

String s; 
if (s != null && !s.equals("")) ... 

Il che significa che se s è nullo, noi non hanno nemmeno bisogno di provare a chiamare s.equals, e noi non finiremo lancio di una NullPointerException

Answer 7

Stai utilizzando gli operatori di scorciatoia || e & &.Questi operatori non eseguono il resto dell'espressione, se il risultato è già definito. Per || ciò significa che se la prima espressione è vera e per & & se la prima espressione è falsa.

Se si desidera eseguire tutte le parti dell'espressione, utilizzare | e & invece, non è una scorciatoia.

funzioni

Answer 8

Java sono valutati secondo precedence rules

perché "& &" è di precendenza superiore "||", è valutata in primo luogo perché non avete avuto eventuali staffe per impostare esplicitamente la precedenza

così si espressione di

(A || B && C) 

che è

(T || F && F) 

è tra parentesi come

(T || (F && F)) 

a causa delle regole di precedenza.

Dal momento che il compilatore capisce che se 'A == true' non ha bisogno di preoccuparsi valutare il resto dell'espressione, smette dopo aver valutato A.

Se tu avessi parentesi ((A || B) && C) Poi si sarebbe valutato come falsa.

EDIT

Un altro modo, come detto da altri manifesti è quello di utilizzare "|" e "&" anziché "||" e "& &" perché ciò interrompe l'espressione dalla scorciatoia. Tuttavia, a causa delle regole di precedenza, il risultato finale sarà sempre lo stesso.

Answer 9

Se si desidera che tutte le funzioni da eseguire è possibile eliminare la scorciatoia varianti

if (func1() | func2() & func3()) {