¿Cómo se almacenan los opcionales en la memoria?

Opcional en Swift representa una enumeración con dos casos: .none (o nil) y .some(Wrapped).

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

Cuando el opcional contiene un valor (.some(Wrapped)), almacena el valor en sí del tipo Wrapped además de un bit adicional que indica la presencia del valor. Si el opcional es nil (.none), solo se almacena ese bit o un patrón especial de bytes que indica la ausencia de valor.

La forma de almacenamiento puede variar dependiendo del tipo Wrapped y de la arquitectura del procesador (32-bit vs 64-bit), pero la idea general es usar algún indicador de presencia de valor. Para tipos de referencia, por ejemplo, nil puede representarse con un puntero nulo, cuando no se requiere un indicador separado o se combina con él. Para tipos de valor, se necesita espacio adicional para el indicador.

Ejemplo con arquitectura de 64 bits y un indicador:

• Si Optional<T> contiene un valor: memoria para T + 1 bit (o byte) para el indicador "hay valor".
• Si Optional<T> es nil: generalmente se almacena un patrón especial de bytes o se combina con un puntero para tipos de referencia.

Es importante notar que, para tipos cuyo tamaño es menor que su alineación natural (por ejemplo, Bool en un sistema de 64 bits), el indicador de presencia puede estar " incrustado" en los bits restantes, ahorrando memoria. Esta optimización se llama "Nullable Pointer Optimization" para tipos de referencia y es similar para algunos tipos de valor.