Безопасная оценка короткого замыкания в C++ 11

Question

Pre-C++ 11, мы знаем, что короткое замыкание и порядок оценки необходимы для оператора && из:

1.9.18

при оценке следующих выражений

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

с помощью встроенного в значении операторы в этих выражениях, , есть точка последовательности после оценки первого выражения (12).

Но последовательность Баллов больше не существует в C++ 11, так, где это стандартная часть, которая говорит:

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

безопасно?

Answer 1

[expr.log.and]

В && оператор группы влево-вправо. Операнды преобразуются в контекстном контексте в bool (пункт 4). Результат равен true, если оба операнда истинны и false в противном случае. В отличие от &, && гарантии слева направо Оценка: второй операнд не оценивается, если первый операнд является ложным.

Результат bool. Если второе выражение оценивается, каждое вычисление значения и связанный с ним побочный эффект с первым выражением секвенируются перед каждым вычислением значения и побочным эффектом, связанным с вторым выражением .