Objektorientierter Selbstmord oder löschen Sie dies;

Question

Der folgende Code kompiliert mit MSVC9.0 läuft und gibt Destructor vier Mal aus, was logisch ist.

#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(); 
} 

Ich denke, die ersten 4 Zeilen Code in Haupt in undefiniertem Verhalten führen nicht (wenn auch nicht ganz sicher über die delete this; Sache). Ich möchte eine Bestätigung oder < Platzhalter für die Bestätigung der Antonym> davon haben. Aber ich habe ernsthafte Zweifel an den Zeilen 5 und 6. Es ist erlaubt, den Destruktor explizit aufzurufen, oder? Aber gilt die Lebensdauer des Objekts danach als beendet? Das heißt, ist der Aufruf eines anderen Mitglieds nach dem expliziten Aufruf des Destruktors erlaubt (definiert)?

Zusammenfassend, welche Teile des obigen Codes (wenn überhaupt) zu undefiniertem Verhalten (technisch gesprochen) führen?

Answer 1

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

p-> CommitSuicide(); // Zeile 6

Zeile (6) ruft definitiv Undefined Behavior auf.

Das heißt, ist der Aufruf eines anderen Mitglieds nach dem expliziten Aufruf des Destruktors erlaubt (definiert)?

Nein! Deine Annahme ist richtig.

Answer 2

Die delete this; ist in Ordnung. Die letzte p->CommitSuicide(); gibt undefiniertes Verhalten, weil Sie das Objekt bereits in "Zeile 5" zerstört haben.

Answer 3

"delete this" ist in Ordnung, solange Sie nicht versuchen, einen Code dieses Objekts nach dem Löschen (nicht einmal der Destruktor) aufzurufen. Daher sollte ein selbstlöschendes Objekt nur auf dem Heap platziert werden und einen privaten Destruktor haben, um vor der Erstellung auf dem Stapel zu schützen.

Ich weiß nicht, ob ein direkter Aufruf an den Destruktor zu undefiniertem Verhalten führt, aber ein benutzerdefinierter delete-Operator würde nicht ausgeführt werden.