Что такое замыкание функции в Go и как оно работает?

Что такое замыкание функции в Go и как оно работает?

• понятие, пришедшее из функционального программирования
• функция получает доступ к переменным внешней области видимости
• помогает сохранять состояние между последовательными вызовами
• создаётся с помощью функций-литералов (анонимных функций)
• захваченные переменные находятся в памяти, пока доступно само замыкание
• подходит для декораторов, генераторов и создания итераторов
• пример: счётчик, увеличивающий сохранённое значение при каждом вызове

Замыкания в Go позволяют удобно управлять состоянием и реализовывать функциональные абстракции.

Подробный ответ

Основной ответ

Замыкание (closure) в Go представляет собой функцию, которая захватывает и "помнит" переменные из окружающей лексической области видимости, в том числе после выхода этой области из контекста вызова. Благодаря этому функция может обращаться к данным внешней функции и сохранять состояние между вызовами.

Ключевые моменты

• В Go функции являются first-class объектами: их можно объявлять внутри других функций, возвращать из них и передавать в качестве значений.
• Переменные внешней функции, используемые вложенным замыканием, продолжают существовать до тех пор, пока сохраняется ссылка на это замыкание. За счёт этого состояние можно удерживать между вызовами.
• Замыкания часто применяют для инкапсуляции состояния, реализации генераторов, фабрик функций и функций, способных запоминать данные.
• Следует учитывать, что замыкания в Go захватывают переменные по ссылке, а не их значения. Из-за этого могут возникать ошибки, особенно при использовании замыканий в циклах.

Практический контекст

В Go 1.18+ замыкания нередко используют для создания конфигурируемых функций и middleware в web-фреймворках, например Gin. В конкурентном программировании они также помогают накапливать состояние без глобальных переменных, благодаря чему код становится чище и модульнее.

Пример захвата переменной цикла. Его поведение зависит от версии языка:

func makeFuncs() []func() int {
    var funcs []func() int
    for i := 0; i < 3; i++ {
        funcs = append(funcs, func() int { return i })
    }
    return funcs
}

При старой семантике языка (до Go 1.22) вызовы funcs[0](), funcs[1]() и funcs[2]() после завершения цикла возвращают 3, 3, 3: замыкания используют одну переменную i. Для этого случая внутри тела цикла создавали отдельную переменную i := i.

Начиная с версии языка Go 1.22, переменная, объявленная в for i := ..., создаётся заново для каждой итерации. Этот пример возвращает 0, 1, 2 соответственно. При работе с модулем проверьте директиву go в go.mod: одной установки нового компилятора недостаточно, чтобы все старые модули перешли на новую семантику. Если i объявлена вне цикла и цикл лишь присваивает ей значение (for i = ...), переменная по-прежнему общая.

Источник: изменения циклов в Go 1.22.

Итак, понимание замыканий в Go — важный навык для написания чистого, идиоматичного и производительного кода.