Destruction et __del__

Lorsqu’une valeur n’est plus nécessaire, sa durée de vie prend fin et Mojo la détruit. C’est l’occasion de nettoyer ce dont elle était propriétaire. 🧹

Mojo appelle une méthode spéciale nommée __del__ pour détruire une valeur. Elle s’exécute automatiquement lorsque la valeur sort de sa portée.

Mojo détruit les valeurs à un moment prévisible, dès qu’elles ont été utilisées pour la dernière fois. Il n’est pas nécessaire d’attendre un récupérateur de mémoire.

Mojo exécute __del__ juste après la dernière utilisation d’une valeur, souvent avant la fermeture du bloc. Les ressources sont ainsi libérées le plus tôt possible.

Si votre type contient un tampon sur le tas, __del__ est l’endroit où vous le libérez. Cela empêche les fuites de mémoire au fil du temps.

Dans __del__, la valeur vous appartient encore : vous pouvez donc libérer ses ressources en toute sécurité. Après cela, la valeur n’existe plus.

Pour les types simples, vous n’avez rien à écrire. Mojo synthétise un destructeur qui nettoie chaque champ à tour de rôle, ce qui évite les fuites.

Écrivez votre propre __del__ lorsque vous gérez une ressource brute, comme une allocation ou un descripteur de fichier, qui doit être libérée explicitement.

Chaque valeur est détruite exactement une fois. Les déplacements transfèrent la propriété : seul le dernier détenteur exécute __del__, ce qui évite les doubles libérations.

Une fois que __del__ est terminé, Mojo garantit que la valeur a disparu. Ses règles de propriété vous empêchent d’accéder aux données libérées.

La destruction déterministe vous offre un contrôle comparable à celui du C, avec une sécurité intégrée. Le nettoyage est rapide, prévisible et automatique.

__del__ s’exécute lorsque la durée de vie d’une valeur prend fin, de manière déterministe et exactement une fois. Vous pouvez ainsi nettoyer les ressources en toute sécurité, sans récupérateur de mémoire. 🎯