Γιατί ένα αντικείμενο σε Swift δεν απελευθερώνει αμέσως τη μνήμη μετά την κλήση του καταστροφέα;

Στη Swift, ένα αντικείμενο δεν απελευθερώνει αμέσως τη μνήμη μετά την κλήση του καταστροφέα (deinit), επειδή η απελευθέρωση μνήμης διαχειρίζεται από το σύστημα αυτόματης καταμέτρησης αναφορών (ARC — Automatic Reference Counting).

Το deinit καλείται όταν ο μετρητής αναφορών του αντικειμένου φτάνει στο μηδέν, δηλαδή όταν δεν υπάρχουν πλέον ισχυρές αναφορές στο αντικείμενο. Ωστόσο, η πραγματική απελευθέρωση μνήμης μπορεί να συμβεί αργότερα, επειδή:

• Το ARC μπορεί να βελτιστοποιήσει την απελευθέρωση μνήμης.
• Αν το αντικείμενο συμμετέχει σε κυκλικές αναφορές, το deinit μπορεί να μην καλείται καθόλου μέχρι να διακοπούν οι κύκλοι.
• Σε ορισμένες περιπτώσεις, το σύστημα μπορεί να καθυστερήσει την απελευθέρωση μνήμης για να βελτιώσει την απόδοση.

Έτσι, το deinit είναι ένα σήμα ότι το αντικείμενο είναι έτοιμο για διαγραφή, αλλά η πραγματική απελευθέρωση μνήμης είναι ευθύνη του ARC και του συστήματος διαχείρισης μνήμης.