Discussion :

[max0r1311]

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.

[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.

[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 ... )

[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.

[Emmanuel Deloget]

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.

[Luc Hermitte]

Dans mes souvenirs, ceux de boost éliminent ce problème.

[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.

[Nogane]

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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.

[max0r1311]

merci pour vos réponses, il faut que je me penche sur tout ça

[guillaume07]

qu'appel t-on un type complet ?

[metagoto]

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.