Как работает copy-on-write в Swift

Copy-on-write это оптимизация типов значений с большим хранилищем. Структура Array хранит ссылку на буфер в куче. Когда я пишу var b = a, копируется только эта ссылка, счётчик ссылок буфера становится 2. Перед любой мутацией массив вызывает isKnownUniquelyReferenced: если ссылка единственная, меняет буфер на месте, если нет, сначала копирует буфер, и дальше у каждой переменной свой. Снаружи это выглядит как обычная семантика значения, но без лишних копий. Так работают Array, Dictionary, Set и String. Мои структуры этого сами не умеют: если внутри большой класс-хранилище, я должен сам проверять уникальность в мутирующих методах. Ловушка: если держать лишнюю копию массива, каждая первая мутация будет стоить O(n).