Pourquoi un objet en Swift ne libère-t-il pas la mémoire immédiatement après l'appel au déinitialiseur?

En Swift, un objet ne libère pas la mémoire immédiatement après l'appel au déinitialiseur (deinit), car la libération de mémoire est gérée par le système de comptage automatique des références (ARC — Automatic Reference Counting).

deinit est appelé lorsque le compteur de références de l'objet atteint zéro, c'est-à-dire qu'il n'y a plus de références fortes à l'objet. Cependant, la libération effective de la mémoire peut se produire plus tard, car :

• ARC peut optimiser la libération de mémoire.
• Si l'objet participe à des cycles de références, deinit peut ne pas être appelé du tout jusqu'à ce que les cycles soient rompus.
• Dans certains cas, le système peut retarder la libération de mémoire pour optimiser les performances.

Ainsi, deinit est un signal que l'objet est prêt à être supprimé, mais la libération effective de la mémoire est la tâche de l'ARC et du système de gestion de la mémoire.