Come viene memorizzato un optional in Swift?

L'Optional in Swift viene memorizzato in memoria in uno dei due modi:

1. Per i tipi che non rispettano il protocollo _ObjectiveCBridgeable: Rappresentazione di Optional Piccolo/Grande.

   • Optional Piccolo: Se la dimensione del valore è inferiore o uguale alla dimensione di un puntatore, l'Optional aggiunge un byte alla dimensione del tipo per memorizzare una bandiera (Presente/Assente).
   • Optional Grande: Se la dimensione del valore è maggiore della dimensione di un puntatore, l'Optional utilizza due "slot" in memoria: uno per il valore stesso (se presente) e uno per la bandiera di presenza. Questo può essere costituito da due segmenti di memoria contigui o, in casi più complessi, da un riferimento a un valore allocato sul heap.

2. Per i tipi che rispettano il protocollo _ObjectiveCBridgeable (ad esempio, classi, alcune strutture): Rappresentazione di Puntatore Nullable.

   • Se il tipo è una classe o può essere rappresentato come un puntatore Objective-C, l'Optional utilizza il fatto che un puntatore può essere nil. In questo caso, nil in Optional è rappresentato come un puntatore nullo, e un Optional non-nil come un puntatore a un oggetto. Questo è più efficiente in termini di memoria, poiché non richiede una bandiera aggiuntiva.

In sintesi, l'Optional può occupare un po' più di spazio rispetto al tipo di base (Optional Piccolo/Grande), o lo stesso spazio di un puntatore (Puntatore Nullable). La rappresentazione specifica è determinata dal compilatore in base al tipo e alla sua capacità di essere rappresentato come un puntatore nullable.

// Esempio: Int non è `_ObjectiveCBridgeable`, utilizza Optional Piccolo/Grande
var maybeInt: Int? = 10 // Può essere Optional Piccolo

// Esempio: String `_ObjectiveCBridgeable`, può usare Puntatore Nullable
var maybeString: String? = "Hello" // Può essere Puntatore Nullable

// Esempio: Protocollo (Any) non `_ObjectiveCBridgeable`, utilizza Optional Piccolo/Grande
var maybeAny: Any? = 5 // Optional Piccolo/Grande