Почему goto зло?

Question

[Владимир Грабко]

Я читал кучу книг и везде сказано что GOTO это филиал ада на земле. Но я вот понять не могу почему его так ругают? (камни не кидайте! Я его не юзаю)

Почему вместо рекурсии не заюзать goto?
Ну очень понятный код выходит:

func () string {
small:
	id := generateString(32)
	if unique(id) {
		goto small
	}
	return id
}

Comments

[Владимир Грабко]

Pavel Denisov: for? Можно пример цикла который будет понятнее goto/рекурсии для данного случая.

[Владимир Грабко]

Pavel Denisov: и главное короче

[Владимир Грабко]

Pavel Denisov: спасибо.

[follow39]

Владимир Грабко: Можно и в одну строчку написать, вопрос нужно ли это.

Answer 1

[maaGames]

Потому что не зло, просто "красивая" легенда.

Answer 2

[Дмитрий Ковальский]

Код то может и понятный, но тупой. Id должен быть сгенерирован уникальным, а не проверятся потом уникальный получился или нет(или что он вообще делает). Тот же код без goto

do
{
id = GenerateString(32)
}while(unique(id))

Порядок выполнения кода должен быть понятен. Бросание хода выполнения по меткам понимания не добавляет.
Вот вам пример из C#

try{
a=3;
return a;
}
catch{
a=0;
return a;
}
finaly
{
a=5;
}

И вот эта конструкция вполне допустима, но многие молодые программисты споткнутся и не ответят что вернет функция. Причина? неявный goto. Вы привели в пример код с 1 переходом. А если таких переходов 5-10 и они не последовательны. Т.е. один внутри другого, третий сбоку. Любую задачу, которая решается использованием goto можно реализовать циклами, суперпозицией и другими более простыми инструкциями. Вопрос - зачем использовать goto? Приведите пример, в котором код на goto выглядит проще и очевиднее чем циклы и прочее - используйте goto. В других случаях применение goto не оправдан и кроме недоумения, при анализе кода, не вызывает ничего.

Comments

[Владимир Грабко]

Ну если что то if это тоже неявный goto )

[follow39]

Владимир Грабко: Ну если что, то любая функция это goto. Goto это фишка низкого уровня. Высокоуровневые языки для того и сделали, чтобы код был читаем.

[Владимир Грабко]

follow39: без слов... Для вас слишком тонко наверное.

[Владимир Грабко]

и по поводу тупого. У меня есть карта и генератор строки. Я гененирую строку и проверяю наличие в карте. В итоге если нету то я и генерирую уникальный ключ. Вы знаете как это сделать по другому?

[Дмитрий Ковальский]

Владимир Грабко: Сгенерирую GUID

[Владимир Грабко]

Дмитрий Ковальский: есть вероятность что он повторится. Вот для этого и сделана проверка такая.

[Алек Оним]

Владимир Грабко: на моей памяти, даже в огромной компании, где гуиды генерятся ОЧЕНЬ часто, был лишь один случай, когда он повторился, это не стоит того, чтобы использовать goto, тем более таким образом)

Answer 3

[index0h]

Потому, что сложно читать и дебажить так как ваш код выполняется в хрен знает какой последовательности. Ваш метод на 6 строк, как пример - так себе. Если метод на 300-400, и этих goto штук 15? Не запуская код с таймером, выпишите на бумажку что будет выведено на экран в таком примере (там всего 50 строк).
Код с goto пишется один раз, а дальше выбрасывается.

З.Ы. Конкретно ваш пример стоит делать в цикле и рекурсия вам тут тоже не нужна.

func () (id string) {
	for id = generateString(32); unique(id); id = generateString(32) {
	}

	return id
}

Comments

[Владимир Грабко]

цикл с пустым телом не так красив как GOTO (именно в моём случае) и на производительность не как не повлияет же (на уровне машинного кода всё равно всё на GOTO)

[index0h]

Владимир Грабко
Я вам о кровищи из глаз, а вы мне про производительность)) Видите ли, код который пускай и очень быстрый но при этом сложный и непонятный - это угроза для проекта.

[Владимир Грабко]

index0h: я в курсе. Я видел ассемблерные вставки ))

Answer 4

[Александр Сёмченко]

goto не зло, просто им нужно уметь пользоваться, anyway компиль все равно вставит jmp если нужно. Да и вообще компиляторы нынче шибко умные.
Оригинал вида:

