Bezpieczne ocena zwarcie w C++ 11

Question

przygotowujące do C++ 11 wiemy, że zwarcie i porządek oceny są wymagane dla operatora && powodu:

1.9.18

w ocenie następujących wyrażeń

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

wykorzystaniem wbudowanego w rozumieniu operatory w tych wyrażeniach, , jest punkt sekwencji po ocenie pierwszego wyrażenia (12).

Ale sekwencja punkty już nie istnieją w C++ 11, więc gdzie jest standardową częścią, która mówi:

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

jest bezpieczne?

Answer 1

[expr.log.and]

W && grupy operatora od lewej do prawej. Operandy są konwertowane kontekstowo na bool (Rozdział 4). Wynik jest prawdziwy, jeśli oba operandy mają wartość true, a false w przeciwnym wypadku. W przeciwieństwie do &, && gwarantuje ocenę od lewej do prawej: : drugi argument nie jest oceniany, jeśli pierwszy operand jest fałszywy.

Wynikiem jest bool. Jeśli oceniane jest drugie wyrażenie, każde obliczenie wartości i skutek uboczny związane z pierwszym wyrażeniem są zsekwencjonowane przed każdym wyliczeniem wartości i efektem ubocznym związanym z drugim wyrażeniem wartości.