Использование операторов break & continue

maxiim9

...

for (i = 0; i < LEN; i++)

  {

    if (!check_cond (condArr[i]

        continue;



    if (valArr[i] == CONST)

        break;

  }



if (i < LEN)

    printf ("We found i = %d\n", i);



...

Serab

Using break and continue is not allowed in any of your code for this class. Using these statements damages the readability of your code. Readability is a quality necessary for easy code maintenance.

Чем плох такой код и как его правильно написать, чтобы он отвечал современным стандартам?

for (i = 0; i < LEN; i++)

  {

    if (check_cond (condArr[i]) && valArr[i] == CONST)

        break;

  }

Ivan8209

Dasar

Чем плох такой код и как его правильно написать, чтобы он отвечал современным стандартам?

for (..)

  if (условие)

    code1;

    continue;

  code2;

for (..)

  if (условие)  

    code1;

  else

    code2;

6yrop

Ivan8209

danilov

[i for i in range(min(len(valArr len(check_cond if valArr[i] == COND and check_cond (condArr[i])]

6yrop

без меток не всегда
понятно, откуда именно выходит "break" и что именно продолжает "continue".

maxiim9

Я бы написал как минимум так (зачем там continue неясно совершенно):

if (!condFunc1(... continue; // my comment

if (!condFunc2(... continue; // my another comment

if (!condFunc3(... continue; // nice comment

if (condFunc1(...) && condFunc2(...) && condFunc3(...) && testVar == CONST) {...}

Serab

if( ... ) {

...

} else {

...

}

if( ... ) {

    return ...;

}



...

Serab

if (condFunc1(...) // my comment

    && condFunc2(...) // my another comment

    && condFunc3(...) // nice comment

    && testVar == CONST) {...}

6yrop

return после функции на случай, если не нашлось

tttt f 

{

for (i = 0; i < LEN; i++)

  {

    if (check_cond (condArr[i]) && valArr[i] == CONST)

        return i;

  }

return xxx;

}

  

Dasar

а break?

for(условие)

{

  if (условие1)

    break;

  code;

}

var isContinue = true;

for(условие && isContinue)

{

  if (условие1)

    isContinue = false;

  else

   code;

}

yroslavasako

Serab

for i in range(LEN):

    if check_cond(condArr[i]) and valArr[i] == CONST:

        print "We found i = %d" % i

        break

else:

    print "Not found"

Ivan8209

Dasar

Во многих стайлгайдах для написания функций при наличии короткой ветки предлагается вместо

Ivan8209

yroslavasako

и с ходу мне сложно представить код, когда continue/break создают нечитаемость

Dasar

несколько вложенных циклом на пару экранов. Можно элементарно заблудиться

BatoSan

несколько вложенных циклом на пару экранов. Можно элементарно заблудиться

6yrop

И оно правильно предупреждает тебя, что ты перенёс кусок кода,
где есть такой "break"?

Kira

Так что если запрещают break && continue - делай goto на метку, метка намного более наглядна

Anturag

 for (i = 0; i < LEN; i++)

  {

    if (check_cond (condArr[i]) && valArr[i] == CONST)

        break;

  } 

  for (i = 0; i < LEN && valArr[i] != CONST; i++)

  {

    if (check_cond (condArr[i] {

      …

    }

  }

 

evgen5555

(x for x in range(0, LEN) if condArr[x] and valArr[x] == CONST).next

Dmitriy82

bleyman

Werdna

Dasar

Anturag

beluchy

приведи, пожалуйста, примеры красивого кода с goto, которые не сводятся к return/break/continue с меткой цикла.

  while (I2C_CheckEvent(I2C1,I2C_EVENT_MASTER_TRANSMITTER_MODE_SELECTED) != SUCCESS){

      if (I2C_GetFlagStatus(I2C1, I2C_FLAG_AF) == SUCCESS) goto end;

  };

 ...

end:

FlagStatus af=RESET;



  while (I2C_CheckEvent(I2C1,I2C_EVENT_MASTER_TRANSMITTER_MODE_SELECTED) != SUCCESS && af == RESET){

      af = I2C_GetFlagStatus(I2C1, I2C_FLAG_AF);

  };

if (af == RESET){ 

    ...

}

vall

приведи, пожалуйста, примеры красивого кода с goto

apl13

приведи, пожалуйста, примеры красивого кода с goto, которые не сводятся к машине Тьюринга

apl13

Ivan8209

Dasar

обработка ошибок и откат предыдущих действий

transaction_context trans;

trans=>do_foo =>undo_foo;

trans=>do_bar =>undo_bar;

do_baz;

trans.commit;

Dasar

6yrop

err = do_foo;
if (err)
 goto err_foo;
do_bar;
if (err)
 goto err_bar;
err = do_baz;
if (err)
 goto err_baz;
erturn 0;
err_baz:
undo_bar;
err_bar:
undo_foo;
err_foo:
return err;

6yrop

далее псевдокод

Ivan8209

Dasar

Dasar

Ни в плюсах, ни в яве, ни в питоне устранение хвостовых вызовов

yroslavasako

ни в яве

Ivan8209

int f(int n) {if (n != 0) return g(n-1); else return 0;};

int g(int n) {if (n != 0) return f(n-1); else return 0;};

yroslavasako

Ivan8209

Dasar

6yrop

невозможно реализовывать автоматы вменяемым способом

Ivan8209

vall

Вопрос: компилятор отловит вот такую ошибку?

6yrop

зависит от компилятора и опций. sparse отловит.

Ivan8209

6yrop

zya369

6yrop

yroslavasako

apl13

оно принципиально не делается.

Ivan8209

yroslavasako

Можешь привести ссылку, какие именно функции имеются в виду?

bleyman

приведи, пожалуйста, примеры красивого кода с goto, которые не сводятся к return/break/continue с меткой цикла.

transaction_context trans;

trans=>do_foo =>undo_foo;

trans=>do_bar =>undo_bar;

do_baz;

trans.commit;

Dasar

То есть типа do_foo обломалось но мы всё равно делаем do_bar и do_baz? Замечательно. Ещё чуть-чуть и ты придумаешь как это завернуть в монаду!

bleyman

Dasar

class TransactionContext

{

   List<Action> rollbacks = new List<Action>

   public void operator  (Action do, Action undo)

   {

      try

      {

         do; 

         rollbacks.Add(undo);

      }

      catch

      {

         UndoAll;

         throw;

      }

   }

   public void commit

   {

       rollbacks.Clear;

   }



   public ~TranscationContext

   {

       UndoAll;

   }

   public void UndoAll

   {

       foreach (var undo in rollbacks.Reverse

          undo;

       rollbacks.Clear;

   }

}

bleyman

а на практикеотсутствие такой банальной оптимизации (которая совсем неоптимизация) приводит к тому, что какие-нибудь тупые конечныеавтоматы (с памятью или без) приходится переписывать черезспециально придуманные обходные идиомы, приводящие к медленнееработающему коду, так как на каждом шаге создаётся и уничтожаетсякуча стековых фреймов. В питоне, например, накладные расходымогут быть вообще заоблачными, наподобие 30% времени, как у насполучалось на одном прототипе.

Dasar

@: ну да, я и говорю, какая-то стрёмная неочевидная магея, мне дико не по нраву. Ты это уже использовал в продакшене? И коворкеры тебя не отпиздили за это?

bleyman

execute_transactionally(params ActionAndRollback[] actions)

Dasar

bleyman

trans=>do_foo =>undo_foo;

trans=>do_bar =>undo_bar;

do_baz;

trans=>do_foo =>undo_foo;

do_baz;

trans=>do_bar =>undo_bar;

Dasar

if (условие)

  trans=>do_foo =>undo_foo;

for(var i = 0; i < 10; ++i)

  trans=>do_bar(i =>undo_bar(i;

do_baz;

var actions = new List<TransactionAction>

if (условие)

  actions.Add=>do_foo =>undo_foo;

for(var i = 0; i < 10; ++i)

  actions.Add=>do_bar(i =>undo_bar(i;

actions.Add=>do_baz =>{});



execute_transactionally(actions);

execute_transactionally

(

  new taction=>do_foo =>undo_foo

  new taction=>{do_baz;do_foo}, =>undo_foo

)

Ivan8209

Ivan8209

6yrop

лиспа головного мозга
....
обычно-сишарповое ....

6yrop

использовать генератор
конечных автоматов

Ivan8209

6yrop

очень часто все эти языки неоправданно ограничены
и несовместимы друг с другом

Werdna

А ты всё-таки найди.

 



int do_spherical_action_in_space(int a, int b)

{

    void* p = malloc(a);

    if (!p) return -1;



    if (ERR1) goto ret;



    if (ERR2) goto ret;



    if (ERR3) goto ret;



    ...



    return XXX;



ret:

    free(p);

    ...что-то ещё...

    return -1;

}



 

6yrop

а вот в сях тебе надо

Werdna

а есть пример, который не связан с недостатками конкретного языка?
Т.е. хочется пример, который ни на одном из существующих языков нельзя хорошо переписать без goto.

6yrop

6yrop

это ассемблер

Werdna

Можешь на тот вопрос ответить после такой правки?

agaaaa

int do_spherical_action_in_space(void* p, int b) {
if (!p) return -1;
if (ERR1) return -1;
if (ERR2) return -1;
if (ERR3) return -1;
... return XXX;
}
void* p = malloc(a);
int r = do_spherical_action_in_space(p);
free(p);

Werdna

agaaaa

Возьми несклько действий: проверить наличие файла, узнать размер, что-то хитрое выделить, потом посчитать, потом опять новое уже выделить, ещё чо-то сделать. И на любом этапе всё завернуть с ошибкой.

Werdna

Описываешь типичный Try-Catch-Finally, который на if-ах будет выглядеть лучше goto хотябы из-за того, что области жизни ресурсов будут показаны отступами во внутренних блоках.

apl13

если поймалось то выполняет роллбэк функцию (только эту, или все предыдущие? Дико неявно их запоминая?)

vall

И какую ошибку выдаст компилятор?
Дело в том, что код правильный, он просто делает другое. Компилятор не может запретить делать другое.

vall

следующий код, имхо, понятнее выглядит - в явном виде имея записанный паттерн transaction. (далее псевдокод).

6yrop

В ядре на функции лепят атрибут __must_check (warn_unused_result) и ловят -Wunused-result

 

    int err_result;

    {

        var err = do_foo;

        if (err) {

            err_result = err;

            goto err_foo;

        }

    }



    {

        var err = do_bar;

        if (err) {

            err_result = err;

            goto err_bar;

        }

    }



    {

        var err = do_baz;

        if (err) {

            err_result = err;

            goto err_baz;

        }

    }



    return 0;



err_baz:

    undo_bar;

err_bar:

    undo_foo;

err_foo:

    return err_result;

 

6yrop

 

bool Method1

{

    {

        var err = do_foo;

        if (err) {

            err_foo;

            return err;

        }

    }



    {

        var err = do_bar;

        if (err) {

            err_bar;

            return err;

        }

    }



    {

        var err = do_baz;

        if (err) {

            err_baz;

            return err;

        }

    }



    return false;

}



void err_baz

{

    undo_bar;

    err_bar;

}



void err_bar

{

    undo_foo;

    err_foo;

}



void err_foo

{

    //no-op

}

 

Ventalf

Using break and continue is not allowed in any of your code for this class. Using these statements damages the readability of your code. Readability is a quality necessary for easy code maintenance.

Ventalf

Чем плох такой код и как его правильно написать, чтобы он отвечал современным стандартам?