¿Puedes explicar qué es un puntero etiquetado y en qué se diferencia?

Un puntero etiquetado es una técnica de optimización utilizada en algunos lenguajes y entornos (por ejemplo, en iOS/Objective-C), donde se almacena información adicional (etiqueta) en el propio puntero (dirección). Normalmente, un puntero es una dirección en la memoria, pero dado que las direcciones están alineadas a un tamaño determinado (por ejemplo, 4 o 8 bytes), los bits menos significativos de la dirección siempre son cero y pueden usarse para almacenar un valor adicional.

La característica de los punteros etiquetados es que permiten almacenar datos pequeños directamente en el puntero, sin asignar un área de memoria separada. Esto acelera el acceso y reduce el consumo de memoria.

Ejemplo: en Objective-C, para números pequeños o cadenas, se puede usar un puntero etiquetado, donde algunos bits representan la dirección del objeto, y otros un valor o bandera que indica que no es un puntero normal, sino un "puntero etiquetado".

De esta manera, los punteros etiquetados son una forma eficiente de codificar información adicional en el propio puntero, aprovechando las características de alineación de las direcciones.