Для каких типов данных применим ARC?

Область применения ARC (Automatic Reference Counting)

ARC (Automatic Reference Counting) — это механизм автоматического подсчета ссылок, встроенный в компилятор Swift и Objective-C (через Clang), который автоматически управляет памятью для экземпляров классов (reference types). ARC отслеживает, сколько "сильных" ссылок существует на каждый экземпляр, и когда счетчик достигает нуля, память немедленно освобождается.

Типы данных, поддерживаемые ARC

1. Экземпляры классов (Reference Types)

• Классы (class) — основной тип данных, для которого применяется ARC. Каждый экземпляр класса хранится в куче (heap), и ARC управляет его временем жизни.
• Пример в Swift:

  class Person {
      let name: String
      init(name: String) {
          self.name = name
      }
      deinit {
          print("\(name) удален из памяти")
      }
  }
  
  var person1: Person? = Person(name: "Анна") // Счетчик ссылок = 1
  var person2 = person1 // Счетчик ссылок = 2 (сильная ссылка)
  person1 = nil // Счетчик ссылок = 1
  person2 = nil // Счетчик ссылок = 0 -> вызов deinit
  

2. Замыкания (Closures) как ссылочные типы

• Замыкания в Swift также являются reference types и управляются ARC. Особенно важно отслеживать циклы сильных ссылок при захвате self или других объектов.
• Пример:

  class DataLoader {
      var onComplete: (() -> Void)?
      func loadData() {
          // Замыкание захватывает self, создавая сильную ссылку
          onComplete = { 
              print("Данные загружены для \(self)")
          }
      }
      deinit { print("DataLoader освобожден") }
  }
  
  var loader: DataLoader? = DataLoader()
  loader?.loadData()
  loader = nil // Деинициализатор НЕ вызовется из-за цикла сильных ссылок!
  

• Для избежания циклов используются weak или unowned захваты:

  onComplete = { [weak self] in
      guard let self = self else { return }
      print("Данные загружены для \(self)")
  }
  

Типы данных, НЕ управляемые ARC

1. Структуры (struct) и перечисления (enum) — Value Types

• Эти типы хранятся в стеке (stack) и копируются при присваивании. ARC не отслеживает их, так как они не имеют ссылочной семантики.
• Пример:

  struct Point {
      var x, y: Int
  }
  var p1 = Point(x: 10, y: 20)
  var p2 = p1 // Создается независимая копия
  p1.x = 30   // p2.x остается 10
  

2. Простые типы (Int, Double, Bool, String и др.)

• Также являются value types и не требуют управления ARC.

3. Указатели (UnsafePointer, UnsafeMutablePointer)

• Ручное управление памятью через Unmanaged типы не контролируется ARC. Разработчик самостоятельно отвечает за выделение и освобождение.

Ключевые принципы работы ARC

• Сильные (strong) ссылки: Увеличивают счетчик ссылок на +1. Это стандартный тип ссылок.
• Слабые (weak) ссылки: Не увеличивают счетчик, автоматически становятся nil при освобождении объекта.
• Бессобственные (unowned) ссылки: Аналогичны weak, но не опциональны и не обнуляются. Используются, когда объект гарантированно существует дольше.

Пример использования weak и unowned:

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

class CreditCard {
    let number: String
    unowned let customer: Customer // CreditCard не может существовать без Customer
    init(number: String, customer: Customer) {
        self.number = number
        self.customer = customer
    }
}

Важные исключения и особенности

• Objective-C в Swift проектах: ARC управляет объектами NSObject и другими классами из Objective-C.
• Мосты (bridging) с Core Foundation: Для Core Foundation типов (CFArray, CFString) используется CF_RETURNS_RETAINED или ручное управление через CFRetain()/CFRelease().
• Циклы сильных ссылок: Основная проблема ARC — взаимные сильные ссылки между объектами, приводящие к утечкам памяти. Обнаруживаются через Инструменты профилирования (Instruments Leaks).

Итог: ARC применяется исключительно для ссылочных типов — классов и замыканий в Swift/Objective-C. Это фундаментальное отличие от value types, которое определяет стратегию управления памятью в iOS/macOS разработке. Для эффективного использования ARC необходимо четко понимать различия между reference и value types, а также правильно применять weak/unowned ссылки для предотвращения циклов.