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

Copy-on-Write (COW) откладывает физическое копирование хранилища до первой модификации. Пока несколько значений только читают общий буфер, они могут совместно использовать память; перед изменением Swift проверяет уникальность буфера и копирует данные, если ими владеет более одного значения.

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

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

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

COW решает этот компромисс на уровне реализации коллекций. Логически значение копируется сразу, а физические данные — только тогда, когда совместное использование перестаёт быть безопасным.

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

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

Неверное понимание COW приводит к ошибочному выводу, что присваивание массива создаёт ссылочную связь. На практике связь существует лишь на уровне временно общего внутреннего хранилища, а не на уровне наблюдаемого поведения значений.

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

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

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

var original = [10, 20]
var copy = original

copy.append(30)

print(original) // [10, 20]
print(copy)     // [10, 20, 30]

После присваивания original и copy могут использовать одно хранилище. Вызов append делает copy независимым, если общий буфер не может быть изменён безопасно. Поэтому original сохраняет прежнее содержимое.

COW является оптимизацией конкретных типов, а не автоматическим свойством всех структур Swift. Структура может содержать ссылочное поле и тем самым внешне иметь value semantics, но разделять изменяемый объект внутри; например, копирование структуры с классом не копирует сам объект.

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

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

Сервис получает большой массив идентификаторов, передаёт его в несколько функций и лишь в одной функции добавляет новый идентификатор. Немедленное копирование при каждом присваивании увеличило бы пиковое потребление памяти и время обработки.

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

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

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

Гарантирует ли COW, что копирование физически произойдёт ровно в момент присваивания второй переменной?

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

Кроме того, конкретная реализация может использовать оптимизации, не видимые через публичное поведение. На собеседовании важно отделять логическую гарантию независимых значений от деталей размещения памяти.
Станут ли элементы ссылочного типа независимыми после COW-копирования массива?

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

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

Value semantics определяется наблюдаемым поведением типа, а не тем, что тип объявлен ключевым словом struct. Структура копируется по значению, но её поля могут ссылаться на общий изменяемый объект.

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