Где хранится Unowned ссылка?

Место хранения Unowned-ссылки в Swift

Unowned-ссылка в Swift хранится в памяти стека (stack memory) как обычный указатель, но с критической семантической особенностью: компилятор не управляет её временем жизни и не обнуляет её автоматически при освобождении объекта, на который она ссылается.

Ключевые отличия от Strong и Weak ссылок

Чтобы понять место хранения, сравним все типы ссылок:

1. Strong (сильная) ссылка

class Person {
    let name: String
    init(name: String) { self.name = name }
}

// strongReference хранится в стеке, но содержит указатель на объект в куче
// ARC увеличивает счетчик ссылок
let strongReference = Person(name: "Иван")

2. Weak (слабая) ссылка

weak var weakReference: Person? // Хранится в стеке как Optional-обертка

• Хранится в стеке как специальная структура с двумя полями
• Компилятор автоматически обнуляет (nil) при освобождении объекта
• Всегда должна быть объявлена как var и Optional

3. Unowned (бесхозная) ссылка

class Customer {
    let name: String
    var card: CreditCard?
    
    init(name: String) {
        self.name = name
    }
}

class CreditCard {
    let number: String
    unowned let customer: Customer // Хранится в стеке как обычный указатель
    
    init(number: String, customer: Customer) {
        self.number = number
        self.customer = customer
    }
}

Техническая реализация хранения

На уровне реализации:

// Пример того, как это работает на псевдоуровне
struct UnownedReference<T: AnyObject> {
    private let pointer: UnsafeMutableRawPointer // Указатель хранится в стеке
    
    var value: T? {
        // При обращении происходит небезопасное разыменование
        return unsafeBitCast(pointer, to: T.self)
    }
}

Практические аспекты хранения

В стеке хранится:

• Сама переменная unowned
• Указатель на объект в куче
• Метаданные типа для проверок во время выполнения

В куче (heap) хранится:

• Объект, на который ссылается unowned
• Счетчик сильных ссылок (но не слабых/unowned!)

Критически важные особенности

1. Нет обнуления: В отличие от weak-ссылок, unowned не обнуляется автоматически
2. Zeroing-механизм отсутствует: Компилятор не добавляет код для проверки валидности
3. Разыменование без проверок: Обращение к невалидной unowned-ссылке вызывает краш
4. Производительность: Меньше накладных расходов, чем у weak-ссылок

Пример демонстрации места хранения

class Department {
    unowned var manager: Employee
    init(manager: Employee) {
        self.manager = manager
    }
}

class Employee {
    var department: Department?
}

func demonstrateStorage() {
    // employee создается в куче
    let employee = Employee()
    
    // department создается в куче
    // unowned ссылка manager хранится ВНУТРИ объекта department в его стековом фрейме
    let department = Department(manager: employee)
    
    employee.department = department
    
    // При выходе из функции:
    // - Локальные переменные employee и department удаляются из стека
    // - Объекты в куче освобождаются ARC
    // - Unowned-ссылка перестает существовать вместе с объектом Department
}

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

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

• Жизненный цикл ссылающегося объекта короче или равен жизненному циклу целевого объекта
• Вы уверены, что целевой объект не будет освобожден раньше
• Нужна максимальная производительность (избегаем накладных расходов Optional)

Типичные сценарии:

• Иерархии "родитель-ребенок", где родитель владеет детьми
• Делегаты с гарантированно существующими объектами
• Замыкания, захватывающие self, когда self гарантированно существует

Риски и предостережения

// ОПАСНЫЙ ПРИМЕР - приводит к крашу
var globalUnowned: Unmanaged<SomeClass>?

func dangerousExample() {
    let object = SomeClass()
    globalUnowned = Unmanaged.passUnretained(object)
    // object освобождается здесь, но globalUnowned продолжает хранить невалидный указатель
}

// При обращении к globalUnowned произойдет краш

Вывод

Unowned-ссылка физически хранится в стеке как простой указатель, но логически представляет собой отношение зависимости между объектами в куче. Её главная особенность — отсутствие механизма безопасного обнуления, что требует от разработчика гарантий валидности времени жизни ссылаемого объекта. Это инструмент для оптимизации производительности в строго контролируемых сценариях, где жизненные циклы объектов четко определены и предсказуемы.