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

Нет. Значение метатипа класса описывает сам тип и его метаданные, но не является ссылкой на конкретный экземпляр и не увеличивает его число сильных владельцев. Экземпляр может быть уничтожен, если после освобождения последней сильной ссылки метатип остаётся сохранённым.

Исторический контекст

ARC появился как автоматизированная модель управления памятью на основе подсчёта ссылок: компилятор сам расставляет операции удержания и освобождения объектов вместо ручного управления ими. Для этого важно различать ссылку на экземпляр и значение, описывающее тип.

Метатип нужен для отражения типа, вызова статических членов и передачи информации о типе во время выполнения. Если бы хранение метатипа автоматически удерживало все экземпляры этого типа, обычная работа с типовой информацией приводила бы к утечкам памяти.

Постановка проблемы

В коде могут одновременно существовать экземпляр класса и его метатип, например при регистрации типов в фабрике или контейнере зависимостей. Ошибочно считать, что сохранённое значение вида «тип класса» владеет ранее созданными объектами этого класса.

Такое предположение приводит к неверному анализу времени жизни: разработчик ожидает, что экземпляр останется жив, хотя все его сильные ссылки уже освобождены. Обратная ошибка тоже возможна — попытка удалять экземпляр через метатип, хотя метатип вообще не представляет конкретный объект.

Подробное решение

Метатип T.Type содержит сведения о типе T: его метаданные, информацию о классе и возможность обратиться к статическим членам. Он не содержит указателя на конкретный экземпляр T и не участвует в его retain/release-цикле.

Время жизни экземпляра определяется графом владения: его удерживают сильные ссылки, значения контейнеров, замыкания, свойства и другие объекты. После освобождения последнего сильного владельца экземпляр становится доступным для уничтожения независимо от того, хранится ли где-либо его метатип.

final class Session {
    deinit { print("deinit") }
}

var session: Session? = Session()
let sessionType = Session.self
session = nil

print(sessionType)

В примере sessionType сохраняет информацию о типе Session, но не экземпляр. После присваивания nil объект больше не имеет сильного владельца и может быть уничтожен; сохранённый метатип этому не препятствует.

Это также означает, что метатип не подходит для хранения экземпляров. Для этого нужен отдельный контейнер с явной политикой владения: сильные ссылки удерживают объекты, weak позволяют им исчезать, а unowned предполагает гарантированно более долгую жизнь объекта-владельца.

Точный момент выполнения deinit, как и другие детали оптимизации ARC, не следует выводить из одной только лексической области видимости переменной. Однако наличие метатипа не добавляет в граф владения никакого экземпляра.

Ситуация из практики

Фабрика сохраняет Session.self, чтобы позднее создавать экземпляры через метатип. После завершения операции локальная сильная ссылка на уже созданную сессию обнуляется, но запись о типе остаётся в фабрике.

Возможные решения:

хранить только метатип — не удерживает созданные сессии, поэтому подходит для регистрации конструкторов типов;
хранить экземпляры в массиве сильных ссылок — гарантирует их жизнь, но может привести к неограниченному росту памяти;
хранить экземпляры через weak-обёртки — не создаёт утечек, но объект может исчезнуть сразу после освобождения последнего внешнего владельца;
хранить экземпляры через unowned — экономит проверки на nil, но требует строгой гарантии времени жизни и опасен при ошибке.

Если фабрике нужно лишь знать, какой тип создавать, выбирают метатип. Если она должна владеть уже созданными объектами, владение моделируют отдельным хранилищем, а не самим метатипом. Это разделяет регистрацию типа и управление жизненным циклом экземпляров.

Что кандидаты часто упускают

Создаёт ли хранение метатипа экземпляр класса автоматически?

Нет. Метатип не является фабричным вызовом и не создаёт объект сам по себе. Экземпляр появляется только при явном вызове инициализатора или другого механизма создания; после этого его время жизни определяется обычными ссылками на экземпляр.

Удерживает ли метатип объекты, размещённые в статических свойствах класса?

Нет, но статическое свойство может владеть объектом самостоятельно. Если статическое свойство содержит сильную ссылку, объект будет жить благодаря этому свойству, а не благодаря сохранённому метатипу. Удаление метатипа не освобождает такие объекты, пока существует сильное статическое хранилище.

Продлевает ли type(of:) жизнь объекта после получения его динамического типа?

Сам результат type(of:) — метатип — не становится владельцем объекта. Вызов может выполняться, пока объект временно нужен для вычисления аргумента, но после завершения выражения сохранённый метатип не удерживает экземпляр. Для гарантированного использования объекта нужно сохранить сильную ссылку или применить специальный механизм продления времени жизни, например withExtendedLifetime.