Opsionallar qanday saqlanadi?

Swift'dagi Optional, ikki holatga ega enumni ifodalaydi: .none (yoki nil) va .some(Wrapped).

enum Optional<Wrapped> {
    case none
    case some(Wrapped)
}

Agar optional qiymat saqlayotgan bo‘lsa (.some(Wrapped)), u Wrapped turidagi qiymatni va qo‘shimcha bir bitni saqlaydi, bu bit qiymat mavjudligini ko‘rsatadi. Agar optional nil bo‘lsa (.none), faqat bu bit yoki qiymat yo‘qligini ko‘rsatuvchi maxsus baytlar naqshini saqlaydi.

Saqlash usuli Wrapped turiga va protsessor arxitekturasiga (32-bit yoki 64-bit) bog‘liq ravishda o‘zgarishi mumkin, lekin umumiy fikr — qiymat mavjudligini ko‘rsatuvchi indikatordan foydalanish. Referens turlar uchun, masalan, nil null ko‘rsatkich bilan ifodalanishi mumkin, agar indikator kerak bo‘lmasa yoki u bilan birlashtirilgan bo‘lsa. Qiymat turlari uchun qo‘shimcha joy indikator uchun talab qilinadi.

64-bit arxitektura va indikator bilan misol:

• Agar Optional<T> qiymat saqlayotgan bo‘lsa: T uchun xotira + 1 bit (yoki bayt) "qiymat mavjud" indikatoriga.
• Agar Optional<T> nil bo‘lsa: odatda maxsus bayt naqshini saqlash yoki referens turlar uchun ko‘rsatkich bilan birlashtirish.

Muhim: o‘lchami o‘zining tabiiy tekisligidan kichik bo‘lgan turlar uchun (masalan, 64-bitli tizimda Bool), mavjudlik indikatorini qolgan bitlarga "o‘rnatish" mumkin, bu esa xotira tejashga yordam beradi. Bu optimallashtirish "Nullable Pointer Optimization" deb ataladi va ba'zi qiymat turlari uchun ham shunday amalga oshiriladi.