В каких случаях структура находится не на стеке?

Место размещения структур в Swift

В Swift по умолчанию структуры (struct) размещаются в стеке (stack), что является одним из ключевых различий между struct и class (экземпляры классов размещаются в куче (heap)). Однако существует несколько важных исключений, когда структура фактически не находится на стеке. Эти случаи связаны с особенностями управления памятью и оптимизациями компилятора Swift.

1. Структура является частью класса

Когда структура является свойством класса, она размещается в памяти вместе с экземпляром этого класса — то есть в куче.

class MyClass {
    var myStruct: MyStruct // Размещается в куче, так как часть экземпляра класса
}

struct MyStruct {
    var value: Int
}

let object = MyClass()
// myStruct внутри object находится в куче

2. Структура захвачена замыканием и переходит в кучу

Если структура захватывается замыканием, которое затем escaping, то она может быть перемещена в кучу для обеспечения её существования после завершения функции.

struct DataStruct {
    var data: [Int]
}

func createEscapingClosure() -> () -> Void {
    let myStruct = DataStruct(data: [1, 2, 3]) // Изначально может быть на стеке
    
    return {
        // myStruct захватывается escaping-замыканием
        print(myStruct.data)
        // Для сохранения жизни myStruct за пределами функции,
        // Swift может разместить её в куче (в зависимости от оптимизации)
    }
}

3. Структура содержит ссылочные типы или является большой

Если структура содержит свойства, которые сами являются ссылочными типами (например, экземпляры классов), или если она очень большая, компилятор Swift может принять решение о размещении её в куче для оптимизации производительности или управления памятью. Это не строго гарантировано, но возможно в реализации компилятора.

struct LargeStruct {
    var array: [Int] // Массив — это структура, но внутренне хранит данные в куче
    var object: MyClass // Ссылочный тип
}
// Хотя LargeStruct — структура, её содержимое активно использует кучу.

4. Структура возвращается или передаётся как универсальный результат

При использовании некоторых generic контекстов или оптимизации компилятор может использовать indirect storage для структур, что фактически означает размещение данных в куче. Например, в enum с ассоциированными значениями-структурами, когда используется indirect.

enum IndirectEnum {
    indirect case data(MyStruct) // Ассоциированная структура размещается в куче
}

5. Структура является частью массива или другого коллекционного типа

Массивы (Array) в Swift — это структуры, но они хранят свои элементы в куче (особенно для больших или изменяемых массивов). Таким образом, структура, являющаяся элементом массива, будет фактически находиться в куче.

struct Item {
    var id: Int
}

let array = [Item(id: 1), Item(id: 2)] // Элементы Item хранятся в куче памяти массива

6. Использование withUnsafeMutableBytes и прямого управления памятью

При работе с низкоуровневыми API, например, withUnsafeMutableBytes, структура может временно или явно размещаться в специальных областях памяти (не обязательно на стеке), особенно если речь идет о взаимодействии с C API или буферами.

struct Buffer {
    var bytes: [UInt8]
}

var buffer = Buffer(bytes: [0, 1, 2])
buffer.withUnsafeMutableBytes { rawPointer in
    // В этом контексте память может управляться особо, не гарантируя размещение на стеке
}

Почему важно понимать эти случаи?

Знание этих исключений помогает:

• Оптимизировать производительность: размещение в куче может приводить к накладным расходам на выделение памяти и счетчикам ссылок.
• Предотвращать неожиданное поведение: например, при работе с escaping-замыканиями или большими структурами.
• Правильно выбирать между struct и class: если структура де-факто часто оказывается в куче из-за её использования, возможно, стоит рассмотреть использование класса.

В Swift компилятор активно применяет оптимизации, такие как Copy-On-Write (COW) для некоторых структур (например, Array, String, Dictionary), что также влияет на фактическое размещение данных. Поэтому хотя структуры концептуально считаются «стековыми» типами, в реальных сценариях их данные могут находиться в куче из-за требований к времени жизни, производительности или семантике языка.