Опционал в Swift представляет собой перечисление из двух кейсов: .none (или nil) и .some(Wrapped).
swiftКогда опционал содержит значение (.some(Wrapped)), он хранит само значение типа Wrapped плюс дополнительный бит, указывающий на наличие значения. Если опционал равен nil (.none), хранится только этот бит или специальный паттерн байтов, указывающий на отсутствие значения.
Способ хранения может варьироваться в зависимости от типа Wrapped и архитектуры процессора (32-bit vs 64-bit), но общая идея — использование некоторого индикатора наличия значения. Для ссылочных типов, например, nil может быть представлен нулевым указателем, когда индикатор не требуется или совмещен. Для значимых типов требуется дополнительное место для индикатора.
Пример с 64-битной архитектурой и индикатором:
Optional<T> содержит значение: Память для T + 1 бит (или байт) для индикатора "есть значение".Optional<T> равно nil: Обычно хранится специальный паттерн байтов или комбинируется с указателем для ссылочных типов.Важно отметить, что для типов, размер которых меньше собственного выравнивания (например, Bool на 64-битной системе), индикатор наличия значения может быть "встроен" в оставшиеся биты, экономя память. Эта оптимизация называется "Nullable Pointer Optimization" для ссылочных типов и аналогична для некоторых значимых.