Как се съхранява optional в паметта в Swift?

Опционалът в Swift се съхранява в паметта по един от двата начина:

1. За типове, които не отговарят на протокола _ObjectiveCBridgeable: Представяне на Малък/Голям Опционал.

   • Малък Опционал: Ако размерът на стойността е по-малък или равен на размера на указател, Optional добавя един байт към размера на типа за съхранение на флаг (Присъства/Липсва).
   • Голям Опционал: Ако размерът на стойността е по-голям от размера на указател, Optional използва два "слота" в паметта: един за стойността (ако е налична) и един за флага за наличие. Това могат да бъдат два съседни сегмента памет или, в по-сложни случаи, препратка към стойност, разпределена на купчината.

2. За типове, които отговарят на протокола _ObjectiveCBridgeable (например, класове, някои структури): Представяне на Nullable указател.

   • Ако типът е клас или може да бъде представен като указател към Objective-C, Optional използва факта, че указателят може да бъде nil. В този случай, nil в Optional се представя като нулев указател, а не-nil` Optional - като указател към обект. Това е по-ефективно по отношение на паметта, тъй като не изисква допълнителен флаг.

Обобщено, Optional може да заема малко повече място от основния тип (Малък/Голям Optional), или същото като указател (Nullable указател). Конкретното представяне се определя от компилатора в зависимост от типа и неговата способност да бъде представен като nullable указател.

// Пример: Int не е `_ObjectiveCBridgeable`, използва Малък/Голям Optional
var maybeInt: Int? = 10 // Може да бъде Малък Optional

// Пример: String `_ObjectiveCBridgeable`, може да използва Nullable указател
var maybeString: String? = "Hello" // Може да бъде Nullable указател

// Пример: Протокол (Any) не е `_ObjectiveCBridgeable`, използва Малък/Голям Optional
var maybeAny: Any? = 5 // Малък/Голям Optional