Помощь - Поиск - Пользователи - Календарь
Полная версия этой страницы: Очерёдность обработки условий оператора IF
Форум разработчиков электроники ELECTRONIX.ru > Микроконтроллеры (MCs) > Cредства разработки для МК > IAR
sonycman
Вдруг вот задался вопросом, имеет ли право компилятор менять очерёдность проверки условий в строках, подобных такой:
Код
static    CTimer    tmrPowerOFF;

if (tmrPowerOFF.Running() && tmrPowerOFF) ...

то есть если вместо вызова Running() сначала будет обрабатываться bool ...
Просто тогда у меня результат будет совершенно неверный.
rezident
Имеет полное право. Порядок проверки expression стандартом не регламентируется. Если вам важна очередность проверки условий, то пользуйтесь вложенными контейнерами.
Код
if (tmrPowerOFF.Running()!=0)
{ if (tmrPowerOFF!=0)
    { ...
    }
}
sonycman
Цитата(rezident @ Dec 18 2008, 23:14) *
Имеет полное право. Порядок проверки expression стандартом не регламентируется. Если вам важна очередность проверки условий, то пользуйтесь вложенными контейнерами.
Код
if (tmrPowerOFF.Running()!=0)
{ if (tmrPowerOFF!=0)
    { ...
    }
}

Ну вот, не зря я про это подумал! Спасибо, буду знать! a14.gif
singlskv
Цитата(rezident @ Dec 18 2008, 22:14) *
Имеет полное право. Порядок проверки expression стандартом не регламентируется. Если вам важна очередность проверки условий, то пользуйтесь вложенными контейнерами.
Код
if (tmrPowerOFF.Running()!=0)
{ if (tmrPowerOFF!=0)
    { ...
    }
}
только поменяйте порядок проверок, иначе выглядет странно ...
SSerge
Про С++ не скажу, нет под рукой стандарта, а С от 99-го года явно предписывает вычислять слева направо, и не вычислять второе выражение, если результат уже ясен.

Цитата
6.5.13 Logical AND operator
Syntax
1 logical-AND-expression:
inclusive-OR-expression
logical-AND-expression && inclusive-OR-expression

Constraints
2 Each of the operands shall have scalar type.
Semantics
3 The && operator shall yield 1 if both of its operands compare unequal to 0; otherwise, it
yields 0. The result has type int.
4 Unlike the bitwise binary & operator, the && operator guarantees left-to-right evaluation;
there is a sequence point after the evaluation of the first operand. If the first operand
compares equal to 0, the second operand is not evaluated.


и аналогично для оператора или.
singlskv
Цитата(SSerge @ Dec 18 2008, 22:48) *
Про С++ не скажу, нет под рукой стандарта, а С от 99-го года явно предписывает вычислять слева направо, и не вычислять второе выражение, если результат уже ясен.
и аналогично для оператора или.
похоже Вы правы,
просто все изначально подозревают здесь неодназначность...

Интересно проверить компиляторы на соответствие этому пункту стандарта...
rezident
Посыпаю голову пеплом sad.gif Я спутал логическую операцию с бинарной. Предложенный мной вариант конечно же cработает, но я был не прав.
singlskv
Wow, а какую интересную тему нам подкинул SSerge,
а если 2 операторор с volatile доcтупом ? ну там доступ к регистрам или еще что...

ИМХО, может получиться неплохой тест для компайлеров...
zltigo
Цитата(singlskv @ Dec 18 2008, 23:09) *
ИМХО, может получиться неплохой тест для компайлеров...

Никаких тестов не надо, представьте, что это вложенные if и до второго выражения, вне зависимости от vоlatile прочего, очередь просто не доходит.
А сишные компиляторы явно нарушающие стандарт языка вымерли уже давно.
singlskv
стормозил...

да, наверное Вы правы, всегда будет только 1 проверка.

Цитата(rezident @ Dec 18 2008, 22:59) *
Посыпаю голову пеплом sad.gif Я спутал логическую операцию с бинарной. Предложенный мной вариант конечно же cработает, но я был не прав.
Он как раз может очень странно сработать если tmrPowerOFF==0 ...
sonycman
Цитата(singlskv @ Dec 19 2008, 02:20) *
стормозил...

да, наверное Вы правы, всегда будет только 1 проверка.

Он как раз может очень странно сработать если tmrPowerOFF==0 ...

Почему? Ничего странного здесь не вижу 05.gif
tmrPowerOFF == 0 если таймер запущен и ещё не отсчитал положенный интервал.
tmrPowerOFF != 0 если установленный интервал времени закончился.
Для просмотра полной версии этой страницы, пожалуйста, пройдите по ссылке.
Invision Power Board © 2001-2025 Invision Power Services, Inc.