关于C语言中的“ goto”的问题

Question

I am trying to understand a C code. In some part there is:

for ...{
    if condition{
       a=1;
       break;
    }
}

which in a later version is changed to:

for ...{
    if condition{
       goto done;
    }
}
done: a=1;

From my point of view, both vesions should give the same result, but it does not happen. Do you know why?

CORRECTION: The fix is:

for ...{
    if condition{
       goto done;
    }
}

            goto notdone;
            done: 
                ok=0;
            notdone:

Answer 1

It depends on whether the for-loop has any other exit conditions.

• In the first example, a=1 only happens for that specific exit condition in the if-statement.

• In the second example, a=1 happens in all scenarios that exit the loop. It can only be circumvented using a return statement, or another goto statement.

Answer 2

在第二个版本中， 即使 condition为假，最终也会执行a=1 ，这仅仅是因为控制流最终已done:在不再满足循环条件之后。