Где хранятся ссылки на объект?

Отличный вопрос, который касается фундаментальных принципов управления памятью в iOS (и Objective-C/Swift в целом). Ответ требует понимания различия между стеком (stack) и кучей (heap).

Краткий ответ

Ссылки (указатели) на объекты хранятся в стеке (для локальных переменных, аргументов функций) или внутри других объектов в куче (для свойств классов). Сам объект, на который указывает ссылка, всегда находится в куче.

Детальное объяснение

Чтобы понять, где хранятся ссылки, нужно чётко разделять переменную-ссылку и сам объект.

1. Стек (Stack)

Это область памяти, работающая по принципу LIFO (Last-In, First-Out). Она используется для хранения:

• Локальных переменных (включая ссылки на объекты).
• Аргументов, передаваемых в функции/методы.
• Указателя на следующую инструкцию (адрес возврата).

Ключевая особенность стека: выделение и освобождение памяти происходит очень быстро и предсказуемо, так как управляется указателем стека. Память освобождается автоматически при выходе из области видимости (например, при завершении работы метода).

Пример ссылки в стеке:

func createUser() {
    // Переменная `user` — это ССЫЛКА (указатель).
    // Сама ссылка хранится в стеке.
    let user = User(name: "Анна")

    // При выходе из функции стек очищается.
    // Ссылка `user` уничтожается.
    // Счётчик ссылок на объект User в куче уменьшается на 1.
}

Здесь user — это переменная в стеке, которая содержит адрес памяти, по которому в куче расположен реальный объект User.

2. Куча (Heap)

Это динамическая область памяти, используемая для хранения:

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

Ключевая особенность кучи: выделение и освобождение памяти происходит динамически и требует управления (вручную, как в раннем Objective-C, или автоматически, как в ARC). Объекты в куче могут пережить метод, в котором были созданы.

Пример ссылки в куче:

class Team {
    // Свойство `leader` — это ССЫЛКА.
    // Она хранится не в стеке, а внутри памяти, выделенной для экземпляра класса `Team` в КУЧЕ.
    var leader: User?
}

let team = Team() // `team` (ссылка) — в стеке, объект Team — в куче.
team.leader = User(name: "Иван") // Ссылка `leader` хранится внутри объекта `team` в куче.

Здесь ссылка leader является частью объекта team. Поскольку объект team находится в куче, то и хранящаяся внутри него ссылка leader также существует в куче.

Визуализация и ARC

Система Automatic Reference Counting (ARC) работает именно со ссылками, где бы они ни хранились. ARC отслеживает, сколько сильных ссылок существует на объект в куче.

var ref1: User? = User(name: "Test") // Сильная ссылка 1 (в стеке или глобальной области)
var ref2: User? = ref1 // Сильная ссылка 2 (в стеке или глобальной области)

ref1 = nil // Счётчик уменьшается до 1. Объект жив.
ref2 = nil // Счётчик уменьшается до 0. Объект уничтожается, память в куче освобождается.

Итоговая таблица

Таким образом, ссылка на объект может находиться как в стеке (если это локальная переменная), так и в куче (если это свойство другого объекта). Место хранения ссылки определяет, как и когда она будет уничтожена, но не влияет на принципиальную работу ARC. Именно ARC, отслеживая эти ссылки, определяет, когда можно безопасно удалить из кучи сам объект.