Destructeur
En programmation orientée objet, le destructeur d'une classe est une méthode spéciale lancée lors de la destruction d'un objet afin de récupérer les ressources (principalement la mémoire vive) réservée dynamiquement lors de l'instanciation de l'objet. Alors qu'il peut exister plusieurs constructeurs, il ne peut exister qu'un seul destructeur.
Utilisation
Les destructeurs permettent d'utiliser le pattern de programmation Resource Acquisition Is Initialization qui facilite l'écriture de code gérant bien les exceptions. Il permet de libérer les ressources utilisées de manière certaine, et aussi d'assurer la fermeture de certaines parties du code.
Les langages qui utilisent des ramasse-miettes n'offrent pas le mécanisme des destructeurs puisque le programmeur ne doit plus gérer la mémoire lui-même. Ainsi Java propose les Finalizer à la place. Il s'agit d'une méthode spéciale, garantie d'être appelée une fois avant que l'objet ne soit récupéré par le ramasse-miettes. En revanche, il n'y a aucune garantie sur le moment où le ramasse-miette va passer.
Dans certains langages, l'allocation de mémoire dynamique se fait à l'aide des pointeurs. Si une classe Route a un tableau de pointeurs sur une classe Voiture pour symboliser les véhicules qui l’empruntent, il faudra détruire les "Voitures" si la classe route est détruite afin de ne pas causer une fuite de mémoire.
Syntaxe
- C++ : préfixe tilde (~) devant le nom de la classe suivie de "()"[1].
- D :
~this()
. - Object Pascal :
destructor
ouDestroy
. - Objective-C :
dealloc
. - Perl :
DESTROY
. - PHP :
__destruct
(depuis PHP 5[2]). - Python :
__del__
[3] est appelé "destructeur" en Python 2, mais c'est en fait un finaliseur en Python 3[4]. - Rust :
drop
[5]. - Swift :
deinit
.
Exemples
En C++
En C++, le destructeur est une fonction membre de la classe portant le même nom que celle-ci précédé d'un tilde. Il est appelé lorsqu'un objet devient hors de portée ou lors de l'utilisation du mot-clé delete
.
class Object
{
public :
~Object (); // Destructeur
};
int main ()
{
Object* p_obj = new Object();
delete p_obj; // Destruction de l'objet pointé par p_obj
} // Destruction d'obj
Si le concepteur d'une classe ne fournit pas de destructeur, le compilateur C++ implémente un destructeur par défaut qui invoque les destructeurs des classes-mères et des attributs.
Implémenter le destructeur est souvent nécessaire en C++, lorsque des ressources sont allouées sur le tas. Cependant, dès lors que l'on utilise à la place des techniques de resource acquisition is initialization, telles que les pointeurs intelligents de la STL, on pourra souvent s'en passer.
Références
- (en) Robert W. Sebesta, Concepts of Programming Languages, Boston, MA, USA, Addison-Wesley, , 10th éd., print (ISBN 978-0-13-139531-2, lire en ligne), « "11.4.2.3 Constructors and Destructors" », p. 487
- Constructors and Destructors, from PHP online documentation
- https://docs.python.org/2/reference/datamodel.html#object.__del__
- https://docs.python.org/3/reference/datamodel.html#object.__del__
- https://doc.rust-lang.org/stable/reference/destructors.html
- Object.Finalize MĂ©thode de .NET ; site MSDN de Microsoft ;