Как хранятся данные в куче?

Структура памяти: Куча (Heap)

В iOS разработке под управлением Objective-C или Swift, память программы разделена на несколько сегментов. Куча (Heap) — это динамически управляемая область памяти, используемая для хранения объектов с неопределённым сроком жизни или размером во время компиляции. Это противопоставлено стеку (Stack), где хранятся локальные переменные с фиксированным размером и коротким сроком жизни (например, вызов функции).

Ключевые характеристики кучи в iOS

• Динамическое выделение: Память в куче выделяется и освобождается во время выполнения программы по запросу (например, при создании объекта с new, alloc, или init в Swift/Objective-C).
• Общий доступ: Объекты в куче могут быть доступны из разных частей программы (разных стеков вызовов), что делает её идеальной для данных, которые должны "жить" долго или передаваться между методами/классами.
• Управление памятью: В куче нет автоматического освобождения памяти, как в стеке (при выходе из функции). Поэтому требуется механизм управления: Manual Retain-Release (MRC) в старом Objective-C или, чаще, Automatic Reference Counting (ARC) в современном Swift/Objective-C.
• Неструктурированность: Память в куче не организована линейно или последовательно как стек. Это "пул" свободных блоков памяти разного размера, которые выделяются по мере необходимости.

Как данные физически хранятся в куче

Процесс выделения памяти для объекта в куче можно грубо описать так:

1. Запрос: Когда код создаёт новый объект (например, let object = MyClass()), система отправляет запрос в аллокатор памяти (часть runtime, например, malloc в Unix-системах).
2. Поиск свободного блока: Аллокатор сканирует кучу, чтобы найти блок свободной памяти достаточного размера для объекта. Размер включает не только поля данных объекта, но и внутренние метаданные (например, указатели для ARC).
3. Разметка и выделение: Если найден подходящий блок, он "размечается" как занятый. Возвращается указатель на начало этого блока памяти, который становится ссылкой на объект в вашем коде.
4. Структура объекта: В выделенном блоке память организуется согласно структуре класса. Для примера, рассмотрим простой класс в Swift:

class Person {
    var name: String
    var age: Int

    init(name: String, age: Int) {
        self.name = name
        self.age = age
    }
}

// Выделение в куче:
let john = Person(name: "John", age: 30)

При создании john:

• В куче выделяется блок памяти, достаточный для хранения двух свойств (String и Int) и внутренней информации (например, счетчика ссылок для ARC, указателя на метакласс).
• Значения "John" и 30 записываются в соответствующие части этого блока.
• Переменная john в стеке (или другой куче, если это свойство другого объекта) хранит лишь указатель (reference) на этот блок в куче.

Управление жизненным циклом в куче (ARC)

В Swift/Objective-C с ARC хранение данных в куче напрямую связано с подсчётом ссылок:

• Увеличение счетчика: Когда создаётся новая сильная ссылка на объект (например, присваивание let anotherRef = john), ARC увеличивает счетчик ссылок для этого блока памяти в куче.
• Уменьшение счетчика: Когда ссылка уничтожается (переменная выходит из области видимости, присваивается nil), счетчик уменьшается.
• Освобождение памяти: Когда счетчик достигает нуля, система понимает, что на объект больше нет ссылок. Тогда блок памяти, занимаемый объектом в куче, помечается как свободный и может быть переиспользован для будущих аллокаций. Сам объект деинициализируется (вызывается deinit в Swift).

// ARC в действии:
var ref1: Person? = Person(name: "Alice", age: 25) // Счетчик = 1
var ref2: Person? = ref1 // Счетчик увеличивается до 2

ref1 = nil // Счетчик уменьшается до 1
ref2 = nil // Счетчик уменьшается до 0 -> объект "Alice" деинициализируется, память в куче освобождается.

Проблемы кучи и важность управления

• Утечки памяти: Если счетчик ссылок никогда не достигает нуля (например, из-за циклических сильных ссылок), объект никогда не освобождается, и память в куче "утекает".
• Фрагментация: Постоянное выделение и освобождение блоков разного размера может привести к фрагментации кучи — множество небольших свободных блоков, между которыми нет достаточного непрерывного пространства для нового крупного объекта.

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