#include <iostream>
void dd();

int main(int argc, const char * argv[]) {
    
s:
    if(rand() % 100 == 99){
        goto e;
    }
    goto s;
e:
    return 0;
}

Кошерно превращает в обычный цикл:

int _main(int arg0, int arg1) {
    do {
            rax = rand();
            temp_3 = rax % 0x64;
            if (temp_3 == 0x63) {
                break;
            }
    } while (true);
    return 0x0;
}

ну и на асме.

_main:
                    push       rbp
                    mov        rbp, rsp
                    sub        rsp, 0x10
                    mov        dword [ss:rbp+var_4], 0x0
                    mov        dword [ss:rbp+var_8], edi
                    mov        qword [ss:rbp+var_10], rsi
_100000f66:       call       imp___stubs__rand
                    mov        ecx, 0x64
                    cdq        
                    idiv       ecx
                    cmp        edx, 0x63
                    jne        _100000f81
                    jmp        _100000f86
_100000f81:       jmp        _100000f66
_100000f86:       xor        eax, eax
                    add        rsp, 0x10
                    pop        rbp
                    ret

Comments

[Владимир Грабко]

только смысл от этого? В машинном коде все циклы и if превращаются в goto ибо там нету другой конструкции для реализации ветвления

[Saboteur]

Смысл в том, что машинный код читает процессор, а исходник - человек.
Процессор работает не c goto <строка>, а с jmp <смещение по адресу в памяти>

[Владимир Грабко]

Saboteur: ну принцип тот же грубо говоря

[Saboteur]

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

[Александр Сёмченко]

Saboteur: "Принцип в том, что процессор не читает машинный код, он его сразу выполняет." Это ты сам придумал? Такое только в процессоре денди и еще пару мест =). Линки кидать не буду сам нагуглишь, начни с "предсказание ветвлений (Предсказатель переходов)" "Предвыборка кода" и "Внеочередное исполнение" ну и дальше по списку.

[Александр Сёмченко]

Saboteur: https://habrahabr.ru/post/182002/ и вот это.

[Saboteur]

Александр Сёмченко: Гражданин, потрудитесь почитать всю цепочку, чтобы понять контест обсуждения, а не вырванное слово, которое вы интерпретировали по-своему.
Тут обсуждают не что делает процессор, а почему goto - зло.

[Александр Сёмченко]

Saboteur: Написал ересь, тебе на это указали и ты обиделся? =)

[Saboteur]

Александр Сёмченко:
Эм..
Молодой человек, в жизни очень важно научиться читать. Под этим взрослые люди подразумевают не только чтение букв и слов, но и пытаться понять, что именно хотел сказать человек. Потому что вольная интерпретация текста "автор хотел скзаать, что", приводит к тому, что с вами Диалог вести невозможно.

Еще раз повторю, что для процессора стилистика машинного кода значения не имеет. Он его не читает. В лучшем случае считывает и выполняет.
А человек именно читает, распознает взглядом. В этом случае goto приводит к усложнению восприятия кода.

Answer 5

[iv_k]

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

foo()
{
   if(..)
   {
        goto err;
   }
   if (...)
   {
      goto err;
   }
    on_success();
    return ok;
err:
    on_error();
    return error;
}

вот тут достаточно просто для понимания

Answer 6

[evgeniy_lm]

Goto тупо меняет направление выполнения программы, причем метка перехода может быть где угодно и проследить логику очень трудно. В то время как существует масса операторов (циклы, условия, ветвления) логика работы которых доступна пониманию.

Answer 7

[Павел]

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

var a uint8
var key uint8 = 7

for  {
        switch a {
        case key-1:
                fmt.Println("left")
        case key:
                goto exit
        }

        a++
}
exit:
fmt.Println("End")

Comments

[Владимир Грабко]

нее. Это если куча вложенных циклов только

[Павел]

Владимир Грабко: Я привёл простой пример "из потолка". И даже в этом простом примере без GOTO существует проблема досрочного выхода из цикла, т.к. BREAK внутри Switch-а не выйдет из цикла. Можно конечно завести еще одну переменную и уже в самом цикле делать какие-то дополнительные проверки, или плодить много IF-ов. Ну и да, если вложенность циклов больше, чем 1, та же проблема.