Warum gibt ein Objekt in Swift den Speicher nicht sofort nach dem Aufruf des Destructors frei?

In Swift wird ein Objekt den Speicher nicht sofort nach dem Aufruf des Destructors (deinit) freigeben, weil die Speicherfreigabe vom System der automatischen Referenzzählung (ARC — Automatic Reference Counting) verwaltet wird.

deinit wird aufgerufen, wenn der Referenzzähler des Objekts auf null sinkt, also keine starken Referenzen mehr auf das Objekt bestehen. Die tatsächliche Speicherfreigabe kann jedoch später erfolgen, da:

• ARC die Speicherfreigabe optimieren kann.
• Wenn das Objekt in zyklischen Referenzen beteiligt ist, wird deinit möglicherweise überhaupt nicht aufgerufen, bis die Zyklen durchbrochen sind.
• In einigen Fällen kann das System die Speicherfreigabe verzögern, um die Leistung zu optimieren.

Daher ist deinit ein Signal dafür, dass das Objekt bereit zur Entfernung ist, aber die tatsächliche Speicherfreigabe Aufgabe von ARC und des Speichermanagementsystems ist.