Есть ли отличия value тайпа от референса тайпа

Value type и reference type в Swift различаются тем, как они хранят и передают данные: value type копирует данные при присваивании, а reference type использует общую ссылку на один и тот же экземпляр. Это фундаментальное различие влияет на поведение кода, управление памятью и выбор типа для конкретной задачи.

Как это работает

При присваивании value type создается новая независимая копия данных. Изменение одной копии не влияет на другие. Reference type, наоборот, не копирует данные — присваивание создает новую ссылку на тот же объект. Изменения через любую ссылку видны всем, кто держит ссылку на этот объект.

Value type в Swift — это struct, enum, tuple, а также стандартные коллекции, такие как Dictionary, Array, Set. Reference type — это class, closure, function и actor. В Objective-C классы, наследующие от NSObject, являются ссылочными, а NSInteger — value type.

Пример

struct Point: CustomStringConvertible {
    var x: Int
    var y: Int
    var description: String { "(\(x), \(y))" }
}

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

var pointA = Point(x: 1, y: 2)
var pointB = pointA
pointB.x = 10
print(pointA) // (1, 2) — копия не изменилась

let circleA = Circle(radius: 5)
let circleB = circleA
circleB.radius = 10
print(circleA.radius) // 10 — обе ссылки указывают на один объект

Подводные камни

• Неизменяемость: value type часто называют неизменяемым, но это не совсем точно. Свойства struct можно изменять, если объявить переменную через var. Неизменяемость относится к семантике копирования: каждая копия независима.
• Производительность: копирование больших структур может быть затратным, но Swift использует оптимизацию copy-on-write для коллекций, поэтому реальное копирование происходит только при изменении.
• Ссылочные циклы: у reference type возможны циклы сильных ссылок, приводящие к утечкам памяти. Для их предотвращения используют weak и unowned.
• Потокобезопасность: value type безопаснее использовать в конкурентной среде, так как каждая копия изолирована. Reference type требует синхронизации доступа.

Когда использовать

• Value type — для простых данных, которые должны быть независимыми: координаты, настройки, модели данных. Они предпочтительны по умолчанию в Swift, так как дают предсказуемое поведение и безопасность.
• Reference type — когда нужна общая изменяемая сущность: например, объект, который должен быть один на всю программу, или при работе с наследованием и динамической диспетчеризацией.

Коротко

• Value type копирует данные при присваивании, reference type — передает ссылку.
• В Swift value type: struct, enum, tuple, Dictionary, Array, Set; reference type: class, closure, function, actor.
• Value type безопаснее для конкурентности, reference type требует контроля ссылочных циклов.
• По умолчанию в Swift предпочитают value type, используя reference type только при необходимости.