Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > C/C++: Для новичков > Изменение значения переменной условия в условии

Автор: WhKitten 22.4.2011, 16:36

Можно ли делать так?

Код


node* r = getRootNode();
node* n;
if (((n=r->north) && (n=n->north) && n->data->isValid()) ||
    ((n=r->east) && (n=n->east) && n->data->isValid()) ||
    ((n=r->south) && (n=n->south) && n->data->isValid()) ||
    ((n=r->west) && (n=n->west) && n->data->isValid()))
{
// некоторый код
}

Последовательность вычислений логических выражений вроде чётко определена, но меня смущает то, что переменная n постоянно меняется по ходу вычисления этого выражения. Можно ли так делать и будет ли значение такого выражения чётко определено в независимости от реализации?

Автор: borisbn 22.4.2011, 17:52

Цитата(WhKitten @ 22.4.2011, 16:36

)

Можно ли так делать и будет ли значение такого выражения чётко определено в независимости от реализации?

По стандарту последовательность вычислений выражений в if чётко определена. Мало того, если первое (вернее очередное) условие дает однозначный вывод о результате (false && expr или true || expr), то оставшаяся часть вычисляться не будет.
Это что касается стандарта. Во всех ли реализациях он будет поддерживаться ? Думаю да. Во всяком случае в этой части.

Если уж сильно смущает, можешь переписать без дополнительной переменной и без присваивания. Будет более громоздко, но (м.б.) более приятно глазу

Код


node* r = getRootNode();
node* n;
if ( ( r->north && r->north->north && r->northr->north->data->isValid() ) ||
     ( r->east && r->east->east && r->eastr->east->data->isValid() ) ||
     ( r->south  && r->south->south && r->southr->south->data->isValid() ) ||
     ( r->west  && r->west->west && r->westr->west->data->isValid() )
  )
{
// некоторый код
}

только сейчас заметил там не хватает откравающих скобок. оно вообще не должно компилироваться

Автор: WhKitten 22.4.2011, 18:16

Спасибо! А то помню, что где то читал, что нельзя менять значения переменной в выражении более одного раза и вот тут засомневался относится ли это к логическим выражением или нет. Хорошо, что не относится. smile

PS. Скобочки на всякий случай поправил. smile

Автор: borisbn 22.4.2011, 18:17

можно ещё поизвращаться smile

node, как я понимаю, объявлен примерно так

Код


struct node {
struct { bool isValid() { return true; } } data;

    node *north;
    node *east;
    node *south;
    node *west;
};

тогда делаем такую ф-цию

Код


template< node * node::*FieldPtr >
bool isWorldSideValid( node * r ) {
    return (r->*FieldPtr) && (r->*FieldPtr)->*FieldPtr && ((r->*FieldPtr)->*FieldPtr)->data.isValid();
}

и вызов становится таким

Код


node* r = getRootNode();
if ( isWorldSideValid<&node::north>( r ) ||
     isWorldSideValid<&node::east>( r ) ||
     isWorldSideValid<&node::south>( r ) ||
     isWorldSideValid<&node::west>( r )
   )
{
...
}

сами вы извращенцы smile

Автор: WhKitten 22.4.2011, 18:43

Интересная идея, ещё раз спасибо. smile