Опционалдар эсинде кандай сакталат?

Swift-теги опционал эки жагдайдан турган enumerationди билдирет: .none (же nil) жана .some(Wrapped).

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

Эгер опционал маанини камтыса (.some(Wrapped)), ал өзү Wrapped түрүндөгү маанини жана кошумча бир битти сактайт, ал бит маанинин бар-жогун көрсөтөт. Эгер опционал nil болсо (.none), анда бул бит же атайын байт үлгүсү сакталат, ал маанинин жоктугун көрсөтөт.

Сактоо ыкмасы Wrapped түрүнө жана процессор архитектурасына (32-бит же 64-бит) жараша өзгөрүшү мүмкүн, бирок негизги идея — маанинин бар-жогун көрсөтүүчү индикаторду колдонуу. Башкаруу түрлөрү үчүн, мисалы, nil нөлдүк көрсөткүч менен көрсөтүлүшү мүмкүн, эгер индикатор керектүү эмес болсо же бириктирилсе. Маалымат түрлөрү үчүн кошумча орун талап кылынат.

64-бит архитектурасы жана индикатор менен мисал:

• Эгер Optional<T> маанини камтыса: T үчүн эс тутум + 1 бит (же байт) "мааниси бар" индикатору үчүн.
• Эгер Optional<T> nil болсо: адатта, атайын байт үлгүсү сакталат же көрсөткүч менен бириктирилет, эгер ал референс түрлөрү үчүн болсо.

Маанилүү: өлчөмү өзүнүн табигый жайгашуусунан кичине болгон түрлөр үчүн (мисалы, Bool 64-бит системинде), маанинин бар-жогун көрсөтүүчү индикатор "энгизилген" болушу мүмкүн, бул эс тутумду үнөмдөйт. Бул оптималдаштыруу "Nullable Pointer Optimization" деп аталат жана кээ бир маанилүү түрлөр үчүн да колдонулат.