Почему массивы в Swift выглядят как value-типы, но внутри используют reference-семантику?

Swift намеренно разделяет внешнюю семантику и внутреннюю реализацию коллекций.

Внешнее поведение

С точки зрения кода:

• Array — struct

• присваивание копирует значение

• изменение не влияет на другие копии

Это и есть value-семантика.

Внутренняя реализация

Под капотом:

• массив хранит ссылку на буфер в куче

• буфер может быть разделён между копиями

• реальное копирование откладывается

Таким образом:

• данные физически не копируются сразу

• копия создаётся только при записи

Зачем это нужно

Без reference-хранилища:

• каждый = означал бы полное копирование

• работа с коллекциями стала бы слишком дорогой

С reference-хранилищем + CoW:

• чтение дешёвое

• копирование ленивое

• поведение безопасное

Почему это не “нарушение” value-семантики

Value-семантика — это:

• что видит программист

• а не то, как данные лежат в памяти

Swift гарантирует:

• изоляцию изменений

• отсутствие скрытых сайд-эффектов

Краткий вывод

Массивы в Swift — value-типы по контракту и reference-типы по реализации. Copy-on-write позволяет совместить безопасность и производительность.