> Примеры случаев хранения значений на куче и как устроено выделение памяти для массивов (iOS, Swift)

Короткий ответ

В Swift значения хранятся на куче при использовании ссылочных типов (class, closure), при копировании строк/массивов с оптимизацией copy-on-write, а также при обёртке в Any или Box. Массивы выделяют память на куче как непрерывный буфер, а сам Array - это структура, хранящая ссылку на этот буфер. При превышении capacity массив перераспределяет память с ростом в геометрической прогрессии (обычно ×2).

Подробное объяснение

Куча (heap) используется для динамического выделения памяти, когда время жизни объекта не известно на этапе компиляции. В Swift основные случаи:

• class - всегда на куче, так как это ссылочный тип с подсчётом ссылок (ARC).
• closure - захватывает контекст, хранится на куче как объект.
• String, Array, Dictionary, Set - структуры, но их буферы хранятся на куче. При этом используется copy-on-write: при присваивании копируется только ссылка, а реальное копирование происходит при мутации.
• Any / AnyObject - упаковка значения в экзистенциальный контейнер может требовать выделения на куче.
• indirect enum - для рекурсивных структур.

Выделение памяти для массива:

1. Array - это структура с полями: ссылка на буфер (_Buffer), count, capacity.
2. Буфер - это область памяти на куче, содержащая элементы подряд (contiguous memory).
3. При создании массива с элементами выделяется буфер с capacity, равным количеству элементов (или больше).
4. При добавлении элементов сверх capacity происходит:
   • выделение нового буфера большего размера (обычно ×2 от текущего),
   • копирование существующих элементов,
   • освобождение старого буфера (если нет других ссылок).
5. Для типов-значений элементы хранятся inline в буфере; для ссылочных - указатели на объекты.

На практике

В мобильной разработке важно понимать, что:

• Массивы с value-типами (Int, Struct) хранят данные прямо в буфере - это кеш-дружественно.
• Массивы с reference-типами хранят указатели - сами объекты лежат отдельно.
• Copy-on-write позволяет передавать массивы в функции без копирования, но при мутации внутри функции произойдёт копирование, если массив используется в нескольких местах.
• Частые вставки в начало массива - O(n), лучше использовать другие структуры (например, Deque).
• reserveCapacity(_:) позволяет заранее выделить память и избежать множественных перераспределений.
• При работе с большими массивами в UI-потоке перераспределение может вызвать задержку - стоит делать это заранее или в фоне.

Пример кода

SWIFT
final class Box<T> {
    let value: T
    init(_ value: T) { self.value = value }
}

var array = [1, 2, 3]          // буфер на куче, capacity = 3
array.append(4)                // перераспределение: новый буфер capacity = 6

var copy = array               // copy-on-write: ссылка на тот же буфер
copy.append(5)                 // теперь copy получает новый буфер, array не меняется

// Пример с reserveCapacity
var largeArray: [Int] = []
largeArray.reserveCapacity(1000) // сразу выделяем память под 1000 элементов
for i in 0..<1000 {
    largeArray.append(i)         // без перераспределений
}

// Класс всегда на куче
let box = Box(42)                // box - ссылка, объект на куче

Как отвечать на собеседовании

Начни с чёткого разделения: стек - для структур и локальных переменных, куча - для ссылочных типов и динамических буферов. Затем перечисли конкретные случаи в Swift. Для массивов обязательно упомяни copy-on-write и геометрический рост capacity. Если спросят про производительность - говори о cache locality, стоимости перераспределения и способах её избежать. Хорошо показать понимание разницы между Array и ContiguousArray, а также упомянуть, что Array может использовать bridging с Objective-C.

Что проверяет интервьюер

• Понимание разницы между стеком и кучей в контексте Swift.
• Знание copy-on-write и его влияния на производительность.
• Понимание внутреннего устройства Array: буфер, capacity, count.
• Умение объяснить, когда происходят аллокации на куче.
• Способность рассуждать о trade-off между производительностью и удобством.

Типичные ошибки

• Утверждение, что String или Array всегда хранятся на куче целиком - на самом деле структура лежит на стеке, а буфер на куче.
• Игнорирование copy-on-write: кандидат говорит, что при присваивании массива всегда происходит копирование.
• Непонимание, что классы всегда на куче, даже если маленькие.
• Путаница между capacity и count.
• Забывают, что замыкания - тоже ссылочные типы и хранятся на куче.
• Говорят, что reserveCapacity ускоряет доступ к элементам - на самом деле он только избегает перераспределений.