Может ли один объект с Strong ссылкой создать утечку памяти?

Да, объект с strong ссылкой может создать утечку памяти

Даже при использовании strong ссылок, которые являются стандартным механизмом владения в ARC (Automatic Reference Counting), возможно возникновение циклических ссылок (retain cycles), приводящих к утечкам памяти. ARC автоматически управляет памятью, но он работает только с линейными графами владения. Когда объекты образуют циклическую зависимость, ARC не может корректно освободить память.

Механизм циклической ссылки

Рассмотрим классический пример с двумя объектами, имеющими взаимные strong ссылки:

class Person {
    let name: String
    var apartment: Apartment?
    
    init(name: String) {
        self.name = name
    }
}

class Apartment {
    let unit: String
    var tenant: Person?
    
    init(unit: String) {
        self.unit = unit
    }
}

// Создание циклической ссылки
var john: Person? = Person(name: "John")
var unit4A: Apartment? = Apartment(unit: "4A")

john!.apartment = unit4A
unit4A!.tenant = john

// Попытка освободить объекты
john = nil
unit4A = nil

После выполнения этого кода объекты не будут освобождены, потому что каждый из них держит strong ссылку на другой. ARC видит, что счетчики ссылок для обоих объектов равны 1, поэтому не вызывает деинициализацию.

Типичные сценарии утечек с strong ссылками

• Два объекта с взаимными ссылками – как в примере выше
• Замыкания (closures), захватывающие self с сильной ссылкой:

class NetworkManager {
    var completionHandler: (() -> Void)?
    
    func fetchData() {
        // Замыкание создает strong ссылку на self
        completionHandler = {
            // self захвачен по strong ссылке
            print("Data fetched by \(self)")
        }
    }
}

Если completionHandler хранится как свойство класса, а класс хранит замыкание, возникает циклическая ссылка.

• Сильные ссылки в делегатах, если не используется weak или unowned
• Иерархии объектов с обратными ссылками (ребенок ссылается на родителя strong ссылкой)

Решения для предотвращения утечек

Для предотвращения циклических ссылок используются:

1. weak ссылки – для случаев, когда объект может стать nil

class Apartment {
    weak var tenant: Person? // tenant теперь weak ссылка
}

1. unowned ссылки – когда объект никогда не станет nil, но не должен увеличивать счетчик ссылок

class Customer {
    unowned let creditCard: CreditCard // creditCard никогда nil
}

1. Особенности с замыканиями – использование capture lists для weak/unowned self:

completionHandler = { [weak self] in
    guard let self = self else { return }
    print("Data fetched by \(self)")
}

Принципы управления памятью в iOS

• ARC работает только когда граф владения не содержит циклов
• Strong ссылки должны образовывать направленное дерево или граф без циклов
• Любой цикл с strong ссылками требует преобразования хотя бы одной ссылки в weak/unowned
• Анализ утечек памяти можно проводить с помощью Instruments (Leaks инструмент), Xcode Memory Graph Debugger или третьих сторон инструментов

Итог

Таким образом, хотя strong ссылки являются основным механизмом ARC для управления памятью, их некорректное использование в циклических структурах прямо приводит к утечкам. Разработчик должен всегда анализировать архитектуру связей между объектами и применять weak/unowned ссылки там, где возможны циклы. Особое внимание следует уделять замыканиям, делегатам и взаимным ссылкам между объектами.