В какой момент исчезает Side Table?

Механизм и момент исчезновения Side Tables в Swift ARC

В Swift Side Table (или Side Table Entry) — это вспомогательная структура данных, связанная с объектом, когда его жизненный цикл становится сложным (например, при наличии слабых ссылок или подсчёта сильных ссылок больше 1). Она хранит дополнительную информацию, необходимую для работы Automatic Reference Counting (ARC).

Что такое Side Table?

Основной объект (объект в памяти) содержит стандартные поля для ARC: счетчик сильных ссылок. Однако, когда появляются weak ссылки или счетчик сильных ссылок перестаёт быть простым (например, при использовании unowned(unsafe) или некоторых оптимизаций), система создаёт Side Table. Она хранит:

• Счетчик слабых ссылок (weak reference count).
• Счетчик сильных ссылок, если он был перемещен из основного объекта.
• Флаги состояния объекта (например, для отслеживания deallocating состояния).

Когда исчезает Side Table?

Side Table исчезает (удаляется из памяти) в момент, когда счетчик слабых ссылок становится равным нулю, при условии, что основной объект уже был деаллоцирован.

Процесс можно разбить на этапы:

1. Объект живёт, есть слабые ссылки: Side Table существует, подсчитывая weak ссылки.
2. Все сильные ссылки исчезают:

   class MyClass {}
   var strongRef: MyClass? = MyClass()
   weak var weakRef = strongRef
   strongRef = nil // Сильные ссылки = 0
   

   Основной объект MyClass деаллоцируется. Однако Side Table остаётся, потому что weakRef ещё существует (счётчик weak > 0).
3. Все слабые ссылки исчезают или обнуляются:

   // Продолжение предыдущего примера
   print(weakRef) // nil
   // weakRef всё ещё есть как переменная, но она теперь указывает на nil
   // Однако, если все переменные типа weak, указывавшие на объект, уничтожаются 
   // (например, уходят из области видимости), счетчик weak становится 0.
   

   Когда ARC видит, что счетчик слабых ссылок достиг нуля (нет больше живых weak ссылок, которые хранят информацию о связи с этим объектом), Side Table удаляется.

Пример жизненного цикла с Side Table

class Example {
    var value = 10
}

func testSideTableDeallocation() {
    var strong: Example? = Example() // Создается объект, счетчик strong = 1
    weak var weak1 = strong          // Создается Side Table? Не обязательно сразу.
                                     // Часто создается, когда weak ссылка создается,
                                     // но точный момент зависит от реализации компилятора.
    weak var weak2 = strong          // Если Side Table есть, weak count = 2
    
    strong = nil // Объект Example деаллоцируется. weak1 и weak2 теперь nil.
                 // Side Table сохраняется, weak count = 2.
    
    // Выход из функции или удаление переменных weak1 и weak2
    // Когда weak1 и weak2 уничтожаются (например, при выходе из области видимости),
    // счетчик weak уменьшается до 0.
    // Затем Side Table удаляется.
}

Ключевые моменты исчезновения Side Table

• Side Table не исчезает сразу после деаллокации основного объекта — он ждет, пока все слабые ссылки «отпустят» свою связь с этим объектом.
• Счетчик слабых ссылок в Side Table учитывает не только переменные weak, но и внутренние структуры (например, связанные с unowned ссылками или некоторыми контейнерами), которые требуют отслеживания объекта после его смерти.
• Оптимизации компилятора: В некоторых случаях Side Table может не создаваться, если компилятор видит, что слабые ссылки не требуют его (например, в простых сценариях). Но если создан, исчезновение происходит по описанному правилу.

Почему это важно?

Понимание момента исчезновения Side Tables помогает:

• Анализировать профили памяти: В инструментах типа Allocation Summary можно видеть остаточные Side Tables.
• Предотвращать утечки: Side Table сам является объектом в памяти; если счетчик weak никогда не станет нулем (из-за циклических зависимостей или ошибок), Side Table может утечь.
• Оптимизировать код: Избегать излишнего создания weak ссылок на короткоживущие объекты, чтобы минимизировать накладные расходы на создание/удаление Side Tables.

Таким образом, Side Table исчезает после деаллокации основного объекта, когда счетчик слабых ссылок достигает нуля, завершая полный цикл очистки памяти для данного объекта ARC.