Краткий ответ

Список захвата фиксирует значение переменной в момент создания замыкания. При обычном захвате замыкание обращается к захваченному изменяемому хранилищу, поэтому видит последующие изменения переменной.

Для значения-экземпляра это обычно означает разницу между снимком состояния и чтением актуального состояния.

Исторический контекст

Замыкания используются как значения, которые можно передавать, сохранять и выполнять позже. Из-за этого важно определить, должно ли замыкание работать с текущим состоянием переменной или сохранить состояние на момент своего создания.

Список захвата появился как явный механизм управления этим поведением. Он также делает намерение разработчика заметным при чтении кода.

Постановка проблемы

Без явного захвата легко получить неожиданный результат в отложенных обработчиках, замыканиях коллекций или асинхронном коде. Замыкание может выполниться уже после изменения переменной и использовать не то значение, которое было актуально при его создании.

Обратная ошибка тоже возможна: список захвата намеренно сохраняет устаревший снимок, хотя обработчику требовалось актуальное состояние. Поэтому выбор между обычным захватом и списком захвата должен соответствовать смыслу операции.

Подробное решение

При обычном захвате изменяемая локальная переменная связывается с хранилищем, доступным замыканию. Если исходная область видимости уже завершилась, Swift сохраняет это хранилище столько, сколько нужно замыканию.

Список захвата вычисляется при создании замыкания. Для значения-экземпляра он сохраняет отдельное захваченное значение, поэтому последующее присваивание исходной переменной на него не влияет.

var state = "черновик"

let live = { state }
let snapshot = { [saved = state] in saved }

state = "опубликовано"

print(live())     // опубликовано
print(snapshot()) // черновик

В live замыкание читает актуальное захваченное хранилище. В snapshot выражение saved = state вычисляется в момент создания замыкания, поэтому сохраняется значение черновик.

Список захвата не превращает объект ссылочного типа в независимую копию. Если захвачен экземпляр класса, копируется ссылка на тот же объект; изменение его свойств будет видно через замыкание. Для независимого состояния нужна явная копия самого объекта.

Для значений с семантикой значения, например структур и массивов, результат следует понимать логически как снимок значения. Реализация copy-on-write может временно разделять внутреннее хранилище, но при изменении Swift обеспечивает независимые наблюдаемые значения.

Ситуация из практики

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

Варианты решения:

хранить идентификатор в отдельной неизменяемой переменной — это явно, но требует аккуратно организовать область видимости;
использовать обычный захват — подходит, если обработчику нужно актуальное состояние, но опасен для отложенной проверки;
использовать список захвата — компактно фиксирует снимок и выражает требование явно.

В такой ситуации выбирают список захвата. Он сохраняет идентификатор конкретного запуска, предотвращает ложное сопоставление результата с последующим запросом и не требует синхронизации с изменяемой переменной.

Что кандидаты часто упускают

Гарантирует ли список захвата копирование объекта класса?

Нет. Для класса список захвата сохраняет значение ссылки, а не глубокую копию объекта. Замыкание и исходная переменная указывают на один экземпляр, поэтому изменение его свойств будет наблюдаемым с обеих сторон. Независимую копию нужно создавать явно, если это поддерживается моделью объекта.
Что произойдет со списком захвата, если захватывается массив, а исходная переменная позже изменяется?

Список захвата сохраняет значение массива на момент создания замыкания. Последующее присваивание или изменение исходного массива не меняет логическое значение, доступное замыканию. Благодаря copy-on-write внутреннее буферное хранилище может быть разделено до момента мутации, но наблюдаемое поведение остается поведением независимых значений.
Можно ли списком захвата зафиксировать не переменную, а результат выражения?

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