Как работает сборщик мусора (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