new [n] et supprime chaque emplacement avec delete à la place du bloc entier avec delete []

Question

Est-ce un C++ valide (par exemple, ne pas invoquer UB) et obtient-il ce que je veux sans fuites de mémoire? Valgrinds se plaint de la non-concordance free et delete mais dit "aucune fuite n'est possible" à la fin.

int main() { 
    int* a = new int[5]; 
    for(int i = 0; i < 5; ++i) 
    a[i] = i; 

    for(int i = 0; i < 5; ++i) 
    delete &a[i]; 
} 

La raison pour laquelle je demande: J'ai une classe qui utilise boost::intrusive::list et je new chaque objet qui est ajouté à cette liste. Parfois, je sais combien d'objets je veux ajouter à la liste et je pensais à utiliser new[] pour allouer un morceau et être toujours capable de delete chaque objet à part avec le style Disposer de boost::intrusive.

Answer 1

Pas moyen. Vous ne pouvez pas appeler delete sur ce qui n'a pas été attribué par new ou vous obtenez une corruption de tas.

Vous voyez, ce tableau créé par new [] n'alloue pas n objets individuels, mais un tableau. Le second objet du tableau se trouve au milieu du bloc d'allocation.

Answer 2

Vous pouvez ajouter un bit afin que chaque objet se souvienne s'il était le premier dans le tableau contigu. Ceci est délicat:

• totalement incompatible avec delete object syntaxe
• incompatible avec l'héritage
• éliminateur appelle à la place destructor explicitement, par exemple object.~ListItem()
• doit toujours utiliser le tableau operator new[]
• assurez-vous de disposer des objets en marche arrière ordre, contrairement à votre exemple inclus
• destructor implémente la propriété réflexive du tableau par son premier élément:

.

ListItem::~ListItem() { 
    if (m_own_my_subarray) { 
     operator delete[](this); // does not invoke any destructor! 
       // "this" must be exactly the result of new[]! 
    } 
}