SSul 17 апр 2020 в 13:32

Проверь себя в Swift: паззлер для любителей головоломок

2 мин

6.2K

Блог компании SimbirSoftSwift*Программирование*Разработка мобильных приложений*Разработка под iOS*

Комментарии 10

varton86 17 апр 2020 в 15:37

Спасибо, забавно. Только в 4 примере не «держит ссылку даже после окончания “срока службы” исходного массива», а ссылается на другой array в стеке, т.к. это value type.

SSul 17 апр 2020 в 17:29

Спасибо. Несмотря на то что внешне Array и ArraySlice являются структурами и соблюдают семантику value types, их внутреннее устройство совсем не простое.
В частности, если упростить, Array хранит внутри ссылку на класс, который реализует его буфер данных. При создании ArraySlice тот тоже ссылается на этот буфер. Т.о. уничтожение массива не приводит к уничтожению данных. И копирования содержимого буфера тут тоже нет

varton86 17 апр 2020 в 21:11

Вы говорите про copy on write, array и slice ссылаются на одну и туже область памяти с данными, для оптимизации их хранения и доступа.

Anton7321 23 апр 2020 в 10:35

Тут скорее неверно употреблено слово ссылка. У всех сразу появляются ассоциации про ссылочный тип. А структура им не является. У меня возник тот же вопрос при первом прочтении.

house2008 17 апр 2020 в 17:22

В 7 примере ничего странного, как и в большинстве строго-типизированных языков дженерики инвариантны, только коллекции из Swift поддерживают ковариантность, не знаю почему, возможно из-за совместимости с ObjC где можно пометить тип коллекции как __covariant/__contravariant.

SSul 17 апр 2020 в 17:38

Да, вы правы. В целом все действительно так. А вот для стандартных коллекций разработчики Swift реализовали ковариантность, поскольку это сильно влияло на удобство их применения.