placement new et delete Conundrum

En C , lors de l'allocation de mémoire avec l'opérateur placement new, un dilemme se pose concernant la méthode appropriée de désallocation ce souvenir. Explorons deux solutions potentielles :

Solution 1 :

const char* charString = "Hello, World";
void *mem = ::operator new(sizeof(Buffer)   strlen(charString)   1);
Buffer* buf = new(mem) Buffer(strlen(charString));
delete (char*)buf;

Cette solution tente de supprimer la mémoire allouée en tant que pointeur de caractère. Cependant, cette approche est incorrecte car elle ne gère pas correctement le destructeur de l'objet ni ne libère la mémoire brute.

Solution 2 :

const char* charString = "Hello, World";
void *mem = ::operator new(sizeof(Buffer)   strlen(charString)   1);
Buffer* buf = new(mem) Buffer(strlen(charString));
delete buf;

Cette solution tente également de supprimer la mémoire allouée, mais appelle directement l'opérateur delete sur le pointeur Buffer*. Cela fonctionnerait si la mémoire était allouée à l'aide de l'opérateur new habituel. Cependant, puisque le placement new a été utilisé, cette approche est également incorrecte.

Solution correcte :

La méthode correcte pour libérer la mémoire allouée est :

buf->~Buffer();
::operator delete(mem);

Cette solution appelle explicitement le destructeur de l'objet Buffer (buf->~Buffer()), puis libère la mémoire brute à l'aide de la fonction de suppression d'opérateur (::operator delete( mem)).

La distinction essentielle ici est que lors de l'utilisation du placement new, la fonction de suppression de l'opérateur doit être directement appelée pour libérer la mémoire brute. Tenter de supprimer le pointeur obtenu à partir de l'opérateur de placement new n'invoquera pas correctement le destructeur ni ne libérera entièrement la mémoire.