Почему коллекции в Swift являются value type, но ведут себя как reference type?

Question

Коллекции в Swift являются value type, но используют механизм Copy-on-Write. Пока коллекция не изменяется, данные фактически разделяются между копиями. Копирование происходит только при попытке модификации. Это даёт семантику значений без потери производительности. Внешне коллекции выглядят как reference type, но логически остаются value type.

YeaHub · Accepted Answer

Swift стремится совместить безопасность value types с производительностью reference types, и Copy-on-Write — ключевой механизм для этого.Value semantics коллекцийОпределение:Коллекции (Array, Dictionary, Set) — это struct, а значит:присваивание должно создавать копиюизменения не должны влиять на другие экземплярыЭто гарантирует предсказуемость поведения.Как работает Copy-on-WriteНа практике:при присваивании копируется только ссылка на буферреальные данные остаются общимипри модификации проверяется уникальность буфераЕсли буфер разделяется:создаётся реальная копияизменение происходит уже в новом буфереПример:var a = [1, 2, 3]
var b = a   // копии нет
b.append(4) // происходит копирование
Почему это похоже на reference typeДо момента изменения:несколько переменных указывают на один буферпамять не дублируетсяоперации дешёвыеИз-за этого создаётся ощущение ссылочной семантики.Польза для производительностиCopy-on-Write позволяет:безопасно передавать коллекцииизбегать лишних копированийписать чистый и понятный кодВыводКоллекции в Swift ведут себя как value type логически, но используют reference-оптимизации под капотом. Copy-on-Write — компромисс между безопасностью и производительностью.