Чем отличаются value type и reference type в Swift?

Отличия value type (типов значений) и reference type (ссылочных типов) в Swift

В Swift фундаментальное разделение типов данных на value type и reference type определяет не только хранение и передачу данных, но и философию проектирования приложений. Основные отличия заключаются в механизмах копирования, хранения в памяти и поведении при изменениях.

Механизм копирования

Value type создают независимую копию при каждом присваивании или передаче в функцию:

struct PersonValue {
    var name: String
}

var person1 = PersonValue(name: "Анна")
var person2 = person1 // Создается полная копия
person2.name = "Борис"

print(person1.name) // "Анна" - оригинал не изменился
print(person2.name) // "Борис" - изменилась только копия

Reference type передаются по ссылке на один и тот же экземпляр в памяти:

class PersonReference {
    var name: String
    
    init(name: String) {
        self.name = name
    }
}

let person1 = PersonReference(name: "Анна")
let person2 = person1 // Копируется только ссылка
person2.name = "Борис"

print(person1.name) // "Борис" - изменился оригинальный объект
print(person2.name) // "Борис" - обе переменные указывают на один объект

Хранение в памяти

Value type хранятся в стеке (stack), что обеспечивает:

• Быстрое выделение и освобождение памяти
• Автоматическое управление памятью при выходе из области видимости
• Прямой доступ к данным

Reference type хранятся в куче (heap), а в стеке находится только указатель:

• Более сложное управление памятью через подсчет ссылок (ARC)
• Возможность циклических ссылок, требующих weak/unowned
• Дополнительные накладные расходы на выделение и доступ

Семантика изменений

Это ключевое практическое отличие. Value type используют copy-on-write (копирование при записи) для оптимизации:

// Swift оптимизирует копирование структур и массивов
var array1 = [1, "two", 3.0]
var array2 = array1 // Пока не копируется физически
array2.append(4)    // Только здесь создается реальная копия

Reference type изменяются инкрементально - изменения видны всем держателям ссылки.

Примеры типов

Value type в Swift:

• Все структуры (struct) - Int, String, Array, Dictionary, Set
• Перечисления (enum) (без ассоциированных значений reference типа)
• Кортежи (tuple)

Reference type в Swift:

• Классы (class)
• Функции и замыкания (closures)
• Ссылочные типы из Objective-C (NSObject и его наследники)

Выбор между value и reference типами

Используйте value type когда:

• Нужна независимость копий данных
• Работаете с простыми структурами данных
• Хотите избежать неявного общего состояния
• Требуется потокобезопасность (каждый поток работает со своей копией)

Используйте reference type когда:

• Необходимо разделяемое, изменяемое состояние
• Создаете объекты с идентичностью (например, пользователь, документ)
• Нужно наследование и полиморфизм
• Интегрируетесь с Objective-C или системами, требующими ссылочной семантики

Особенности Swift

Swift продвигает приоритетное использование value type:

1. Безопасность: исключаются неожиданные изменения через другие ссылки
2. Производительность: меньше накладных расходов для небольших объектов
3. Предсказуемость: поведение соответствует ожиданиям от присваивания
4. Потокобезопасность: проще работать в многопоточных средах

Однако важно понимать гибридные случаи:

struct Container {
    var items: [String] // Массив - value type
    var delegate: DelegateClass? // Класс - reference type
}
// Структура копируется целиком, но массив использует copy-on-write,
// а делегат остается той же ссылкой

Практическое правило

В современном Swift-разработке принято начинать со структур (value type) и переходить к классам (reference type) только при явной необходимости разделяемого состояния или наследования. Такой подход снижает количество ошибок, связанных с неожиданными изменениями состояния, и упрощает рассуждения о коде.