Что такое Value types?

Что такое Value types (Типы-значения)?

Value types (типы-значения) — это фундаментальная категория типов данных в Swift, особенностью которых является копирование значения при присваивании или передаче в функцию, а не ссылки на общую область памяти. Каждый экземпляр типа-значения хранит свои собственные уникальные данные, и изменения одного экземпляра не затрагивают другие.

Ключевые характеристики типов-значений

• Копирование при присваивании (Copy-on-Assignment): При присвоении переменной типа-значения другой переменной или константе создается полная, независимая копия данных.
• Копирование при передаче (Copy-on-Pass): При передаче экземпляра в качестве аргумента функции (по умолчанию) также создается копия.
• Хранение в стеке (Stack Allocation): В большинстве случаев память для типов-значений выделяется в стеке, что обеспечивает высокую скорость выделения и освобождения памяти, но ограничивает время жизни областью видимости функции.
• Инкапсуляция состояния: Изменение состояния одного экземпляра абсолютно изолировано и не имеет побочных эффектов для других экземпляров.

Основные типы-значения в Swift

1. Все базовые типы:

    *   `Int`, `Double`, `Float`, `Bool`, `String`, `Character`

```swift
var a = 10
var b = a // Создается копия значения 10
a = 20
print(a) // 20
print(b) // 10 (b не изменилось)
```

2. Коллекции из стандартной библиотеки:

    *   `Array<T>`, `Dictionary<K, V>`, `Set<T>` — хотя они реализованы с использованием оптимизации **Copy-on-Write (CoW)**. Фактическое копирование большого массива происходит не в момент присваивания, а только при попытке изменения одной из переменных, что сохраняет эффективность.

```swift
var array1 = [1, 2, 3]
var array2 = array1 // На этом этапе обе переменные ссылаются на один буфер (CoW)
array2.append(4)    // Теперь происходит реальное копирование, и буферы разделяются
print(array1) // [1, 2, 3]
print(array2) // [1, 2, 3, 4]
```

3. Кортежи (Tuples): swift var point1 = (x: 0, y: 0) var point2 = point1 // Копирование point1.x = 5 print(point2.x) // 0

1. Перечисления (Enums): (за исключением случаев с ассоциированными значениями ссылочного типа).

   enum CompassDirection {
       case north, south, east, west
   }
   var direction1 = CompassDirection.north
   var direction2 = direction1 // Копирование значения .north
   direction1 = .east
   print(direction2) // .north
   

2. Структуры (Structs): Это ключевой и наиболее используемый тип-значение в Swift. Сама философия языка поощряет моделирование данных через структуры.

   struct Person {
       var name: String
       var age: Int
   }
   var john = Person(name: "John", age: 30)
   var alice = john // Создается полная копия структуры
   alice.name = "Alice"
   print(john.name)  // "John"
   print(alice.name) // "Alice"
   

Сравнение с Reference types (Типами-ссылками)

Почему Swift отдает предпочтение Value types?

1. Предсказуемость и простота: Поведение кода становится более предсказуемым. Функция, получающая параметр-значение, не может неожиданно изменить исходные данные.
2. Безопасность многопоточности: Отсутствие разделяемого мутабельного состояния по умолчанию упрощает написание корректного многопоточного кода.
3. Оптимизация производительности: Работа со стеком быстрее, чем выделение памяти в куче и управление через ARC. Оптимизация CoW для коллекций минимизирует накладные расходы.
4. Принцип наименьшей неожиданности: Семантика копирования интуитивно понятна для простых данных (как числа).

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

• Моделирование простых данных (точки, размеры, координаты, денежные суммы).
• Небольшие, изолированные сущности, логика которых не требует наследования (модели User, Product, настройки приложения).
• Состояния в архитектурах вроде Redux или TCA, где важно иметь неизменяемые снапшоты.
• Когда требуется высокая производительность и минимизация использования кучи.

Итог: Value types — это краеугольный камень философии Swift, обеспечивающий безопасность, производительность и ясность кода за счет семантики копирования. Понимание различий между типами-значениями и типами-ссылками критически важно для написания корректного, эффективного и поддерживаемого кода на Swift. Выбор между struct (значение) и class (ссылка) является одним из ключевых архитектурных решений при проектировании.