Por que o objeto em Swift não libera a memória imediatamente após a chamada do destruidor?

Em Swift, um objeto não liberta a memória imediatamente após a chamada ao destruidor (deinit), porque a libertação de memória é gerida pelo sistema de contagem automática de referências (ARC — Automatic Reference Counting).

deinit é chamado no momento em que o contador de referências do objeto atinge zero, ou seja, quando já não há referências fortes ao objeto. No entanto, a libertação real de memória pode ocorrer mais tarde, pois:

• O ARC pode otimizar a libertação de memória.
• Se o objeto participa em ciclos de referências, deinit pode não ser chamado de todo até que os ciclos sejam rompidos.
• Em alguns casos, o sistema pode adiar a libertação de memória para otimizar o desempenho.

Assim, deinit é um sinal de que o objeto está pronto para ser eliminado, mas a libertação real de memória é tarefa do ARC e do sistema de gestão de memória.