Состояние стека после goto

Question

В следующем C-коде f звонки g и g звонки h. Обратите внимание, что goto в h, однако: он вернется к f, если a удовлетворяет определенному условию.

void h(int a) 
{ 
    if (a > 10) 
     goto out; 
} 

void g(int a, int b) 
{ 
    h(a); 
} 

void f(int a, int b) 
{ 
    g(a, b); 
    return; 
out: 
    printf("b: %d\n", b); 
} 

Мой вопрос: как стопка будет, если goto срабатывает? Будут ли оставлены g и h? И будет f еще напечатать правильное значение b? (или он будет печатать его правильно только в некоторых случаях, когда мне повезет?)

(Пожалуйста, я не хочу обсуждать, является ли это хорошей практикой или если это вообще нужно использовать. что фактический код достаточно сложный, так что компилятор не будет достаточно умен, чтобы, например, оптимизировать g)

[Я могу дать подробную информацию о том, почему я это делаю, если это имеет значение - я не знаю думаю, что делает]

Answer 1

Это приведет к непредсказуемому поведению в стандартном C.

От 6.8.6.1/1 в C Language Standard:

Идентификатор в Гото заявлении нарекут метку, расположенную где-то в прилагаемой функции. Оператор goto не должен прыгать вне пределов области идентификатора, имеющего измененный тип , внутри области этого идентификатора.

Answer 2

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

Для перехода между функциями вы можете использовать setjmp/longjmp.

Answer 3

Оператор goto в программировании на C обеспечивает безусловный переход от 'goto' к помеченному оператору в той же функции.

Этикетки являются локальными для одной функции, вы не можете перепрыгивать между различными функциями.

ПРИМЕЧАНИЕ. - По-моему, использование инструкции goto сильно обескуражено.

исх: http://www.tutorialspoint.com/cprogramming/c_goto_statement.htm

Answer 4

Вы не можете сделать это, поскольку метки являются локальными для каждой конкретной функции. Однако ближайшим стандартным эквивалентом является пара функций setjmp() и longjmp(). Это должно сработать. :)