Какова цель атрибута `@frozen` в Swift и как он влияет на оптимизацию компилятора и эволюцию библиотеки?

Обзор

Атрибут @frozen в Swift применяется к перечислениям и структурам, чтобы сигнализировать, что их структура никогда не изменится в будущих версиях библиотеки.

Как это влияет на оптимизацию компилятора

Когда тип отмечен как @frozen, компилятор может делать более сильные предположения о его расположении в памяти и составе, что позволяет:

• Исчерпывающие switch-выражения для перечислений без необходимости в ветке default
• Прямой доступ к памяти свойств структуры без косвенного обращения
• Более агрессивный инлайнинг и оптимизацию кода, использующего этот тип

Например, переключение по @frozen перечислению выглядит так:

Как это влияет на эволюцию библиотеки

Swift поддерживает режим эволюции библиотеки (используется в SDK Apple), где типы могут получить новые кейсы или свойства в будущих релизах без нарушения уже скомпилированного кода. Это поведение по умолчанию для распространяемых библиотек.

Добавляя @frozen, автор библиотеки отказывается от этой гибкости:

• Новые кейсы нельзя добавлять в @frozen перечисление
• Новые хранимые свойства нельзя добавлять в @frozen структуру
• Это будет нарушением бинарной совместимости

Ключевой компромисс

• Без @frozen — гибко и безопасно для будущих изменений, но менее оптимизировано
• С @frozen — максимальная производительность, но определение типа навсегда заблокировано

Используй @frozen только когда ты уверен, что структура типа окончательна, так как это постоянный, публичный контракт со всеми потребителями твоей библиотеки.