Какво е събирач на боклук (garbage collector)?

В iOS няма традиционен събирач на боклук. Вместо това се използва механизмът за автоматично броене на препратки (ARC).

• Автоматичен механизъм: ARC автоматично брои силните препратки към обектите.
• Освобождаване на памет: Когато броят на силните препратки към обект достигне нула, ARC освобождава заделената памет.
• Предотвратяване на течове: Правилната употреба на силни, слаби и не притежавани (unowned) препратки позволява предотвратяване на течове на памет и цикли на препратки.

Типове препратки в ARC:

• Силна (strong): Увеличава брояча на препратките. По подразбиране.
• Слаба (weak): Не увеличава брояча на препратките. Автоматично става nil при деалокация на обекта. Използва се за предотвратяване на цикли на силни препратки. Декларира се като опционален тип.
• Не притежавана (unowned): Не увеличава брояча на препратките. Гарантира се, че обектът, към който се отнася, съществува през цялото време на живота на не притежаваната препратка. Не е опционален. Използва се, когато двата обекта имат взаимна силна връзка, но единият има по-кратък жизнен цикъл.

Предимства на ARC:

• Предсказуемост: Освобождаването на паметта става детерминирано, веднага щом обектът вече не се използва.
• Производителност: Няма допълнителни разходи за фоновия събирач на боклук, който може да причинява паузи.
• Простота: Разработчикът не трябва ръчно да управлява паметта в повечето случаи, но трябва да разбира принципите на броенето на препратки, за да предотврати течове.

Пример за цикъл на силни препратки:

class Person {
    let name: String
    var apartment: Apartment? // силна препратка към Apartment

    init(name: String) { self.name = name }
    deinit { print("\(name) се деинициализира") }
}

class Apartment {
    let unit: String
    weak var tenant: Person? // слаба препратка към Person за предотвратяване на цикъл

    init(unit: String) { self.unit = unit }
    deinit { print("Апартамент \(unit) се деинициализира") }
}

var john: Person?
var unit4A: Apartment?

john = Person(name: "John Appleseed")
unit4A = Apartment(unit: "4A")

john!.apartment = unit4A
unit4A!.tenant = john // Използването на weak тук е критично

john = nil
unit4A = nil
// Без weak tenant: И двамата john и unit4A няма да бъдат деинициализирани.
// С weak tenant: И двамата john и unit4A са правилно деинициализирани.