В чём разница между defer, panic и recover в Go?

Разница между defer, panic и recover в Go

• defer — отложенный вызов функции: она выполняется при выходе из текущей функции и обычно используется для освобождения ресурсов
• panic — прерывание обычного выполнения программы из-за ошибки; механизм раскручивает стек вызовов до завершения программы или перехвата через recover
• recover — средство обработки panic внутри defer, с помощью которого можно перехватить панику и не допустить завершения программы
• Эти механизмы применяют для управления ошибками: panic запускает аварийное завершение, defer обеспечивает очистку, а recover позволяет контролировать последствия сбоя
• Вместе они помогают повысить устойчивость и безопасность выполнения, выполняя роль, аналогичную исключениям в других языках
• panic используют для ошибок, которые нельзя обработать стандартным способом; defer — для действий, обязательных к выполнению (работа с файлами, разблокировка); recover — для восстановления после паники
• На практике defer закрывает файлы, panic сообщает о фатальных ошибках, а recover помогает избежать падения всего сервера при возникновении ошибок

Такое сочетание позволяет контролируемо обрабатывать исключительные ситуации и аккуратно освобождать ресурсы в Go.

Подробный ответ

Основной ответ

В Go конструкции defer, panic и recover используются для управления ресурсами и потоком выполнения при исключительных ситуациях. defer переносит вызов функции на момент выхода из текущей функции, panic прекращает обычное выполнение из-за ошибки, а recover даёт возможность перехватить панику и обработать её, предотвратив крах приложения.

• defer: гарантирует выполнение определённого кода после завершения функции, например закрытие файла или разблокировку mutex. Отложенные вызовы исполняются в порядке LIFO: последним добавленный вызов выполняется первым.
• panic: прекращает нормальный ход выполнения и переводит программу в паническое состояние, обычно вследствие критической ошибки, например выхода за границы среза. Затем начинается раскрутка стека (stack unwinding), во время которой выполняются все отложенные defer вызовы.
• recover: встроенная функция, работающая только внутри отложенной функции (deferred). Она позволяет перехватить panic и возвращает значение, переданное в панику. Вызов recover вне defer не предотвращает падение программы.

Ключевые моменты

• defer обеспечивает надежное освобождение ресурсов: даже при возникновении ошибки заданный код будет выполнен.
• panic служит для сообщения о непредвиденных ошибках низкого уровня. Если панику не обработать, программа аварийно завершится.
• recover — единственный безопасный способ выйти из состояния panic. Он позволяет управлять обработкой ошибки и продолжить выполнение программы.

Практический контекст

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