Что такое existential container и когда он используется?

Question

Existential container — это структура, которая хранит значение, приведённое к типу протокола. Он используется, когда конкретный тип стирается и остаётся только протокольный интерфейс. Внутри контейнера хранится само значение или ссылка на него и информация для вызова методов. Existential используются при работе с any Protocol. Они имеют стоимость по производительности.

YeaHub · Accepted Answer

Когда в Swift используется протокол как тип, компилятор создаёт специальную обёртку — existential container.Что означает использование протокола как типаОпределение:Использование протокола как типа означает, что конкретная реализация неизвестна на этапе компиляции.Пример:func log(_ logger: any Logger) {
    logger.log("Hello")
}
Здесь:Logger — это не конкретный типвнутри может быть любой тип, реализующий протоколЧто такое existential containerExistential container содержит:само значение или ссылку на негоmetadata типаwitness table для вызова методовОн нужен, чтобы:хранить разные типы под одним интерфейсомвызывать методы без знания конкретной реализацииГде он используетсяExistential container появляется, когда:протокол используется как тип (any Protocol)массив хранит элементы типа протоколапеременная объявлена как протоколПример:let loggers: [any Logger] = [ConsoleLogger(), FileLogger()]
Стоимость использованияExistential приводит к:динамической диспетчеризациидополнительным косвенным обращениямвозможному выделению памятиПоэтому в производительном коде часто предпочитают дженерики.ВыводExistential container — это механизм, позволяющий работать с протоколами как с типами. Он даёт гибкость, но имеет цену, поэтому должен использоваться осознанно.