При передаче значения структуры через inout является ли параметр постоянной ссылкой на исходное хранилище?

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

Нет. inout задаёт семантику временного эксклюзивного доступа: значение передаётся в функцию, внутри неё может изменяться, а итоговое значение возвращается в исходную переменную. Реализация может оптимизировать это до передачи адреса, но полагаться на постоянный алиас или физическое отсутствие копирования нельзя.

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

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

inout решает эту задачу, сохраняя явность мутации: вызывающий код явно передаёт переменную для изменения, а не произвольное выражение. Такой механизм позволяет не превращать структуру в ссылочный тип только ради модификации.

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

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

Swift ограничивает такие операции правилами эксклюзивного доступа к памяти. Пока выполняется inout-доступ, конфликтующий доступ к той же области памяти может быть запрещён компилятором или привести к ошибке времени выполнения в случаях, которые невозможно проверить статически.

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

С точки зрения языка inout работает как copy-in/copy-out: значение исходной переменной передаётся в параметр, функция изменяет параметр, затем результат записывается обратно. Это модель поведения, а не обязательное указание на физическое копирование.

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

func increment(_ number: inout Int) {
    number += 1
}

var value = 10
increment(&value)
print(value) // 11

После завершения вызова изменение становится видимым в value. Компилятор может передать значение напрямую по адресу и избежать копирования, но это оптимизация; семантика программы должна оставаться совместимой с моделью copy-in/copy-out.

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

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

Предположим, функция нормализует локальную конфигурацию перед отправкой запроса. Рассматриваются три варианта: вернуть изменённую структуру, передать её через inout или поместить состояние в класс-обёртку.

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

Класс-обёртка позволяет разделять состояние между владельцами, но меняет value semantics на reference semantics и усложняет управление общим состоянием. Для независимой локальной конфигурации выбирают inout: он сохраняет структуру значимым типом, явно ограничивает время мутации и не вводит лишнего общего объекта.

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

1. Можно ли передать одно и то же хранилище в два inout-параметра?

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

2. Что меняется, если через inout передаётся переменная ссылочного типа?

inout применяется к самой переменной-ссылке, а не автоматически к состоянию объекта. Через такой параметр можно как изменить объект, на который указывает ссылка, так и переназначить саму ссылку; это разные операции. При обычной передаче экземпляра класса без inout изменение его свойств также видно другим ссылкам, потому что класс имеет reference semantics, но переназначить переменную вызывающего кода обычный параметр не позволяет.

3. Может ли inout-параметр быть захвачен escaping-замыканием?

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