Нельзя использовать goto
Часто говорят, что goto плох. А собственно, почему?
В ассемблерном коде на машинном уровне все управляющие конструкции (if, while, for и другие) преобразуются в набор команд с безусловным переходом jmp (UPD: как правильно заметили, с безусловным или условным переходом, но по указанному адресу, то есть куда угодно). А такой переход — самый настоящий goto. То есть ты весь такой изящный во фраке пишешь циклы, а наглый компилятор/интерпретатор выкидывает всю красоту и делает goto.
Так почему же сам goto является признаком плохого кода, если он на самом деле везде?
Ответ кроется в умении сохранять контекст. Человек может в голове держать 5-9 сущностей, больше не получается. Поэтому придумали функции, и придумали держать их небольшими — для снижения когнитивной сложности. Конструкция if переведёт тебя в одну из веток ниже, циклы for и while выполнят тело цикла или выбросят за его пределы. Команда goto сложность привносит — прыжок может быть куда угодно. А повышение сложности всегда приводит к росту числа ошибок.
Ну а ещё из-за goto может напасть велоцираптор
Это не так.
Для данных инструкций генерируются команды условной передачи управления: JE, JNE, JA, JB, ...
Например, команда JE: если результат предыдущей операции равен нулю (флаг ZF=1), то происходит переход по указанному адресу, иначе переход не происходит и выполняется следующая по порядку команда.