Эти три ключевых слова обрабатывают отложенное выполнение и исключительные ситуации. defer планирует очистку, panic вызывает крах во время выполнения (для действительно исключительных случаев), а recover может перехватить panic и предотвратить крах программы.
func readFile() error {
f, err := os.Open("file.txt")
if err != nil { return err }
defer f.Close() // GUARANTEED to run when readFile returns (any path)
// ... use f, with multiple return points ...
return nil // f.Close() runs here automatically
}
defer планирует вызов функции на момент, когда окружающая функция вернёт управление — независимо от того, как это произойдет (обычный возврат, ошибка или panic). Это идиоматический способ обеспечить очистку: закрытие файлов, разблокировка мьютексов, закрытие соединений — размещаемый прямо рядом с получением ресурса, чтобы вы не забыли.
defer fmt.Println("1")
defer fmt.Println("2")
defer fmt.Println("3")
// prints: 3, 2, 1 — last deferred, first executed (stack order)
func mustPositive(n int) {
if n < 0 {
panic("negative not allowed") // stops normal execution, unwinds the stack
}
}
// panic runs deferred functions as it unwinds, then crashes the program (with a stack trace)
panic останавливает нормальный ход выполнения и разворачивает стек вызовов (выполняя отложенные функции по пути), в конце концов приводя к краху программы. Это предназначено для ошибок программиста / неустранимых условий (выход за границы, разыменование nil, невозможные состояния) — НЕ для обычных ошибок (они используют возвращаемые значения error).
func safeProcess() {
defer func() {
if r := recover(); r != nil { // recover() returns the panic value
fmt.Println("recovered from:", r) // handle it; program continues
}
}()
panic("something broke") // this panic is caught by the recover above
}
// safeProcess returns normally instead of crashing
recover возвращает контроль над panic-ующей горутиной — но работает только внутри отложенной функции. Используется редко, например, чтобы помешать одному обработчику запроса привести в крах весь сервер.
Normal/expected failures (file missing, bad input, validation) → return an error value
panic/recover → reserve for TRULY exceptional cases (bugs, unrecoverable states)
and boundaries (e.g. a server recovering so one bad request doesn't kill the process)
defer — это существенная, идиоматическая возможность Go для гарантированной очистки — размещение освобождения ресурсов прямо рядом с получением и обеспечение его выполнения на каждом пути возврата (включая panics), что предотвращает утечки файлов, блокировок и соединений намного надёжнее, чем ручная очистка.
Понимание его порядка LIFO также важно. panic/recover обеспечивают механизм, подобный исключениям, но критический принцип состоит в том, что Go зарезервировал их для действительно исключительных, неустранимых ситуаций — обычные ошибки должны всегда возвращаться как значения и проверяться.
Использование panic/recover как общей обработки исключений не идиоматично и является частой ошибкой разработчиков, приходящих из языков, основанных на исключениях.
Знание того, когда использовать defer (всегда, для очистки), возврат error (обычные сбои) и panic/recover (редко, исключительно или на границах) является фундаментальным для написания правильного, идиоматического Go и часто обсуждается на собеседованиях.