Как происходит освобождение памяти при ARC?

ARC (Automatic Reference Counting) — это система управления памятью, используемая в Swift для экземпляров классов. Она автоматически отслеживает, сколько "сильных" ссылок указывает на каждый экземпляр в куче. Пока на объект есть хотя бы одна сильная ссылка, он остаётся в памяти. Когда счётчик сильных ссылок достигает нуля, система немедленно освобождает память, занимаемую этим объектом. Этот процесс происходит во время выполнения программы и полностью автоматизирован, что избавляет разработчика от ручного управления памятью, как в языках с ручным выделением (например, C), но требует понимания циклов сильных ссылок.

Как работает подсчёт ссылок

Каждый раз, когда вы присваиваете экземпляр класса переменной, константе или свойству, создаётся сильная ссылка, и счётчик увеличивается на 1. Когда ссылка выходит из области видимости (например, функция завершается) или ей присваивается nil (для опциональных ссылок), счётчик уменьшается на 1.

class Person {
    let name: String
    init(name: String) { self.name = name }
    deinit { print("\(name) освобождён") }
}

var ref1: Person? = Person(name: "Alice") // Счётчик = 1
var ref2: Person? = ref1 // Счётчик = 2

ref1 = nil // Счётчик = 1
ref2 = nil // Счётчик = 0 -> срабатывает deinit, память освобождена

Проблема циклов сильных ссылок и решения

ARC не может автоматически освободить память, если два или более объекта содержат сильные ссылки друг на друга, создавая цикл. Для решения этой проблемы Swift предоставляет ключевые слова weak и unowned, которые создают ссылки, не увеличивающие счётчик.

• weak: Используется, когда ссылка может стать nil в будущем (например, делегаты). Такая ссылка автоматически становится nil, когда объект освобождается.
• unowned: Используется, когда ссылка никогда не станет nil в течение времени жизни объекта, но не удерживает его.

class Apartment {
    let unit: String
    weak var tenant: Person? // weak ссылка
    init(unit: String) { self.unit = unit }
}

Где применяется ARC

ARC используется во всех проектах на Swift для iOS, macOS, watchOS и tvOS. Он применяется для управления памятью объектов классов, в то время как типы-значения (структуры, перечисления) хранятся в стеке и не требуют подсчёта ссылок. Понимание ARC критически важно для написания эффективных и без утечек памяти приложений, особенно при работе с замыканиями, делегатами и родительско-дочерними отношениями объектов.

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