Всегда ли структуры при копировании создают новый объект?

Всегда ли структуры при копировании создают новый объект?

Нет, не всегда, и это важный нюанс, связанный с оптимизациями компилятора Swift. Swift использует модель семантики значений (value semantics) для структур, но реализует её через механизм copy-on-write (CoW) для типов, содержащих ссылочные данные, и применяет дополнительные оптимизации, такие как inout-оптимизация и удаление лишних копий.

Основные случаи поведения

1. Прямое копирование (без оптимизаций)

В "наивном" сценарии, при присваивании структуры другой переменной или передаче в функцию, создаётся логически новый экземпляр:

struct Point {
    var x: Int
    var y: Int
}

var p1 = Point(x: 10, y: 20)
var p2 = p1 // На этом этапе создаётся копия p1

p2.x = 30
print(p1.x) // 10 (значение не изменилось, это разные экземпляры)

Здесь p2 становится независимой копией p1.

2. Оптимизации компилятора

Swift-компилятор (особенно в режиме -O) применяет агрессивные оптимизации для устранения избыточных копий:

• Inout-оптимизация: при передаче структуры inout в функцию может не создаваться временная копия:

func increment(_ point: inout Point) {
    point.x += 1
}
var point = Point(x: 5, y: 5)
increment(&point) // Может работать напрямую с памятью point

• Оптимизация хранения: для локальных временных структур компилятор может переиспользовать память.

3. Copy-on-Write (CoW) для структур с ссылочными данными

Для структур, содержащих ссылочные типы (например, Array, String, Dictionary или кастомные типы с CoW), физическое копирование буфера данных откладывается до момента модификации:

import Foundation

struct Container {
    var data: NSMutableData // Ссылочный тип
}

var c1 = Container(data: NSMutableData())
var c2 = c1 // Обе структуры ссылаются на один NSMutableData объект

// При модификации нужно создать копию:
c2.data = NSMutableData(data: c1.data as Data) // Теперь данные разделены

Для стандартных типов Swift (Array, String и др.) CoW реализован на уровне стандартной библиотеки.

4. Специальный случай: глобальные и статические структуры

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

Практическое значение

1. Производительность: Благодаря CoW и оптимизациям компилятора, структуры могут быть эффективнее, чем кажется. Например:

   let array1 = [1, 2, 3, 4, 5] // Выделяется буфер в куче
   let array2 = array1 // Нет копирования буфера, увеличивается счётчик ссылок
   
   var array3 = array1
   array3.append(6) // Только здесь создаётся новая копия буфера
   

2. Семантика против реализации:

   • Семантически структуры всегда копируются (инкапсуляция состояния)
   • Фактически компилятор минимизирует накладные расходы

3. Ручная реализация CoW: Если ваша структура содержит большой объём данных, реализуйте CoW явно:

   struct LargeDataWrapper {
       private var _storage: Box<ExpensiveData>
       
       var data: ExpensiveData {
           get { _storage.value }
           set {
               if !isKnownUniquelyReferenced(&_storage) {
                   _storage = Box(newValue)
               } else {
                   _storage.value = newValue
               }
           }
       }
       
       private class Box<T> {
           var value: T
           init(_ value: T) { self.value = value }
       }
   }
   

Итог

• Семантика значений гарантирована: Изменения одной переменной никогда не затронут другую (если только вы явно не используете ссылочные типы внутри структуры).
• Физическое копирование происходит не всегда: Компилятор Swift и механизм CoW откладывают или полностью устраняют копирование, когда это безопасно для семантики.
• Ключевое правило: Структуры ведут себя как если бы они всегда копировались, но реальная реализация значительно оптимизирована.

Понимание этих деталей помогает писать эффективный код, не жертвуя безопасностью и предсказуемостью value-типов.