Что хранит переменная Value type?

Хранение переменных Value Type в Swift

Для переменной, которая хранит значение типа (Value Type), в памяти непосредственно содержится само значение данного типа. Это фундаментальное отличие от Reference Type, где переменная хранит ссылку (адрес памяти) на объект.

Место хранения в памяти

Значение может храниться в одном из двух основных мест:

• В стеке (Stack): Это наиболее частый случай для локальных переменных и параметров функций. Стек — это область памяти с быстрым (LIFO) доступом, управляемая автоматически. Когда функция завершает работу, её стековый фрейм (включая все локальные value-типы) уничтожается.
• В куче (Heap): Value-типы могут попасть в кучу, если они становятся частью Reference Type. Например, свойство Int внутри экземпляра класса MyClass будет храниться в куче вместе с этим экземпляром. Куча — это область памяти с динамическим распределением, управляемая через ARC (Automatic Reference Counting).

Ключевой принцип: переменная типа struct, enum или кортежа (tuple) содержит непосредственно данные, а не ссылку.

Практический пример и доказательство

Рассмотрим пример с использованием struct:

// Определяем простой Value Type
struct Point {
    var x: Int
    var y: Int
}

// Создаем переменную и присваиваем значение
var pointA = Point(x: 10, y: 20)
// Переменная pointA теперь содержит ВПРЯМУЮ два целых числа: 10 и 20.

// Демонстрация независимости копий (copy-on-assignment)
var pointB = pointA // Здесь происходит КОПИЯ значений из pointA в pointB.
pointB.x = 30

print("pointA: (\(pointA.x), \(pointA.y))") // Вывод: pointA: (10, 20)
print("pointB: (\(pointB.x), \(pointB.y))") // Вывод: pointB: (30, 20)
// Изменение pointB не повлияло на pointA, потому что это два независимых значения.

Как это выглядит в памяти

Представим схематично состояние стека после создания pointA:

Стек (Stack Frame для текущей функции):
| адрес | содержимое (значение)  |
|-------|------------------------|
| ...   | ...                    |
| pointA.x | 10                 |
| pointA.y | 20                 |

После присваивания pointB = pointA создается еще одна независимая область:

| pointB.x | 10 (копия из pointA.x) |
| pointB.y | 20 (копия из pointA.y) |

Важные особенности

• Копирование при присваивании: При передаче value-типа в другую переменную, параметр функции или при возврате из функции происходит копирование его данных. Однако Swift использует оптимизации (например, copy-on-write для коллекций), чтобы избежать ненужных копий до момента реального изменения.
• Идентичность: Два value-типа считаются одинаковыми только если их содержимое (все свойства) идентично. Сравнение обычно осуществляется через оператор == (для типов, conforming to Equatable).
• Размер переменной: Размер переменной в памяти равен размеру самого типа (сумма размеров всех его свойств). Например, Point в примере, вероятно, занимает 16 байт (2 свойства Int по 8 байт каждый).

Сравнение с Reference Type

Для наглядности противопоставления:

class ReferencePoint {
    var x: Int
    var y: Int
    init(x: Int, y: Int) { self.x = x; self.y = y }
}

var refA = ReferencePoint(x: 10, y: 20)
var refB = refA // Здесь копируется ССЫЛКА (адрес), данные не копируются.
refB.x = 30

print("refA: (\(refA.x), \(refA.y))") // Вывод: refA: (30, 20) !!!
// Изменилось и refA, потому что refA и refB ссылаются на один объект.

Таким образом, переменная Value Type является самостоятельным контейнером для данных. Её жизненный цикл, копирование и сравнение определяются исключительно содержимым этих данных, что делает такие типы предпочтительными для моделирования простых, независимых сущностей и способствует более безопасному и predictable управлению памятью.