C: вложенные Ifs или Gotos

несомненно, Дийкстра был грозной личностью в мире программирования. Его Гото Считается Вредным бумага был слишком раздут. Да, GoTo может использоваться без разбора и может быть вредным, но многие думают, что прямой запрет на GoTo не оправдано. Кнут предоставил очень хорошо аргументированное опровержение Дийкстре в: структурированное Программирование с GO TOs

прочитайте бумагу кнута, вы найдете что ваша картина Гото одно из хороших польз для идти к.

кстати, Dijkstra очень цитируемый для ряда других вещей тоже. Как насчет:

• объектно-ориентированное программирование-исключительно плохая идея, которая могла возникнуть только в Калифорнии.

использовать Гото только с разумом и структурой. Используйте их редко. Но используйте их.

если с помощью goto вы можете избежать написания сложного кода, а затем использовать goto.

ваш пример также может быть написан так (нет gotos):

void anotherExample()
{
    char *string1, *string2, *string3, *string4, *string5;
    string1 = string2 = string3 = string4 = string5 = 0;
    if ((string1 = (char*) calloc(STRING_MAX, sizeof(char)))
     && (string2 = (char*) calloc(STRING_MAX, sizeof(char)))
     && (string3 = (char*) calloc(STRING_MAX, sizeof(char)))
     && (string4 = (char*) calloc(STRING_MAX, sizeof(char)))
     && (string5 = (char*) calloc(STRING_MAX, sizeof(char))))
    {
       //important code here
    }

  free(string1);
  free(string2);
  free(string3);
  free(string4);
  free(string5);
}

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

Это моя философия.

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

лично я использовал goto таким образом в прошлом. Люди ненавидят его, потому что он напоминает им код спагетти, который они использовали, чтобы писать/поддерживать, или потому что кто-то, кто написал/поддерживал такой код, избил концепцию, что goto-зло в них.

Вы, наверное, могли бы написать что-то приличное без Гото, конечно. Но в таких обстоятельствах вреда не будет.

из двух ваших альтернатив goto, естественно, лучше и приятнее. Но есть третья и лучшая альтернатива: используйте рекурсию!

Я бы структурировал код иначе, чем любой из них. Если бы у меня не было какой-то выдающейся причины поступить иначе, я бы, вероятно, написал код примерно так:

char *strings[5] = {NULL};

int all_good = 1;

for (i=0; i<5 && all_good; i++) {
    strings[i] = malloc(STRING_MAX);
    all_good &= strings[i] != NULL;
}

if (all_good)
    important_code();

for (int i=0; i<5; i++)
    free(strings[i]);

одна очень большая разница между примером в статье, на которую вы ссылаетесь, и кодом, который вы публикуете, заключается в том, что ваши метки gotos <functionName>_<number> и их ярлыки goto cleanup_<thing_to_cleanup>.

вы используете goto line_1324 далее, и код будет отредактирован так, что line_1234 ярлык на линии 47823 ...

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

Если вы знаете, что делаете, и полученный код выглядит чище и читабельнее (я уверен, что это так), то нет абсолютно никаких проблем с использованием goto. Особенно широко используется пример "изящного восстановления сбоя инициализации", который вы показали.

кстати, при написании структурированного кода, который инициализирует 100 вещей, вам понадобится 100 уровней отступов...что просто уродливо.

В C,goto часто является единственным способом приблизительного кода очистки, как деструкторы C++ или Java finally положения. Поскольку это действительно лучший инструмент, который у вас есть для этой цели, я говорю использовать его. Да, это легко злоупотреблять, но так же много программных конструкций. Например, большинство программистов Java не колеблясь выбрасывают исключения, но исключения также легко злоупотреблять, если они используются для чего-то другого, чем отчеты об ошибках, например для управления потоком. Но если вы используете goto явно с целью избежать дублирования кода очистки, тогда можно с уверенностью сказать, что вы, вероятно, не злоупотребляете им.

вы можете найти много совершенно разумное использование goto в ядре Linux, например.

для меня я предпочитаю этот стиль обработки ошибок goto. Взяв фрагмент Ника D еще на один шаг, он использует одну общую метку goto для обработки ошибок.

void gotoExample()
{
    char *string1, *string2, *string3, *string4, *string5;
    string1 = string2 = string3 = string4 = string5 = NULL;

    if ( !(string1 = (char*) calloc(STRING_MAX, sizeof(char))) )
        goto HANDLE_ERROR;
    if ( !(string2 = (char*) calloc(STRING_MAX, sizeof(char))) )
        goto HANDLE_ERROR;
    if ( !(string3 = (char*) calloc(STRING_MAX, sizeof(char))) )
        goto HANDLE_ERROR;
    if ( !(string4 = (char*) calloc(STRING_MAX, sizeof(char))) )
        goto HANDLE_ERROR;
    if ( !(string5 = (char*) calloc(STRING_MAX, sizeof(char))) )
        goto HANDLE_ERROR;

    //important code goes here


HANDLE_ERROR:
  if (string5)
    free(string5);

  if (string4)
    free(string4);

  if (string3)
    free(string3);

  if (string2)
    free(string2);

  if (string1)
    free(string1);

}