Защо обект в Swift не освобождава паметта веднага след извикване на деструктора?

В Swift обект не освобождава паметта веднага след извикването на деструктора (deinit), тъй като освобождаването на паметта се управлява от системата за автоматично броене на препратки (ARC — Automatic Reference Counting).

deinit се извиква в момента, когато броячът на препратките към обекта достигне нула, тоест когато няма повече силни препратки към обекта. Въпреки това, реалното освобождаване на паметта може да се случи по-късно, тъй като:

• ARC може да оптимизира освобождаването на паметта.
• Ако обектът участва в циклични препратки, deinit може изобщо да не бъде извикан, докато цикълите не бъдат прекъснати.
• В някои случаи системата може да отложи освобождаването на паметта за оптимизация на производителността.

Така deinit е сигнал, че обектът е готов за изтриване, но реалното освобождаване на паметта е задача на ARC и системата за управление на паметта.