🦅
Swift: ссылочные типы и циклы сохранения, weak и unownedОтвет на один из 10 технических вопросов недавнего собеседования по Swift и Objective C был очевиден, но нуждался в точном объяснении.
Вот этот вопрос:
«Какие ссылки на объект применяются в Swift для предотвращения цикла сохранения:
a) сильные;
б) слабые;
в) бесхозные?»
Оптимальный ответ:
б) слабые.
Но почему?
Циклы сохраненияЕсли вкратце, для управления памятью в Swift используется автоматический подсчет ссылок.
Когда объект инстанцируется, в памяти сохраняется дополнительная информация о нем для автоматических операций сохранения и освобождения, таких как подсчет ссылок — в коде это retainCount, — чтобы сохранить объект со строгими ссылками на его дочерние объекты, пока он во избежание высвобождения памяти еще «помечен» строгой ссылкой как необходимый.
«А КАК НАСЧЕТ ЗНАЧЕНИЙ-ТИПОВ ВРОДЕ СТРУКТУР?»
В ОТЛИЧИЕ ОТ ССЫЛОЧНЫХ ТИПОВ, ОБЪЕКТОВ, КОТОРЫМИ С ПОМОЩЬЮ ЭТИХ RETAINCOUNT ОТСЛЕЖИВАЕТСЯ ЧИСЛО ССЫЛОК НА ОБЪЕКТ, ЗНАЧЕНИЯМ-ТИПАМ ТАКАЯ СТРАТЕГИЯ НЕ ТРЕБУЕТСЯ. КАЖДЫЙ ЭКЗЕМПЛЯР ЗНАЧЕНИЯ-ТИПА — ЭТО СОБСТВЕННАЯ, НЕЗАВИСИМАЯ ЧАСТЬ ДАННЫХ, И ОБЛАСТЬ ЕГО СУЩЕСТВОВАНИЯ ПРИВЯЗАНА КО ВНЕШНЕЙ ЕГО ОБЛАСТИ.
КОПИИ ЭТИХ ЗНАЧЕНИЙ СОЗДАЮТСЯ ИХ ПЕРЕДАЧЕЙ КАК АРГУМЕНТОВ ИЛИ СОХРАНЕНИЕМ В ДРУГИХ ПЕРЕМЕННЫХ. НАПРИМЕР, ПРИ ПЕРЕДАЧЕ В SWIFT В КАЧЕСТВЕ АРГУМЕНТА ФУНКЦИИ ЗНАЧЕНИЯ-ТИПА, ТАКОГО КАК СТРУКТУРА ИЛИ ПЕРЕЧИСЛЕНИЕ, СОЗДАЕТСЯ КОПИЯ ЭТОГО ЗНАЧЕНИЯ И ТАКИМ ОБРАЗОМ ВЫДЕЛЯЕТСЯ НОВЫЙ КУСОК ПАМЯТИ. ЭТО НАЗЫВАЕТСЯ СЕМАНТИКОЙ КОПИРОВАНИЯ.
Возьмем приложение с двумя классами:
class Manager: EmployeeDelegate {
let employee: Employee
init(employee: Employee) {
self.employee = employee
self.employee.delegate = self
}
func perform() {/* код */}
...
}
protocol EmployeeDelegate: AnyObject {
func perform()
}
class Employee {
public var delegate: EmployeeDelegate?
...
}
В
Swift это типичный шаблон с классом, который «знает», когда выполнять операцию, но неизвестно какую. В этом случае шаблоном делегирования с protocol гарантируется, что руководитель Manager определяет операцию и дает указания работнику Employee, который в нужный момент их выполняет.
Сильные ссылкиПроблема в том, что в этом примере очень четко генерируется цикл сохранения. Почему? Когда создается экземпляр Manager, в него передается Employee, который сохраняется, и создается сильная ссылка, так что память от объекта Employee не освобождается, пока существует его Manager.
Чтобы определить операции JobDelegate, для Employee нужен делегат. Здесь в методе инициализатора в качестве делегата задан объект Manager, так что в Employee тоже имеется сильная ссылка на Manager и память от экземпляра Manager не освобождается, пока существует его Employee.
То есть они не дадут друг другу освободить память в течение неопределенного времени:
📌
Продолжение
