> Какие типы данных относятся к стеку, а какие к куче (iOS, Swift)

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

В Swift стек и куча - это две области памяти. В стек попадают простые типы (value types): Int, Double, Bool, String, Array, Dictionary, Set, enum, struct. В кучу - ссылочные типы (reference types): class, замыкания (closure), а также String и Array при определённых условиях (например, при копировании с оптимизацией COW). Стек работает быстро, но ограничен по размеру, куча - медленнее, но позволяет динамическое выделение памяти.

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

Стек - это область памяти с дисциплиной LIFO (last in, first out). Каждый вызов функции создаёт фрейм, который автоматически освобождается при выходе. В стеке хранятся value types, потому что их размер известен на этапе компиляции. Куча - это динамическая область, где память выделяется и освобождается вручную (в Swift - через ARC). Reference types хранят в стеке только указатель на объект в куче, сам объект - в куче.

Важный нюанс: String, Array, Dictionary и Set - это структуры, но внутри они могут хранить данные в куче (например, буфер символов). При этом сам экземпляр структуры лежит в стеке, а его внутренний буфер - в куче. Это реализовано через copy-on-write (COW): при копировании структуры данные не дублируются, пока не произойдёт мутация.

Также стоит упомянуть, что замыкания - это reference types, поэтому они всегда в куче, даже если захватывают value types.

На практике

На iOS важно понимать разницу, потому что стек ограничен (обычно 1-2 МБ на поток), а куча - большая, но требует управления памятью. Частое создание объектов в куче приводит к фрагментации и нагрузке на ARC. Поэтому для мелких и часто создаваемых сущностей лучше использовать struct, а не class.

Также это влияет на производительность: доступ к данным в стеке быстрее, потому что нет разыменования указателя и нет риска промахов кэша. При работе с большими коллекциями стоит помнить про COW - копирование Array не создаёт новый буфер, пока не изменишь содержимое.

Пример кода

SWIFT
struct Point {
    var x: Int
    var y: Int
}

class Circle {
    var radius: Double
    init(radius: Double) {
        self.radius = radius
    }
}

var point = Point(x: 1, y: 2)      // стек
var circle = Circle(radius: 5.0)   // указатель в стеке, объект в куче

var array = [1, 2, 3]              // структура в стеке, буфер в куче
var copy = array                   // COW: буфер общий, пока не изменишь
copy.append(4)                     // теперь буфер скопирован

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

Начни с чёткого разделения: value types - стек, reference types - куча. Затем добавь нюансы: String и коллекции - структуры, но с кучей внутри. Упомяни COW и ARC. Если спросят про производительность - объясни, почему стек быстрее. Хорошо показать понимание ограничений стека (например, рекурсия может вызвать stack overflow). Не углубляйся в детали аллокаторов, если не просят.

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

Интервьюер проверяет базовое понимание модели памяти в Swift, знание разницы между value и reference types, а также осознание практических последствий - производительность, управление памятью, выбор между struct и class. Также оценивается умение объяснять сложные вещи простыми словами и знание специфики Swift (COW, ARC).

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

• Утверждение, что String - это всегда стек, без упоминания внутреннего буфера в куче.
• Путаница между указателем в стеке и объектом в куче для reference types.
• Игнорирование COW при объяснении копирования коллекций.
• Утверждение, что enum всегда в стеке - это верно, но стоит уточнить, что associated values могут содержать reference types.
• Забывают про замыкания как reference types.