Архив форумов ЦИТФорума

[phil]

Привет всем!

Допустим имеется выражение

...
while (( expr1 ) && ( expr2 )) {
do_something();
}
...

Вопрос: если expr1 равно false будет ли вычисляться expr2?
Можно представить что expr1 - проверка указателя на NULL, а expr2 - обращение к полю структуры на которую он указывает.

Спасибо.

[_Van]

Нет, expr2 выполняться не будет.
Если компилятор видит ex1 && ex2 && ex3 && ex4 и при этом хоть один из ex == false,
то остальные даже не проверяются и не выполняются...

[GREA]

>>Нет, expr2 выполняться не будет.
>>Если компилятор видит ex1 && ex2 && ex3 && ex4 и при этом хоть один из ex == false,
>>то остальные даже не проверяются и не выполняются...

А как компилятор узнает, что один ex == false?
Я бы сказал корректнее:
Компилятор проверяет expr'ы до тех пор, пока не встретит false. Причем есть определенный порядок проверки (вот только я точно не помню слева на право или справо на лево). Нужно обратиться к документациям.

[_Van]

В любых версиях С++, компилятор (при обнаружение коньюктивного выражения (&&))проверяет слева на право...

[grayrat]

Есть такая опция в компиляторах "complete boolean evaluation". По умолчанию она выключена и вы все правы. Но если её включить будут выполняться ВСЕ элементы выражения.