Почему стандартные коллекции в Swift реализованы как value-типы?

Коллекции (Array, Dictionary, Set) являются value-типами для обеспечения предсказуемости, безопасности и производительности, что соответствует философии Swift.

Основные последствия и преимущества:

1. Семантика копирования: При присваивании или передаче в функцию создаётся независимая копия.

   var original = [1, 2, 3]
   var copy = original // Происходит копирование
   copy.append(4)
   print(original) // [1, 2, 3] — оригинал не изменился
   print(copy)     // [1, 2, 3, 4]

2. Безопасность в многопоточности: Поскольку каждая копия изолирована, изменение коллекции в одном потоке не может неожиданно повлиять на её состояние в другом потоке, что снижает риск состояний гонки (race conditions).

3. Оптимизация Copy-on-Write (CoW): Swift не выполняет физическое копирование данных сразу. Память делится между экземплярами до тех пор, пока один из них не будет модифицирован. Это обеспечивает эффективность value-семантики.

   var a = [1, 2, 3] // Выделяется буфер
   var b = a         // a и b ссылаются на ОДИН буфер
   b.append(4)       // Только здесь создается НОВЫЙ буфер для `b`

Итог: Value-семантика делает поведение коллекций простым и предсказуемым, как у базовых типов (Int, String), что упрощает рассуждение о коде и предотвращает множество типичных ошибок, связанных с неявным разделением состояния.