Ответ.

В Go ключевое слово defer откладывает выполнение функции до завершения окружающей функции. Это удобно для освобождения ресурсов и финализации. Однако использование defer в сочетании с методами, принимающими указатели (*T) или значения (T), имеет неочевидные нюансы.

История вопроса

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

Проблема

Если мы вызываем метод с resiver-значением (T), в defer копируется значение структуры. Если вызывается метод с resiver-указателем (*T), метод работает с оригинальным объектом. В результате изменения данных в defer-методе по значению окажутся незаметны, а по указателю отразятся на внешней структуре. Это приводит к трудноуловимым ошибкам, особенно при попытке изменить состояние объекта через defer.

Решение

При проектировании методов и использовании defer следует всегда осознанно выбирать тип ресивера. Изменения, которые должны дожить до конца функции, должны делать через указатель.

Пример кода:

package main
import "fmt"

type Counter struct {
    Value int
}

func (c Counter) IncValue() { // метод по значению
    defer func() {
        c.Value++ // увеличится только копия
        fmt.Println("[Value receiver defer] Value:", c.Value)
    }()
}

func (c *Counter) IncPointer() { // метод по указателю
    defer func() {
        c.Value++ // увеличится оригинал
        fmt.Println("[Pointer receiver defer] Value:", c.Value)
    }()
}

func main() {
    c := Counter{Value: 10}
    c.IncValue()   // Value останется 10
    c.IncPointer() // Value станет 11
    fmt.Println("Original Value after calls:", c.Value)
}

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

defer всегда получает копию аргументов и ресиверов на момент объявления.
Методы с resiver-значением не влияют на внешний объект в defer.
Методы с resiver-указателем изменяют оригинал через defer.

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

1. Изменится ли внешний объект, если в defer вызвать метод, принимающий ресивер по значению?

Нет, в defer оригинальный объект не изменится, так как метод работает с копией структуры.

2. Можно ли полагаться на defer для гарантированного изменения состояния структуры через метод по значению?

Нет. Нужно использовать методы с указателем, если вы хотите отразить изменения на оригинальном объекте.

3. Что будет, если после объявления defer изменить поля структуры?

Действия зависят от способа передачи ресивера: если метод/функция получают копию, изменения после объявления defer не будут заметны в отложенной функции.

func (c Counter) Demo() {
    defer fmt.Println("defer c.Value:", c.Value) // захватит текущее значение
    c.Value = 42 // не повлияет на defer
}

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

Пытаться изменить останется объект через метод с ресивером-значением внутри defer.
Не обращать внимание на копирование структур при использовании defer.

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

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

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

Плюсы:

Код лаконичный, читабельный.

Минусы:

Очищение не происходило — соединения утекали.

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

Использовали методы с ресивером-указателем для финализации, изменяя оригинальный объект.