Для чего нужен счетчик ссылок для unowned?

Счетчик ссылок для unowned в Swift

В Swift механизмы управления памятью ARC (Automatic Reference Counting) основаны на счетчиках ссылок для каждого объекта. При использовании unowned ссылок счетчик ссылок также играет критически важную роль, хотя его поведение отличается от strong ссылок.

Как работает ARC с unowned ссылками

Для объекта создается два счетчика:

1. Strong Reference Count — количество сильных ссылок.
2. Unowned Reference Count — количество unowned ссылок.

Когда объявляется unowned ссылка:

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

class Apartment {
    let unit: String
    unowned let tenant: Person // unowned ссылка
    
    init(unit: String, tenant: Person) {
        self.unit = unit
        self.tenant = tenant
    }
}

var john: Person? = Person(name: "John Doe")
var apartment: Apartment? = Apartment(unit: "A101", tenant: john!)

ARC отслеживает unowned ссылки через Unowned Reference Count:

• При создании unowned ссылки увеличивается счетчик unowned.
• При удалении unowned ссылки счетчик уменьшается.

Почему нужен отдельный счетчик для unowned?

1. Определение момента деаллокации

   • Объект может быть деаллоцирован только когда оба счетчика равны нулю.
   • Если остаются unowned ссылки, объект не может быть удален, так как доступ через них приведет к катастрофическому сбою.

2. Избежание падения при доступе к деаллоцированному объекту

   • Unowned ссылки не увеличивают Strong Reference Count, поэтому объект может быть деаллоцирован при нулевых сильных ссылках.
   • Однако система должна гарантировать, что объект не удаляется, пока существуют unowned ссылки, чтобы предотвратить доступ к несуществующей памяти.

3. Механизм безопасного обращения

   • При попытке доступа через unowned ссылку к уже деаллоцированному объекту, Swift вызывает фатальную ошибку.
   • Отдельный счетчик позволяет ARC точно знать, когда объект можно безопасно удалить.

Пример работы счетчиков

// Strong Reference Count = 1, Unowned Reference Count = 0
var person: Person? = Person(name: "Alice")

// Strong Reference Count = 1, Unowned Reference Count = 1  
var apartment: Apartment? = Apartment(unit: "B202", tenant: person!)

// Strong Reference Count = 0, Unowned Reference Count = 1
person = nil

// Объект Person НЕ деаллоцируется, так как Unowned Reference Count > 0
// Доступ через apartment?.tenant все еще безопасен

// Strong Reference Count = 0, Unowned Reference Count = 0
apartment = nil

// Теперь объект Person может быть деаллоцирован

Отличие unowned от weak

В отличие от weak ссылок, которые становятся nil при деаллокации объекта, unowned предполагают, что объект будет существовать во время использования ссылки. Счетчик unowned обеспечивает эту гарантию на уровне ARC.

Ключевые выводы

• Unowned Reference Count предотвращает деаллокацию объекта при наличии unowned ссылок.
• ARC использует два счетчика для полного контроля над жизненным циклом объектов.
• Этот механизм обеспечивает баланс между производительностью (нет необходимости в опциональных проверках как у weak) и безопасностью (предотвращение случайной деаллокации).
• Использование unowned оправдано в сценариях, где зависимый объект гарантированно имеет меньший жизненный цикл, чем основной (например, родитель-ребенок).

Таким образом, счетчик ссылок для unowned — это фундаментальный компонент ARC, обеспечивающий безопасное использование невладеющих ссылок без риска преждевременной деаллокации объектов.