sicura di valutazione di corto circuito in C++ 11

Question

Pre-C++ 11 sappiamo che cortocircuito e l'ordine di valutazione sono necessari per l'operatore && a causa di:

1.9.18

nella valutazione dei seguenti espressioni

a && b 
a || b 
a ? b : c 
a , b 

utilizzando il built-in di significato gli operatori in queste espressioni, , c'è un punto di sequenza dopo la valutazione della prima espressione (12).

Ma sequenza di punti non esistono più in C++ 11, quindi dove è la parte standard che dice:

if (ptr && ptr->do_something()) 
{ 
} 

è sicuro?

Answer 1

[expr.log.and]

I && gruppi di operatori da sinistra a destra. Gli operandi vengono entrambi convertiti contestualmente in bool (clausola 4). Il risultato è true se entrambi gli operandi sono veri e falsi altrimenti. A differenza di &, && garantisce la valutazione da sinistra a destra : il secondo operando non viene valutato se il primo operando è falso.

Il risultato è un bool. Se viene valutata la seconda espressione, ogni calcolo del valore ed effetto collaterale associato a con la prima espressione viene sequenziato prima di ogni calcolo del valore ed effetto collaterale associato alla seconda espressione .