Как unowned влияет на жизненный цикл объекта?

Влияние unowned на жизненный цикл объекта

unowned — это модификатор захвата в Swift, используемый для объявления бесхозной (unowned) ссылки в замыканиях или между экземплярами классов. Его влияние на жизненный цикл объекта фундаментально и связано с управлением памятью в ARC (Automatic Reference Counting).

Основной принцип работы

В отличие от weak, unowned не делает ссылку опциональной и не обнуляется автоматически при освобождении объекта. Вместо этого unowned предполагает, что захваченный объект будет существовать на протяжении всего времени жизни ссылки. Если объект освобождается, обращение к unowned-ссылке приведёт к аварийному завершению (runtime crash).

class Customer {
    let name: String
    var card: CreditCard?
    init(name: String) {
        self.name = name
    }
    deinit { print("\(name) освобождён") }
}

class CreditCard {
    let number: UInt64
    unowned let customer: Customer // unowned ссылка
    init(number: UInt64, customer: Customer) {
        self.number = number
        self.customer = customer
    }
    deinit { print("Карта #\(number) освобождена") }
}

var john: Customer? = Customer(name: "John")
john!.card = CreditCard(number: 1234_5678_9012_3456, customer: john!)
john = nil // Оба объекта освобождаются корректно
// Вывод:
// John освобождён
// Карта #1234567890123456 освобождена

Ключевые аспекты влияния на жизненный цикл

1. Отсутствие увеличения счётчика ссылок
   Как и weak, unowned не увеличивает strong reference count захватываемого объекта. Это предотвращает циклы сильных ссылок (retain cycles), позволяя ARC освобождать память.

2. Гарантия существования объекта
   unowned используется, когда время жизни захватываемого объекта равно или длиннее времени жизни ссылающегося объекта. Например, дочерний объект может хранить unowned ссылку на родительский, который точно переживёт его.

3. Опасность обращения к освобождённой памяти
   Если предположение о времени жизни нарушено, обращение к unowned ссылке приводит к неопределённому поведению (в лучшем случае — краш). Это делает unowned потенциально опасным, но более производительным, чем weak, так как не требует проверки на nil.

class Department {
    unowned var manager: Employee // Опасность: manager может быть освобождён раньше
}

class Employee {
    var department: Department?
}

var employee: Employee? = Employee()
var department: Department? = Department()
department!.manager = employee!
employee = nil
// department!.manager // CRASH: обращение к освобождённому объекту

Сравнение с weak

Практические рекомендации

• Используйте unowned, когда точно уверены, что объект не будет освобождён раньше ссылки. Типичный случай: захват self в замыкании, которое не переживёт экземпляр (например, анимация в UIView).
• Используйте weak в сценариях, где время жизни объекта неизвестно или может быть короче (например, делегаты).
• В Swift 5.0+ для замыканий появился [unowned self] с синтаксисом [unowned self] in, но также доступна явная форма self?.method() с weak.

class DataProcessor {
    var completion: (() -> Void)?
    
    func processData() {
        // unowned уместен, если замыкание не сохраняется
        someAsyncOperation { [unowned self] in
            self.handleCompletion() // self гарантированно существует
        }
    }
    
    func riskyProcess() {
        // weak безопаснее, если замыкание может пережить объект
        anotherAsyncOperation { [weak self] in
            self?.handleCompletion() // безопасное обнуление
        }
    }
    
    private func handleCompletion() { /* ... */ }
}

Вывод

unowned не продлевает жизненный цикл объекта, но и не обеспечивает безопасность при его освобождении. Он действует как декларация архитектурного предположения о времени жизни, позволяя избегать циклов ссылок без накладных расходов weak. Однако ошибка в этом предположении ведёт к немедленному крашу, поэтому его применение требует тщательного анализа жизненных циклов объектов. В сомнительных случаях всегда предпочтительнее использовать weak.