Является составным, если проверять значение null, а затем другое условие в C++ всегда безопасно?

Question

(этот вопрос является точной копией Is compound if checking for null and then other condition in C always safe?, но около C++, а не C. Было указано, что вопрос должен быть более конкретным).

Я использую следующий тип if состояние в течение длительного времени.

char* ptr = ...; 
if (ptr != NULL && ptr[0] != '\0') // <=== is this always safe? 
{ /* ... */ } 

Он полагается на ptr != NULL быть проверены перед ptr[0] !='\0'.

Безопасен ли он по всем стандартам, составителям, архитектуре? Или есть вероятность, что ptr[0] != '\0' будет проверен до ptr != NULL?

Answer 1

В этом случае это безопасно. Short-circuit evaluation означает, что RHS оператора && будет оцениваться только в том случае, если первое значение истинно.

C++ позволяет переопределить bool operator && для пользовательских типов. Использование overriden && не соответствует оценке короткого замыкания, поэтому безопасность теряется. Очень редко перегружать этого оператора.

Вот пример, показывающий поведение перегруженной && оператора:

struct Foo {}; 

bool operator && (const Foo&, const Foo&) { return true; } 

#include <iostream> 

Foo make_foo() 
{ 
    std::cout << "making foo\n"; 
    return Foo(); 
} 

int main() 
{ 
    make_foo() && make_foo(); // evaluates both expressions 
} 

Answer 2

Это безопасно, пока оператор && не перегружен

C++ проект стандарта говорит (N3337 - 5,14 Логический оператор И) :

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