刪除之前手動調用析構函數

Question

auto obj = new Object; 
obj->~Object(); 
delete obj; 

我知道這是不尋常的，但它是定義的行爲？它能引起任何令人驚訝的問題嗎？

Answer 1

你只能做如果更換由obj有一個新的對象指向按照被破壞的對象：

auto obj = new Object; 
obj->~Object(); 

new (obj) Object(); 
delete obj; 

否則，調用未定義的行爲。

---

您應該明白：

• new電話operator new獲得內存，然後調用提供construtor創建對象
• delete調用對象的析構函數，然後調用operator delete來「返回」內存。

---

---

編輯：博佩爾鬆指出的那樣，它不是，如果你不能提供異常的好主意保證

Answer 2

它是未定義行爲造成的對象析構函數被調用兩次。你沒有遵循規則，編譯器可以隨你的代碼做任何事情。只需不要那樣做。

Answer 3

如果我們嚴格遵守標準語言，您的代碼會導致未定義的行爲，並會導致問題。

不過，我會很驚訝，如果任何平臺將遇到任何問題，以下內容：

struct Foo {}; 

void testFoo() 
{ 
    Foo* foo = new Foo(); 
    foo->~Foo(); 
    foo->~Foo(); 
    foo->~Foo(); 
    foo->~Foo(); 
    foo->~Foo(); 
    foo->~Foo(); 
    foo->~Foo(); 
    delete foo; 
} 

在另一方面，我會很驚訝，如果任何平臺都可以執行以下，而不會在問題。

struct Bar {std::string s;}; 

void testBar() 
{ 
    Bar* bar = new Bar{"test"}; 
    bar->~Bar(); 
    delete bar; 
}