Что хранится в куче?

Что хранится в куче?

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

Основные типы данных, размещаемых в куче:

1. Объекты классов (class instances)
   Экземпляры классов всегда размещаются в куче. Это связано с необходимостью динамического управления памятью и обеспечением общего доступа из разных частей программы.

   class Person {
       var name: String
       init(name: String) {
           self.name = name
       }
   }
   
   let person = Person(name: "Алексей") // Экземпляр Person размещается в куче
   

2. Динамически выделяемые структуры данных
   Хотя структуры в Swift по умолчанию размещаются в стеке (значимые типы), при определённых условиях они могут быть перемещены в кучу:

   • При захвате замыканием (closure).
   • При использовании с модификатором inout в функциях.
   • Когда структура является частью класса (хранимого свойства).

   struct Point {
       var x, y: Double
   }
   
   class Shape {
       var origin: Point // Хранится в куче как часть экземпляра класса
   }
   

3. Замыкания (closures), захватывающие контекст
   Если замыкание захватывает переменные из внешней области видимости (особенно ссылочные типы), то оно само и захваченные значения могут размещаться в куче.

   var counter = 0
   let increment = { counter += 1 } // Замыкание и захваченный counter могут быть в куче
   

4. Динамические массивы, словари, строки
   Swift оптимизирует коллекции через Copy-on-Write (CoW): хотя сами переменные могут быть в стеке, их буферы данных хранятся в куче для эффективного копирования и мутаций.

   var array = [1, 2, 3] // Буфер массива размещается в куче
   

5. Объекты Foundation (NSObject, NSString и др.)
   Большинство классов из Foundation (NSArray, NSDictionary, NSString) также размещаются в куче, так как они являются наследниками NSObject.

Управление памятью в куче

Для работы с кучей в iOS-разработке используется Automatic Reference Counting (ARC). ARC автоматически подсчитывает ссылки на объекты в куче и освобождает память, когда счётчик достигает нуля. Однако важно избегать циклов сильных ссылок (strong reference cycles), используя ключевые слова weak или unowned.

class Parent {
    var child: Child?
}

class Child {
    weak var parent: Parent? // weak предотвращает цикл ссылок
}

Ключевые отличия от стека

• Время жизни: данные в куче живут, пока на них есть активные ссылки, тогда как стек очищается при выходе из области видимости.
• Производительность: выделение памяти в куче медленнее из-за необходимости поиска подходящего блока и синхронизации в многопоточной среде.
• Управление: куча требует явного управления (через ARC), в то время как стек управляется автоматически через указатель стека.

Резюме

Куча в iOS — это динамическая область памяти для объектов, время жизни которых не привязано к стеку вызовов. Сюда попадают экземпляры классов, замыкания с захватом контекста, буферы коллекций и объекты Foundation. Понимание работы кучи критично для оптимизации производительности и предотвращения утечек памяти в приложениях под iOS и macOS.