Как (вычислить) goto и longjmp в C ++?

Я укушу и возьму голос против.

Я серьезно сомневаюсь, что вашему другу будет легче читать Фортран, написанный на C ++ (что, по сути, вы получите, если значительно используете goto и longjmp), и ему может быть даже труднее следовать. Язык C ++ сильно отличается от Fortran, и я действительно не думаю, что вам следует пытаться выполнить прямое преобразование из Fortran в C ++. Это только усложнит поддержку C ++, и вы также можете остаться с существующей кодовой базой.

goto: вы устанавливаете метку (my_label:), а затем используете команду goto goto my_label;, которая заставляет поток вашей программы выполняться в операторе, следующем за goto. Вы не можете перепрыгнуть через инициализацию переменной или между функциями. Вы не можете создать массив goto целей, но вы можете создать массив указателей объектов или функций для перехода.

longjmp: Нет причин предпочитать longjmp goto, если у вас есть только одна функция. Но если у вас есть только одна функция, опять же, вы действительно не пишете C ++, и в конечном итоге вам будет лучше, просто поддерживая свой Fortran.

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

Используйте goto, чтобы переместить указатель инструкции на «метку» в вашем коде, которая представляет собой идентификатор C ++, за которым следует двоеточие. Вот простой пример работающей программы:

#include <iostream>
#include <iostream>
#include <iomanip>

using namespace std;

int main()
{
    int i = 0;
step:
    cout << "i = " << i;
    ++i;
    if( i < 10 )
        goto step;

}

В данном случае step: - это метка.

Есть опасения по поводу контекста.

• Вы можете использовать только goto метку внутри текущей функции.
• Если ваш goto пропускает инициализацию переменной, вы можете вызвать Неопределенное поведение (код, который будет компилироваться, но вы не можете точно сказать, что он будет делать на самом деле.).
• Вы не можете goto войти в try блок или catch обработчик. Однако вы можете goto выйти из try блока.

Вы можете "перейти" с указателями и т. Д. При условии, что другие проблемы решены. Если рассматриваемый указатель находится в области действия на сайте вызова и в области действия на сайте филиала, нет проблем.

Я думаю, что эта ссылка содержит большую часть информации, которую вы ищете.

goto

longjmp

вычислено goto -> switch

На самом деле у них есть (общая, но не универсальная) подчиненная реализация в виде таблицы переходов.

Если я понимаю исходный вопрос, вопрос действительно интересный. Перефразируя вопрос (на то, что я считаю эквивалентным вопросом): «Как вы выполняете вычисляемый для FORTRAN goto в C?»

Сначала нам нужно узнать, что такое вычисляемый goto: Вот ссылка на одно объяснение: http://h21007.www2.hp.com/portal/download/files/unprot/fortran/docs/lrm/lrm0124.htm.

Пример вычисленного GOTO:

    GO TO (12,24,36), INDEX

Где 12, 24 и 36 - номера выписок. (Метки языка C могут служить эквивалентом, но это не единственное, что может быть эквивалентом.)

И где ИНДЕКС - переменная, но может быть результатом формулы.

Вот один из способов (но не единственный) сделать то же самое в C:

int SITU(int J, int K)
{
int raw_value = (J * 5) + K;

int index = (raw_value % 5) - 1;

return index;
}


int main(void)
{
int J = 5, K= 2;

// fortran computed goto statement: GO TO (320,330,340,350,360), SITU(J,K) + 1
switch (SITU(J,K) + 1)
{
case 0: // 320
    // code statement 320 goes here
    printf("Statement 320");
    break;
case 1: // 330
    // code statement 330 goes here
    printf("Statement 330");
    break;
case 2: // 340
    // code statement 340 goes here
    printf("Statement 340");
    break;
case 3: // 350
    // code statement 350 goes here
    printf("Statement 350");
    break;
case 4: // 360
    // code statement 360 goes here
    printf("Statement 360");
    break;
}

printf("\nPress Enter\n");
getchar();
return 0;
}

В этом конкретном примере мы видим, что вам не нужны C goto для реализации вычисляемого goto FORTRAN!

Longjmp может избавить вас от обработчика сигналов, что может быть неплохо - и это добавит некоторой путаницы, поскольку не будет сбрасывать автоматические (основанные на стеке) переменные в функции, к которой он долго переходит, определенную до строки setjmp. :)

Существует расширение GCC под названием Ярлыки как значения < / strong>, который поможет вам написать код для гольфа, по сути, предоставив вам вычисляемый goto. Конечно, вы можете создавать этикетки автоматически. Вам, вероятно, понадобится это сделать, поскольку вы не можете знать, сколько байтов машинного кода будет генерировать каждая строка.