Ինչպե՞ս է optional-ը պահվում հիշողության մեջ Swift-ում։

Swift- ում Optional-ը հիշողության մեջ պահվում է երկու եղանակներից մեկով.

1. Տեսակների համար, որոնք չեն համապատասխանում _ObjectiveCBridgeable պրոտոկոլին՝ Փոքր/Մեծ Optional ներկայացում։

   • Փոքր Optional: Եթե արժեքի չափը փոքր կամ հավասար է ցուցիչի չափին, Optional-ը ավելացնում է մեկ բայթ տիպի չափին՝ նշանակի (Ներկայում/Ոչ Ներկայում) համար։
   • Մեծ Optional: Եթե արժեքի չափը մեծ է ցուցիչի չափից, Optional-ը օգտագործում է երկու "տեղ" հիշողության մեջ՝ մեկը արժեքի համար (եթե կա) և մեկը ներկայության նշանակի համար։ Դա կարող է լինել երկու հարևան հիշողության հատված կամ, ավելի բարդ դեպքերում, հղում հիշողության վրա տեղակայված արժեքին։

2. Տեսակների համար, որոնք համապատասխանում են _ObjectiveCBridgeable պրոտոկոլին (օրինակ՝ դասեր, որոշ կառուցվածքներ): Nullable ցուցակի ներկայացում։

   • Եթե տեսակն դաս է կամ կարող է ներկայացվել որպես Objective-C ցուցակ, Optional-ը օգտագործում է այն փաստը, որ ցուցակը կարող է լինել nil։ Այս դեպքում, nil-ը Optional-ում ներկայացվում է որպես զրո ցուցակ, իսկ non-nil` Optional-ը՝ ցուցակ օբյեկտի։ Սա ավելի արդյունավետ է հիշողության տեսանկյունից, քանի որ չի պահանջում լրացուցիչ նշանակ։

Ընդհանուր առմամբ, Optional-ը կարող է զբաղեցնել փոքր-ինչ ավելի շատ տեղ, քան հիմնական տեսակն (Փոքր/Մեծ Optional), կամ նույնքան տեղ, որքան ցուցակը (Nullable ցուցակ): կոնկրետ ներկայացումը որոշվում է կոմպիլյատորով՝ ըստ տեսակի և նրա կարողության ներկայացնելու որպես nullable ցուցակ։

// Օրինակ՝ Int-ը `_ObjectiveCBridgeable` չէ, օգտագործում է Փոքր/Մեծ Optional
var maybeInt: Int? = 10 // Կարող է լինել Փոքր Optional

// Օրինակ՝ String `_ObjectiveCBridgeable`, կարող է օգտագործել Nullable ցուցակ
var maybeString: String? = "Hello" // Կարող է լինել Nullable ցուցակ

// Օրինակ՝ Protocol (Any) չի `_ObjectiveCBridgeable`, օգտագործում է Փոքր/Մեծ Optional
var maybeAny: Any? = 5 // Փոքր/Մեծ Optional