9
bool a1,a2,a3,a4,...;
a1=false;
while (a1 && a2 && a3 && a4 && ...) {...}

Будут ли в цикле проверяться условия a2,a3,a4,... или проверка завершится сразу после проверки a1?

3 ответа 3

19

Проверка завершится на первом операнде. Это гарантируется стандартом:

&& guarantees left-to-right evaluation: the second operand is not evaluated if the first operand is false.

в вольном переводе

Для оператора && гарантируется вычисление слева-направо: второй операнд не вычисляется, если первый равен false.

Аналогично и для оператора || - если первый операнд - true, вычисление второго не производистя.

Это правило НЕ применяется для побитовых & и |.

Так же не выполняется для перегруженных операторов &&, || (в стандарте не нашел)

12
  • 1
    если интересно где взять стандарт С++ 10 мар 2016 в 10:53
  • Если расположить условия в порядке уменьшения возможности быть false, я получу выигрыш?
    – assaqs
    10 мар 2016 в 10:54
  • @assaqs, да, совершенно верно. К тому же если в условиях есть функции либо громоздкие выражения, они вызываться/вычислятся не будут. 10 мар 2016 в 10:56
  • Почему тогда ru.stackoverflow.com/questions/478096/Оптимизация-выбора ?
    – assaqs
    10 мар 2016 в 10:58
  • там где то в стандарте была поправка, что если оператор operator&& перегружен, то будет вычислятся условие полностью. Но я пока не нашел ссылку на это.
    – KoVadim
    10 мар 2016 в 11:07
2

Если a1=false, то другие && нет смысла проверять, поэтому проверка остановится на a1.

Это очень просто проверить:

#include <iostream>

using namespace std;

bool a1() {
    cout << "a1\n";
    return true;
}

bool a2() {
    cout << "a2\n";
    return true;
}

bool a3() {
    cout << "a3\n";
    return false;
}

bool a4() {
    cout << "a4\n";
    return true;
}

int main(int argc, char *argv[])
{
    while (a1() && a2() && a3() && a4()) {

    }
    
    return 0;
}

Консоль:

a1
a2
a3
5
  • какой у вас компилятор?
    – assaqs
    10 мар 2016 в 10:38
  • 2
    @assaqs Компилятор значения не имеет. Такое поведение определено стандартами.
    – Mike
    10 мар 2016 в 10:39
  • @assaqs, mingw, и @Mike прав -- такое поведение одинаково для компиляторов
    – gil9red
    10 мар 2016 в 10:51
  • Если расположить условия в порядке уменьшения возможности быть false, я получу выигрыш?
    – assaqs
    10 мар 2016 в 10:55
  • да, вполне возможно.
    – KoVadim
    10 мар 2016 в 11:08
0

В логических операций «И» и «ИЛИ» существует один подвох. Дело в том, что они участвуют в ленивых вычислениях. В отличие от побитовых операций. Если первый операнд в операции «И» имеет значение «ложь», а первый операнд операции «ИЛИ» — «истина», то дальнейшие вычисления не производятся. Потому что они бесполезны и уже не могут изменить результата. Но побитовым операциям для вычисления результата второй операнд нужен всегда.

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.