Πώς αποθηκεύονται οι προαιρετικές τιμές στη μνήμη;

Swift-те опцион екі жағдайды қамтитын тізім: .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 болса: әдетте арнайы байт үлгісі сақталады немесе сілтеме типтері үшін көрсеткішпен біріктіріледі.

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