[C++] Условия

[The Nameless One]

Привет, с наступающим всех!

Подскажите, пожалуйста, являются ли следующие два фрагмента кода полностью эквивалентными для компилятора?

Код:

if( a<5 )
{
     if ( a != 2 ) Do();
}

и

Код:

if (a <5 && a != 2 ) Do();

В том смысле, что если условие a < 5 не истинно, то следующее после && даже не будет тестироваться? 

[Алексей++]

да.

Кстати, по этой причине вполне законно написать так:

Код:

if(p && p->F())
{
}

и программа не упадёт, так как сначала будет проверка на нулевой указатель. Правда, может упасть, если указатель корявый ))

[Sla]

Эквивалентность зависит от реализации.

Бывают моменты, когда нужно выполнять "участок" сравнения ВСЕГДА одинаковое количество шагов (циклов), или ПРЕДСКАЗУЕМО одинаковое.

 

[darkelf]

Эквивалентность зависит от реализации.

Вроде как по стандарту - не зависит, а должна выполняться всегда.

6.5.13 Logical AND operator
...
4 Unlike the bitwise binary & operator, the && operator guarantees left-to-right evaluation;
if the second operand is evaluated, there is a sequence point between the evaluations of
the first and second operands. If the first operand compares equal to 0, the second
operand is not evaluated.

[Антон (LogRus)]

darkelf, поддерживаю, стандарт требует, что бы проверки выполнялись слева на право и более чем нужно для получения результата.

[Sla]

Ребятки, я не говорю о стандарте компиляторов и прочего.
Я говорю о программной реализации.

 The Nameless One, ты занимаешься не тем, пытаешься найти каких-то блох в собачьей шкуре.

Ведь ты пишешь софт для управления/контроля чем-то/чего-то. Вот и  обрати внимание больше на это что-то.

[The Nameless One]

Спасибо всем:)

Sla, ну почему же сразу блох? Проект - проектом, но очень хочется постепенно разобраться в тонкостях языка, иначе как стать настоящим профи?

[Sla]

я даже придумал ( надумал)

Есть некие внешние регистры устройства, которые доступны к записи, только после того как с них прочитали информацию.

есть функция чтения этих регистров

F(address:word) {
}

If ( F(0x1) && F(0x2) )
{
}

Такой код наглядней, чем

temp01 = F(0x1)
temp02 = F(0x2)

If ( temp01 && temp02 )
{
}

Экономится ли при этом память? Надо смотреть.

Но с другой стороны второй код - и есть "обход" "ограничений" компилятора.

[darkelf]

это не ограничения, а "фичи", и, наверное, не компилятора, а стандарта.