Gestion de mémoire - Destructeurs

Version imprimable

06/12/2009, 19h10
max0r1311

Gestion de mémoire - Destructeurs

Bonjour,

Je vous sollicite pour que vous éclairez ma lanterne.
Après lu plusieurs documents sur l'allocation dynamique, j'ai compris ceci.

Si on initialise un "*objet1" avec new, il faut le détruire avec delete.
Pour un "objet1", ce n'est pas la peine il est automatiquement détruit lorsqu'il voit }.

Maintenant imaginons qu'on ait une "classe" dont un des membres est "*objet1" et qu'il est initialisé avec new quelque part dans la classe.

Si je déclare un "objet2" de type "classe", lorsque cet "objet2" sera détruit, son membre "*objet1" le sera-t-il aussi automatiquement ????

J'espère être assez claire dans ma question, merci par avance.
06/12/2009, 20h25
metagoto

Si *objet1 est initialisé avec new quelque part dans la classe, comme tu dis, alors c'est probablement dans le destructeur de objet2 que tu devras faire un delete objet1.
06/12/2009, 23h49
max0r1311

D'accord, donc c'est à moi de créer le destructeur de ma classe et de lui dire de deleter mon membre "*objet1". Je pensais que la destruction se faisait toute seule.

(N'empêche, créer un destructeur ... :))
07/12/2009, 10h00
3DArchi

Bonjour,
Une bonne pratique pour avoir ton pointeur détruit automatiquement mais surtout pour éviter tous les problèmes liés aux pointeurs nus à l'intérieur d'une classe, il est préférable d'utiliser des pointeurs intelligents.
F.A.Q. : Comment gérer proprement des allocations / désallocations de ressources ? Le RAII !
Tutoriel : Présentation des pointeurs intelligents en C++, par Loïc Joly.
10/12/2009, 12h55
Emmanuel Deloget

Citation:

Envoyé par 3DArchi

Bonjour,
Une bonne pratique pour avoir ton pointeur détruit automatiquement mais surtout pour éviter tous les problèmes liés aux pointeurs nus à l'intérieur d'une classe, il est préférable d'utiliser des pointeurs intelligents.
F.A.Q. : Comment gérer proprement des allocations / désallocations de ressources ? Le RAII !
Tutoriel : Présentation des pointeurs intelligents en C++, par Loïc Joly.

Et comme les pointeurs intelligents sont généralement des classes template, ils sont tous sujet au même problème que std::auto_ptr<> si le destructeur de la classe possesseur est implicite ou inline. Voir mon article sur le sujet.
10/12/2009, 13h35
Luc Hermitte

Dans mes souvenirs, ceux de boost éliminent ce problème.
10/12/2009, 14h32
JolyLoic

Le destructeur de shared_ptr n'a pas besoin que le type en paramètre soit un type complet (lire par exemple http://www.boost.org/doc/libs/1_41_0...tm#Handle/Body ). Et tout cas boost::shared_ptr, mais il y a des chances que ce soit le cas aussi pour std::shared_ptr (bien que je n'ai rien lu à ce sujet dans la norme).

Pour unique_ptr, un type complet est requis, mais un diagnostique est lui aussi requis si la condition n'est pas respectée, donc pas de risque d'erreur.

Je confirme, on n'as pas ce probleme avec les shared_ptr.

Code:

1
2
3
4
5
6
7
8
9
 
//Code extrait de boost/checked_delete.hpp
template<class T> inline void checked_delete(T * x)
{
    // intentionally complex - simplification causes regressions
    typedef char type_must_be_complete[ sizeof(T)? 1: -1 ];
    (void) sizeof(type_must_be_complete);
    delete x;
}

Si le type n'est pas complet, ca ne compile même pas.

12/12/2009, 23h40
max0r1311

merci pour vos réponses, il faut que je me penche sur tout ça
13/12/2009, 16h43
guillaume07

qu'appel t-on un type complet ?
13/12/2009, 17h24
metagoto

Citation:

Envoyé par guillaume07

qu'appel t-on un type complet ?

Un type entièrement connu du compilo à un instant t. Le type est entièrement déclaré.
Si le type n'a eu qu'une forward declaration, toujours à un instant t, il est qualifié d'incomplet.