Ответ.

Defer — это уникальный механизм Go, позволяющий выполнить функцию после завершения текущей функции, даже при возникновении panic. Исторически это аналог on-exit конструкций, но в Go реализовано как стек deferred вызовов. Важный нюанс — параметры deferred функции вычисляются сразу в момент объявления defer, не в момент её реального вызова!

Проблема — неочевидное поведение: можно ожидать, что параметры передаются при срабатывании defer, но это не так. Это часто приводит к багам при работе с изменяемыми или внешними переменными.

Решение — всегда иметь в виду, что параметры вычисляются немедленно, а эффект deferred вызова наступает потом.

Пример кода:

func f() {
  x := 5
  defer fmt.Println(x)
  x = 10
}

// Выведет: 5, а не 10

Ключевые особенности:

Значения параметров для deferred функций вычисляются в момент объявления defer.
Deferred функция всегда выполняется даже при panic (если panic не перехвачена ранее).
Если в deferred объявлять анонимную функцию — можно получить обращение к актуальным значениям переменных.

Вопросы с подвохом.

Что выведет следующий код? Почему?

func main() {
  i := 0
  defer fmt.Println(i)
  i = 1
}

Ответ: выведет 0. Аргумент функции fmt.Println сохраняется сразу при объявлении defer.

Влияет ли изменение переменной после объявления defer на передачу её значения в функцию?»

Нет, не влияет — вычисление происходит при объявлении defer:

defer fmt.Println(x)  // Значение x сохраняется сейчас, не потом

Можно ли сделать defer, чтобы финально вывести последнее состояние переменной?

Да, с помощью анонимной функции (closure):

defer func() { fmt.Println(x) }() // захватит актуальное значение x в момент deferred вызова

Типовые ошибки и анти-паттерны

Ожидание, что параметр будет актуальным к моменту deferred вызова.
Использование defer с параметрами наряду с изменяемыми переменными.
Запутанные стеки defer без явного описания зависимостей.

Пример из жизни

Негативный кейс

Код вызывается так:

var f *os.File
// ...
defer f.Close()

Но f присваивается позже, поэтому panic от вызова nil pointer!

Плюсы:

Короткая запись, если переменная уже инициализирована.

Минусы:

Если f == nil — panic.

Позитивный кейс

Обёртывание чистящего действия через анонимную deferred функцию с проверкой:

defer func() { if f != nil { f.Close() } }()