В какой момент аллоцируется память в куче?

Механизм аллокации памяти в куче (Heap) в iOS разработке

В iOS-разработке память в куче (heap) аллоцируется не в какой-то один фиксированный момент, а по требованию, когда код явно запрашивает создание объекта или буфера динамической памяти. Ключевое отличие от стека (stack) — выделение и время жизни управляются вручную (вручную или через ARC) и память существует, пока на неё есть сильные ссылки.

Основные моменты аллокации

1. Явный вызов аллоцирующих методов или функций:

   • Для Objective-C-классов: вызов alloc (например, [[NSObject alloc] init]).
   • Для Swift-классов: вызов инициализатора (например, MyClass()), который внутри использует механизмы выделения памяти.
   • Для C-уровня: вызов malloc, calloc, realloc.

   // Objective-C: память аллоцируется при вызове alloc
   NSObject *obj = [[NSObject alloc] init];
   

   // Swift: память аллоцируется при инициализации экземпляра класса
   let object = MyClass()
   

2. Создание экземпляров классов (reference types):

   • В Swift и Objective-C классы являются ссылочными типами, и их экземпляры всегда размещаются в куче. При инициализации объекта runtime выделяет для него блок памяти достаточного размера.

3. Использование конструкторов коллекций:

   • При создании массивов, словарей, множеств (например, NSArray, Array, Dictionary) память выделяется в куче для хранения элементов и внутренней структуры данных.

   let array = [1, 2, 3] // Память под буфер элементов аллоцируется в куче
   

4. Замыкания (closures) и блоки (blocks):

   • Замыкания в Swift и блоки в Objective-C, которые захватывают переменные из окружающего контекста, также аллоцируют память в куче для хранения захваченных значений и контекста выполнения.

   let closure = { [weak self] in
       self?.doSomething()
   } // Память под контекст замыкания аллоцируется в куче
   

Как это работает на низком уровне?

• Вызов аллокатора: При запросе памяти runtime обращается к аллокатору (например, malloc из библиотеки C или его оптимизированным версиям в Objective-C runtime). Аллокатор управляет пулами свободной и занятой памяти, находя подходящий блок.
• Влияние Automatic Reference Counting (ARC): В Swift и Objective-C с ARC момент аллокации остаётся явным (при создании объекта), но деаллокация автоматизирована — память освобождается, когда счётчик сильных ссылок достигает нуля.
• Пример с Swift:

class Person {
    var name: String
    init(name: String) {
        self.name = name // При вызове Person(name: "Ivan") память под экземпляр аллоцируется в куче
    }
}

// Момент аллокации: вызов инициализатора
let person = Person(name: "Ivan") // Память выделяется здесь

Сценарии и нюансы

• Ленивая аллокация (lazy initialization): Память может аллоцироваться не сразу при объявлении переменной, а при первом обращении, если используется модификатор lazy.

  lazy var expensiveObject = ExpensiveResource() // Аллокация только при первом доступе
  

• Аллокация буферов для данных: При работе с Data, UnsafeMutablePointer или низкоуровневыми API (например, malloc напрямую) память выделяется в момент вызова соответствующих функций.

• Оптимизации компилятора: В Swift компилятор может применять оптимизации, такие как stack promotion, когда объект, который обычно попал бы в кучу, размещается на стеке, если его время жизни можно детектировать на этапе компиляции. Однако это исключение, а не правило.

Заключение

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