Что такое frozen?

Что такое frozen в Swift?

frozen — это атрибут (attribute), введённый в Swift 5 для enum и struct, который позволяет компилятору оптимизировать код, гарантируя, что тип больше не будет меняться в будущих версиях библиотеки или модуля. Это ключевая часть ABI (Application Binary Interface) стабильности и библиотечной эволюции (library evolution) в Swift.

Основная цель

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

• Исключение кода для неизвестных случаев в switch для enum.
• Инлайнинг (inlining) методов и свойств.
• Оптимизация размера памяти и размещения полей.

Без @frozen компилятор должен добавлять защитный код (resilience layer) для обработки возможных будущих изменений (например, добавления новых case в enum), что может снизить производительность.

Пример с enum

Рассмотрим enum без @frozen:

// В библиотеке, с включённой библиотечной эволюцией (library evolution)
public enum NetworkState {
    case idle
    case loading
    case loaded(Data)
    case error(Error)
}

Здесь компилятор не может оптимизировать switch, так как в будущем могут добавить новый case (например, .cancelled). Поэтому он добавляет код для обработки неизвестных случаев.

Теперь с @frozen:

@frozen public enum NetworkState {
    case idle
    case loading
    case loaded(Data)
    case error(Error)
}

Компилятор гарантирует, что случаев больше не добавится. Это позволяет:

• Убрать default case в switch, так как все случаи известны.
• Использовать прямой диспатч (direct dispatch) вместо косвенного.
• Оптимизировать память, так как layout фиксирован.

Пример switch с @frozen enum:

let state: NetworkState = .loading
switch state {
case .idle:
    print("Idle")
case .loading:
    print("Loading")
case .loaded(let data):
    print("Loaded: \(data)")
case .error(let error):
    print("Error: \(error)")
// default не требуется и даже вызовет предупреждение, если добавить
}

Где используется?

1. Стандартная библиотека Swift: многие типы, такие как Optional, Result, Array, помечены как @frozen. Например, Optional — это frozen enum с двумя случаями: .none и .some(Wrapped).
2. Библиотеки с ABI стабильностью: если библиотека гарантирует ABI-стабильность, она может помечать некоторые типы как @frozen для оптимизации.
3. Клиентский код: при подключении frozen-библиотек ваш код может полагаться на фиксированный набор case.

Ограничения и нюансы

• Только для public типов: @frozen применяется к public или @usableFromInline enum/struct в модулях с включённой библиотечной эволюцией.
• Необратимое решение: после пометки типа как @frozen нельзя изменить его layout или добавить новые случаи в enum без нарушения ABI-совместимости.
• Структуры (struct): для struct @frozen фиксирует количество и порядок хранимых свойств. Это позволяет компилятору оптимизировать доступ к полям.

Сравнение с другими атрибутами

• @unchecked Sendable: относится к конкурентности, а не к эволюции типа.
• @frozen vs @inlinable: @frozen — о фиксированном layout типа, @inlinable — о возможности встраивания реализации функции в клиентский код.

Практическое значение

Использование @frozen особенно важно для системных библиотек и фреймворков, где производительность критична. Например, в SwiftUI многие типы не frozen, чтобы Apple могла развивать их между релизами iOS, а в Foundation — наоборот, некоторые типы frozen для скорости.

Важно: в своём коде вы редко будете явно использовать @frozen, так как это решение больше касается авторов библиотек. Но понимание этого концепта помогает писать эффективный код и избегать неожиданностей при обновлениях зависимостей.