Suicidio orientato agli oggetti o cancellarlo;

Question

Il seguente codice compilato con MSVC9.0 esegue e produce Destructor quattro volte, il che è logico.

#include <iostream> 
class SomeClass 
{ 
public: 
    void CommitSuicide() 
    { 
     delete this; 
    } 
    void Reincarnate() 
    { 
     this->~SomeClass(); 
     new (this) SomeClass; 
    } 
    ~SomeClass() 
    { 
     std::cout << "Destructor\n"; 
    } 
}; 

int main() 
{ 
    SomeClass* p = new SomeClass; 
    p->CommitSuicide(); 
    p = new SomeClass; 
    p->Reincarnate(); 
    p->~SomeClass(); //line 5 
    p->CommitSuicide(); 
} 

penso che le prime 4 righe di codice in principale non portano a comportamento non definito (anche se non del tutto sicuro della delete this; cosa). Vorrei avere una conferma o < segnaposto per l'antonio di conferma> di quello. Ma ho seri dubbi sulle linee 5 e 6. È permesso chiamare esplicitamente il distruttore, non è vero? Ma la vita dell'oggetto considerato è terminata dopo? Cioè, l'invocazione di un altro membro dopo la chiamata esplicita del distruttore è consentita (definita)?

Per riassumere, quali parti del codice precedente (se presenti) comportano un comportamento non definito (tecnicamente parlando)?

Answer 1

p-> ~ SomeClass(); // line 5

p-> CommitSuicide(); // line 6

Line (6) invoca sicuramente il comportamento non definito.

Ovvero, è l'invocazione di un altro membro dopo la chiamata esplicita del distruttore consentito (definito)?

No! La tua ipotesi è corretta.

Answer 2

Il delete this; va bene. L'ultimo p->CommitSuicide(); fornisce un comportamento indefinito perché hai già distrutto l'oggetto nella "riga 5".

Answer 3

"elimina questo" è ok se non si tenta di chiamare alcun codice di quell'oggetto dopo l'eliminazione (nemmeno il distruttore). Quindi un oggetto autoeliminante deve essere posto solo nell'heap e avere un distruttore privato per proteggerlo dalla creazione nello stack.

Non so se una chiamata diretta al distruttore porta a un comportamento non definito, ma un operatore delete definito dall'utente non verrà eseguito.