¿Por qué un objeto en Swift no libera memoria inmediatamente después de llamar al destructor?

En Swift, un objeto no libera memoria inmediatamente después de llamar al destructor (deinit), porque la liberación de memoria es gestionada por el sistema de conteo de referencias automáticas (ARC — Automatic Reference Counting).

deinit se llama en el momento en que el contador de referencias del objeto alcanza cero, es decir, cuando ya no hay referencias fuertes al objeto. Sin embargo, la liberación real de memoria puede ocurrir más tarde, ya que:

• ARC puede optimizar la liberación de memoria.
• Si el objeto participa en ciclos de referencias, deinit puede no llamarse en absoluto hasta que los ciclos sean rotos.
• En algunos casos, el sistema puede retrasar la liberación de memoria para optimizar el rendimiento.

Por lo tanto, deinit es una señal de que el objeto está listo para ser eliminado, pero la liberación real de memoria es tarea de ARC y del sistema de gestión de memoria.