Prečo objekt v Swiftu neuvoľní pamäť okamžite po volaní deinitializátora?

V Swift-e objekt ne uvoľňuje pamäť okamžite po volaní deštruktora (deinit), pretože uvoľnenie pamäte je riadené systémom automatického počítania odkazov (ARC — Automatic Reference Counting).

deinit sa volá v momente, keď počet odkazov na objekt dosiahne nulu, teda keď už nie sú žiadne silné odkazy na objekt. Avšak, skutočné uvoľnenie pamäte môže nastať neskôr, pretože:

• ARC môže optimalizovať uvoľnenie pamäte.
• Ak sa objekt zúčastňuje na cyklických odkazoch, deinit sa nemusí vôbec volať, kým cykly nie sú prerušené.
• V niektorých prípadoch môže systém odložiť uvoľnenie pamäte na zlepšenie výkonu.

Preto deinit je signálom, že objekt je pripravený na odstránenie, ale skutočné uvoľnenie pamäte je úlohou ARC a systému správy pamäte.