¿En qué se diferencia una pila de un montón?

La pila (Stack) y el montón (Heap) son dos áreas de memoria utilizadas para almacenar datos en los programas.

Pila:

• Se utiliza para almacenar variables locales y direcciones de retorno de funciones.
• Funciona bajo el principio LIFO (Last In, First Out - último en entrar, primero en salir).
• La gestión de memoria es automática: la memoria se asigna al entrar en una función y se libera al salir.
• Es más rápida que el montón debido a la simplicidad de gestión y la localización de datos.
• El tamaño es fijo o limitado, y puede ocurrir un desbordamiento de pila (stack overflow).

Montón:

• Se utiliza para la asignación dinámica de memoria de objetos que pueden permanecer en memoria después de salir de la función actual.
• La gestión de memoria puede ser manual (a través de malloc/free en C/C++) o automática (ARC/Garbage Collection/Ownership en Swift/Rust).
• Es más lento que la pila debido a una gestión de memoria más compleja y posibles fragmentaciones.
• El tamaño es más flexible y solo limitado por la memoria del sistema disponible.
• Puede ocurrir una fuga de memoria si la memoria asignada no se libera.

Comparación:

Característica	Pila	Montón
Principio de funcionamiento	LIFO	Sin orden definido
Gestión de memoria	Automática	Manual o automática (ARC/GC/Ownership)
Velocidad	Más rápida	Más lenta
Uso	Variables locales, direcciones de retorno	Objetos asignados dinámicamente, tipos de referencia
Tamaño	Fijo / Limitado	Flexible
Posibles problemas	Desbordamiento de pila	Fugas de memoria, fragmentación

En Swift, los Tipos de Valor (por ejemplo, struct, enum, tipos básicos como Int, Bool) generalmente se almacenan en la pila, mientras que los Tipos de Referencia (por ejemplo, class, closure) en el montón. Las variables, incluso de tipos de referencia, pueden almacenarse en la pila gracias a ciertas optimizaciones del compilador (escape analysis).