Proč objekt ve Swiftu neuvolní paměť ihned po volání deinitializátoru?

Ve Swiftu objekt nezbavuje paměť ihned po volání destruktoru (deinit), protože uvolnění paměti je řízeno systémem automatického počítání odkazů (ARC — Automatic Reference Counting).

deinit je volán v okamžiku, kdy počet odkazů na objekt dosáhne nuly, tedy když již nejsou žádné silné odkazy na objekt. Nicméně, skutečné uvolnění paměti může nastat později, protože:

• ARC může optimalizovat uvolnění paměti.
• Pokud se objekt účastní cyklických odkazů, deinit se nemusí vůbec volat, dokud cykly nejsou přerušeny.
• V některých případech může systém odložit uvolnění paměti za účelem optimalizace výkonu.

Proto deinit je signálem, že objekt je připraven k odstranění, ale skutečné uvolnění paměti je úkolem ARC a systému správy paměti.