Multiple условие для цикла

Question

Во время проверки коды сегодня, я наткнулся на цикл, который выглядит следующим образом:

for(int i=0; i<some_value && !found ; ++i) 
{ 
    if(some logic) 
    { 
    do_stuff(); 
    found=true; 
    } 
} 

Я обычно код вещь такого рода, как это:

for(int i=0; i<some_value; ++i) 
{ 
    if(some logic) 
    { 
    do_stuff();  
    break; 
    } 
} 

У меня есть был программированием в течение многих лет и никогда до сих пор не видел более одного условия в цикле for. Я понимаю, что это абсолютно правильный код, так как && просто получает оценку и результат возвращается, я просто никогда не думал об использовании нескольких условий внутри для оператора вместо тела.

Я не видел этого до сегодняшнего дня и поэтому должен считать, что это не очень распространено.

Есть ли подводные камни, которые следует учитывать при использовании нескольких условий для проверки цикла?

Answer 1

Есть «экстремистов» что увидеть break и continue как другое слово для "accursed"goto. Многие программисты Pascal/Delphi входят в эту фракцию.

Это зависит от вашего правила кодирования, если вы должны использовать такие флаги. Думаю, если вы укажете это в неакадемическом контексте, люди не будут серьезно относиться к вам. Помните!

Конечно, вам нужны такие флаги, если вы хотите выйти из внешнего цикла, если ваш язык не знает меченых циклов. Например, JavaScript и Java (и я думаю, что PHP тоже) поддерживают маркированные циклы.

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

Существует (по крайней мере) одно преимущество использования таких флагов: будет легче доказать правильность кода, например. используя Hoare calculus.

Answer 2

Привет, чтобы ответить на ваш вопрос, я старший научный сотрудник в области компьютерных наук. Я лично предпочитаю иметь несколько ограничений внутри цикла for. Я чувствую, что это помогает при отладке и сохранении ошибок. Это больше зависит от ресурсов? Я не совсем уверен.