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

Question

Массивы в Swift являются value-типами по поведению, но внутри используют ссылочное хранилище. Это сделано ради производительности и эффективного использования памяти. Благодаря copy-on-write несколько массивов могут делить одно хранилище без риска побочных эффектов. Для разработчика массив всегда ведёт себя как value-тип.

YeaHub · Accepted Answer

Swift намеренно разделяет внешнюю семантику и внутреннюю реализацию коллекций.Внешнее поведениеС точки зрения кода:Array — structприсваивание копирует значениеизменение не влияет на другие копииЭто и есть value-семантика.Внутренняя реализацияПод капотом:массив хранит ссылку на буфер в кучебуфер может быть разделён между копиямиреальное копирование откладываетсяТаким образом:данные физически не копируются сразукопия создаётся только при записиЗачем это нужноБез reference-хранилища:каждый = означал бы полное копированиеработа с коллекциями стала бы слишком дорогойС reference-хранилищем + CoW:чтение дешёвоекопирование ленивоеповедение безопасноеПочему это не “нарушение” value-семантикиValue-семантика — это:что видит программиста не то, как данные лежат в памятиSwift гарантирует:изоляцию измененийотсутствие скрытых сайд-эффектовКраткий выводМассивы в Swift — value-типы по контракту и reference-типы по реализации. Copy-on-write позволяет совместить безопасность и производительность.