Аргументы defer и именованный результат

Аргументы вычисляются сразу

fmt.Println(i) увидел i равной нулю и именно ноль напечатает на выходе, хотя к тому моменту переменная уже единица. Ловит это людей в реалистичных сценариях, самый частый из которых — замер времени:

t := time.Now()
defer log.Println(time.Since(t)) // неправильно: аргумент посчитается сразу

Кажется, что time.Since(t) посчитается на выходе. На деле аргумент вычисляется при defer, поэтому в лог уйдёт почти ноль. Именно так замер длительности операции в «Полке» писал в лог бессмысленные нули. Правильно — обернуть в замыкание:

defer func() { log.Println(time.Since(t)) }()

Замыкание видит живую переменную

Тело замыкания захватывает переменную i и читает её в момент выполнения, уже после присваивания. Противоречия с примером выше нет: defer fmt.Println(i) скопировал значение аргумента, а замыкание работает с живой переменной.

Именованный результат

defer может менять возвращаемое значение — но только именованное:

func count() (n int) {
    defer func() { n++ }()
    return 2
}

fmt.Println(count()) // 3

return 2 присваивает n = 2, потом выполняются отложенные вызовы, один из них делает n++, и уже после этого функция отдаёт наружу итоговое n = 3. С анонимным результатом отложенной функции не за что было бы зацепиться.

Та же логика у получателя метода: defer c.log снимает копию c в момент объявления, и метод с value-receiver отработает именно с ней.