Как работает сборщик мусора (garbage collector) в iOS?

В iOS нет классического сборщика мусора (garbage collector) в привычном смысле, как, например, в Java или C#. Вместо него используется механизм автоматического управления памятью, основанный на подсчете ссылок.

Исторически в Objective-C была ручная модель управления памятью (Manual Reference Counting - MRC), затем появился Automatic Reference Counting (ARC). В Swift используется только ARC.

ARC (Automatic Reference Counting)

ARC - это механизм компилятора, который автоматически вставляет вызовы методов управления памятью, таких как retain, release и autorelease (в Objective-C) или аналогичные операции в Swift.

Ключевые принципы работы ARC:

1. Счетчик ссылок: У каждого объекта есть счетчик ссылок, который указывает, сколько других объектов ссылаются на него.
2. Увеличение счетчика: Когда на объект создается сильная ссылка (strong в Swift, retain по умолчанию в Objective-C), счетчик ссылок увеличивается на единицу.
3. Уменьшение счетчика: Когда сильная ссылка удаляется (например, переменная выходит из области видимости, или ей присваивается nil), счетчик ссылок уменьшается на единицу.
4. Освобождение памяти: Когда счетчик ссылок объекта достигает нуля, ARC автоматически освобождает память, занимаемую этим объектом, путем вызова его метода deinit (в Swift) или dealloc (в Objective-C).

Типы ссылок в Swift:

• strong: Делает объект владельцем ссылки, увеличивает счетчик ссылок. Является типом ссылки по умолчанию.
• weak: Не делает объект владельцем ссылки, не увеличивает счетчик ссылок. Используется для предотвращения циклов сильных ссылок. При освобождении объекта, на который ссылается слабая ссылка, она automatically устанавливается в nil. Используется с опциональными типами.
• unowned: Подобна weak, но не обнуляется при освобождении объекта. Требует, чтобы объект существовал на протяжении всего времени жизни ссылки. Не является опциональным типом. Используется, когда гарантируется, что ссылка всегда будет указывать на действительный объект.

Циклы сильных ссылок:

Основная проблема ARC - это циклы сильных ссылок (retain cycles). Они возникают, когда два или более объекта имеют сильные ссылки друг на друга, и ни один из них не может быть освобожден, потому что их счетчики ссылок никогда не достигнут нуля.

Пример цикла сильных ссылок:

swift

Решение циклов сильных ссылок:

Для предотвращения циклов сильных ссылок используются weak или unowned ссылки.

В данном примере Person должен иметь сильную ссылку на Apartment, а Apartment должен иметь слабую ссылку на Person (так как человек может съехать, но апартамент останется).

swift

Замыкания и циклы сильных ссылок:

Циклы сильных ссылок также могут возникать между экземплярами класса и замыканиями, если замыкание захватывает сильную ссылку на экземпляр, а экземпляр содержит сильную ссылку на это замыкание.

Решение: использовать списки захвата (capture lists) с weak или unowned внутри замыкания.

swift

В заключение, iOS управляет памятью объектов с помощью ARC, основанного на подсчете ссылок, а не на типичном сборщике мусора. Разработчик должен осознавать концепцию циклов сильных ссылок и использовать weak или unowned ссылки для их предотвращения.