¿Cómo se almacena un optional en la memoria en Swift?

Optional en Swift se almacena en memoria de una de dos maneras:

1. Para tipos que no cumplen con el protocolo _ObjectiveCBridgeable: Representación de Opcional Pequeño/Grande.

   • Opción Pequeña: Si el tamaño del valor es menor o igual al tamaño de un puntero, Optional añade un byte al tamaño del tipo para almacenar una bandera (Presente/Ausente).
   • Opción Grande: Si el tamaño del valor es mayor que el tamaño de un puntero, Optional usa dos "espacios" en memoria: uno para el valor en sí (si está presente) y otro para la bandera de presencia. Esto puede ser dos segmentos de memoria contiguos o, en casos más complejos, una referencia a un valor asignado en el montón.

2. Para tipos que cumplen con el protocolo _ObjectiveCBridgeable (por ejemplo, clases, algunas estructuras): Representación de Puntero Nulo.

   • Si el tipo es una clase o puede ser representado como un puntero Objective-C, Optional usa el hecho de que un puntero puede ser nil. En este caso, nil en Optional se representa como un puntero nulo, y un Optional no-nil como un puntero a un objeto. Esto es más eficiente en memoria, ya que no requiere una bandera adicional.

En resumen, Optional puede ocupar un poco más de espacio que el tipo base (Opcional Pequeño/Grande), o el mismo que un puntero (Puntero Nulo). La representación específica la determina el compilador según el tipo y su capacidad de ser representado como un puntero nullable.

// Ejemplo: Int no es _ObjectiveCBridgeable, usa Opcional Pequeño/Grande
var maybeInt: Int? = 10 // Puede ser Opcional Pequeño

// Ejemplo: String _ObjectiveCBridgeable, puede usar Puntero Nulo
var maybeString: String? = "Hello" // Puede ser Puntero Nulo

// Ejemplo: Protocolo (Any) no _ObjectiveCBridgeable, usa Opcional Pequeño/Grande
var maybeAny: Any? = 5 // Opcional Pequeño/Grande