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

Значение переменной передается в оператор defer в момент выполнения инструкции defer, а не в момент вызова функции.

Пример:

package main

import "fmt"

func main() {
	i := 0
	defer fmt.Println(i) // Здесь i равно 0. В defer передается копия 0
	i = 1
}

Вывод будет:

0

Если бы значение передавалось в момент вызова функции, вывод был бы 1.

Теперь рассмотрим связь с именованными возвращаемыми значениями:

package main

import "fmt"

func namedReturn() (res int) {
	res = 0
	defer func() {
		res = 10 // Модифицируем именованное возвращаемое значение
	}()
	return res // В defer передается ссылка на именованное возвращаемое значение
}

func main() {
	fmt.Println(namedReturn())
}

Вывод будет:

10

В случае с именованным возвращаемым значением res, оператор defer получает доступ к этому именованному значению и может его модифицировать, потому что defer выполняется непосредственно перед возвратом из функции. Анонимная функция в defer захватывает переменную res по ссылке.

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

package main

import "fmt"

func unnamedReturn() int {
	res := 0
	defer func() {
		res = 10 // Модифицирует локальную переменную, а не возвращаемое значение
	}()
	return res
}

func main() {
	fmt.Println(unnamedReturn())
}

Вывод будет:

0

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