Как работают нелокальные переходы в C, определенные в setjmp.h?

Что касается потока управления: setjmp возвращается дважды, а longjmp никогда не возвращается. Когда вы вызываете setjmp в первый раз, чтобы сохранить среду, он возвращает ноль, а когда вы вызываете longjmp, поток управления переходит к возврату из setjmp со значением, указанным в аргументе.

(Обратите внимание, что setjmp на самом деле не обязательно должны быть функциями; это вполне может быть макрос. Однако longjmp — это функция.)

Варианты использования обычно упоминаются как «обработка ошибок» и «не использовать эти функции».

Вот небольшой пример потока управления:

jmp_buf env;

void foo()
{
    longjmp(&env, 10);                      +---->----+
}                                           |         |
                                            |         |
int main()              (entry)---+         ^         V
{                                 |         |         |
    if(setjmp(&env) == 0)         | (= 0)   |         | (= 10)
    {                             |         ^         |
        foo();                    +---->----+         |
    }                                                 +---->----+
    else                                                        |
    {                                                           |
        return 0;                                               +--- (end)
    }
}

Заметки:

• Вы не можете передать 0 в longjmp. Если вы это сделаете, 1 будет возвращено setjmp.

• Вы не должны возвращаться из функции, вызвавшей setjmp, до соответствующего longjmp. Другими словами, longjmp должен вызываться только выше setjmp в стеке вызовов.

• (Спасибо @wildplasser :) На самом деле вы не можете сохранить результат setjmp. Если вы хотите вернуться несколькими разными способами, вы можете использовать switch:

  switch (setjmp(&env))
  {
  case 0:   // first call
  case 2:   // returned from longjmp(&env, 2)
  case 5:   // returned from longjmp(&env, 5)
  // etc.
  }