В iOS используется ARC (Automatic Reference Counting) — механизм автоматического подсчета ссылок, который не является традиционным сборщиком мусора. Вместо периодического сканирования памяти, ARC автоматически управляет памятью, вставляя вызовы retain, release и autorelease в код во время компиляции.

Принцип работы ARC:

Каждый объект имеет счетчик ссылок.
При создании объекта или присваивании сильной ссылки счетчик увеличивается (retain).
При обнулении сильной ссылки или выходе ссылки из области видимости счетчик уменьшается (release).
Когда счетчик ссылок достигает нуля, объект освобождается из памяти.

Преимущества ARC:

Детерминированное освобождение памяти (известно, когда объект будет удален).
Отсутствие пауз, связанных с работой традиционного сборщика мусора.
Высокая производительность.

Недостатки ARC:

Циклические ссылки (retain cycles) могут привести к утечкам памяти, если не использовать слабые (weak) или бесхозные (unowned) ссылки.

Пример циклической ссылки и её решения:

class Person {
    let name: String
    var apartments: [Apartment] = [] // Сильная ссылка на Apartment
    init(name: String) { self.name = name }
    deinit { print("\(name) is being deinitialized") }
}

class Apartment {
    let unit: String
    var tenant: Person? // Сильная ссылка на Person
    init(unit: String) { self.unit = unit }
    deinit { print("Apartment \(unit) is being deinitialized") }
}

// Создание циклической ссылки
var john: Person? = Person(name: "John Appleseed")
var unit4A: Apartment? = Apartment(unit: "4A")

john?.apartments.append(unit4A!)
unit4A?.tenant = john

// Присвоение nil не освобождает память из-за цикла
john = nil
unit4A = nil
// Выводы deinit не появятся

// Решение проблемы с использованием weak ссылки
class FixedPerson {
    let name: String
    var apartments: [FixedApartment] = []
    init(name: String) { self.name = name }
    deinit { print("\(name) is being deinitialized") }
}

class FixedApartment {
    let unit: String
    weak var tenant: FixedPerson? // Слабая ссылка на Person - не увеличивает счетчик ссылок
    init(unit: String) { self.unit = unit }
    deinit { print("Apartment \(unit) is being deinitialized") }
}

var fixedJohn: FixedPerson? = FixedPerson(name: "John Appleseed")
var fixedUnit4A: FixedApartment? = FixedApartment(unit: "4A")

fixedJohn?.apartments.append(fixedUnit4A!)
fixedUnit4A?.tenant = fixedJohn

// Присвоение nil теперь освобождает память
fixedJohn = nil
fixedUnit4A = nil
// Появятся выводы deinit

В отличие от традиционных сборщиков мусора (например, в Java или Python), которые приостанавливают выполнение программы для поиска и освобождения неиспользуемых объектов, ARC работает более эффективно и предсказуемо в контексте мобильной разработки.

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