Где хранятся типы данных в Swift?

Типы данных в Swift хранятся в двух основных областях памяти: стеке и куче.

Стек

• Value types (значимые типы):
  • struct (структуры)
  • enum (перечисления)
  • Базовые типы, такие как Int, Double, Bool, String (короткие строки могут храниться прямо в стеке для оптимизации)
• Данные хранятся непосредственно в стеке в порядке выполнения функций.
• Выделение и освобождение памяти происходит автоматически и очень быстро (LIFO - Last In, First Out).

Куча

• Reference types (ссылочные типы):
  • class (классы)
  • Функции и замыкания (Closures)
  • Объекты (AnyObject)
• В куче хранятся сами объекты, а в стеке — только ссылки на них.
• Выделение и освобождение памяти в куче происходит динамически и управляется системой (Automatic Reference Counting - ARC).
• Доступ к данным в куче косвенный, через указатель.

Особенности

• При присвоении значимого типа происходит копирование всего значения.
• При присвоении ссылочного типа копируется только ссылка, оба объекта указывают на один и тот же участок памяти в куче.
• ARC отслеживает количество сильных ссылок на объекты в куче и автоматически освобождает память, когда ссылок не остаётся.

// Пример значимого типа - хранится в стеке
struct Point {
    var x: Int
    var y: Int
}

var p1 = Point(x: 10, y: 20)
var p2 = p1 // Копируется все значение

p2.x = 30 // p1 не меняется
print("p1: \(p1), p2: \(p2)") // Output: p1: Point(x: 10, y: 20), p2: Point(x: 30, y: 20)

// Пример ссылочного типа - хранится в куче
class Circle {
    var radius: Double

    init(radius: Double) {
        self.radius = radius
    }
}

var c1 = Circle(radius: 5.0)
var c2 = c1 // Копируется только ссылка

c2.radius = 10.0 // c1 тоже меняется, так как оба указывают на один и тот же объект в куче
print("c1.radius: \(c1.radius), c2.radius: \(c2.radius)") // Output: c1.radius: 10.0, c2.radius: 10.0