Оператор GOTO

Оператор GOTO — это инструкция в языках программирования, которая осуществляет безусловный переход к указанной точке в коде программы, обозначенной меткой. Оператор GOTO нарушает структурное программирование, позволяя передавать управление на любую строку внутри функции или процедуры, что может приводить к созданию «спагетти-кода» — запутанной и трудно поддерживаемой программы.

История возникновения

Оператор GOTO был одним из фундаментальных элементов ранних языков программирования, таких как машинные коды, ассемблер, Fortran (1957), COBOL (1959) и BASIC (1964). В этих языках GOTO был основным средством управления потоком выполнения, поскольку конструкции циклов и условных операторов были либо неразвиты, либо отсутствовали. Программисты использовали GOTO для организации циклов, условных ветвлений и обработки ошибок.

В 1960-х годах с ростом сложности программного обеспечения стало очевидно, что чрезмерное использование GOTO приводит к серьёзным проблемам: код становился нечитаемым, отладка и модификация — крайне трудоёмкими, а надёжность программ — низкой. Классическим примером стала операционная система OS/360, где обилие GOTO стало одной из причин её проблем.

Критика и «Письмо Гото»

Переломным моментом стало письмо Эдсгера Дейкстры «Go To Statement Considered Harmful» (1968), опубликованное в журнале Communications of the ACM. Дейкстра аргументировал, что использование GOTO делает программу неструктурированной, затрудняет доказательство её корректности и увеличивает количество ошибок. Он предложил заменить GOTO на структурные конструкции: последовательное выполнение, условный оператор (if-then-else) и циклы (while, for). Это письмо положило начало широкому движению за структурное программирование.

В 1970-х годах идеи Дейкстры были подхвачены и развиты. Появились языки, полностью или почти полностью отказавшиеся от GOTO: Pascal (1970), C (1972, хотя GOTO в нём остался), Ada (1983). В 1974 году Дональд Кнут в статье «Structured Programming with go to Statements» показал, что в некоторых случаях GOTO может быть полезен, но в целом его использование должно быть минимизировано.

Современное состояние

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

• C и C++: GOTO разрешён, но его применение ограничено. Чаще всего используется для выхода из вложенных циклов или для обработки ошибок (например, при освобождении ресурсов в случае сбоя). В стандарте C++11 и выше рекомендуется использовать исключения (try-catch) вместо GOTO.
• Java: GOTO отсутствует как ключевое слово, но зарезервировано. Вместо него используются break с меткой и continue с меткой.
• Python: GOTO отсутствует. Для выхода из вложенных циклов используется исключение или флаг.
• JavaScript: GOTO отсутствует. Для управления потоком используются циклы, условные операторы, функции и исключения.
• Go: GOTO присутствует, но его применение ограничено. Рекомендуется использовать только для простых переходов в пределах одной функции.
• Fortran: GOTO всё ещё поддерживается, но считается устаревшим. В современных стандартах Fortran (2003, 2008) рекомендуется использовать структурные конструкции.
• COBOL: GOTO сохраняется, но в современных версиях языка его использование не приветствуется.

Примеры использования

В C (выход из вложенных циклов)

``c for (int i = 0; i < 10; i++) { for (int j = 0; j < 10; j++) { if (some_condition) { goto exit_loops; } } } exit_loops: // продолжение программы ``

В BASIC (классический пример)

``basic 10 INPUT A 20 IF A = 0 THEN GOTO 50 30 PRINT A 40 GOTO 10 50 END ``

Критика и альтернативы

Основные недостатки GOTO:

• Нарушение структуры программы: GOTO может передавать управление в любую точку, что затрудняет понимание потока выполнения.
• Трудность отладки: ошибки, связанные с GOTO, сложно локализовать, особенно в больших программах.
• Проблемы с поддержкой: код, насыщенный GOTO, сложно модифицировать без риска внесения новых ошибок.
• Нарушение принципов структурного программирования: GOTO противоречит идее о том, что программа должна состоять из последовательных, вложенных и повторяющихся блоков.

Альтернативы GOTO:

• Циклы (for, while, do-while) — для повторяющихся действий.
• Условные операторы (if, switch) — для ветвлений.
• Исключения (try-catch) — для обработки ошибок и нештатных ситуаций.
• Функции и процедуры — для организации кода.
• Break и continue с метками — для выхода из вложенных циклов (в Java, JavaScript, C#).

Интересные факты

• В языке программирования COBOL оператор GOTO иногда использовался для организации «спагетти-кода» настолько запутанного, что его называли «кодом-лапшой».
• В некоторых языках, например, в Ruby, GOTO отсутствует, но есть конструкция redo, которая позволяет вернуться к началу текущей итерации цикла, что функционально близко к GOTO.
• В языке ассемблера GOTO является единственным способом управления потоком, так как там нет циклов и условных операторов в привычном понимании.
• В 2011 году в языке C++11 была добавлена поддержка goto для выхода из вложенных циклов, но это вызвало споры в сообществе.
• Существуют языки, где GOTO полностью запрещён на уровне синтаксиса, например, в Python и Java.

Заключение

Оператор GOTO, некогда бывший основой программирования, сегодня считается устаревшим и вредным для создания качественного программного обеспечения. Современные языки предлагают богатый набор структурных конструкций, которые позволяют писать читаемый, поддерживаемый и надёжный код без использования GOTO. Однако в некоторых специфических случаях (например, в низкоуровневом программировании или при работе с устаревшим кодом) GOTO всё ещё может применяться, но с большой осторожностью.

Источники

1. Дейкстра, Э. «Go To Statement Considered Harmful» (1968).
2. Кнут, Д. «Structured Programming with go to Statements» (1974).
3. Страуструп, Б. «Язык программирования C++» (4-е издание, 2013).
4. Керниган, Б., Ритчи, Д. «Язык программирования C» (2-е издание, 1988).
5. ISO/IEC 9899:2018 — стандарт языка C.
6. ISO/IEC 14882:2020 — стандарт языка C++.
7. «The Art of Computer Programming» (Д. Кнут, том 1, 1968).