削除前に手動でデストラクタを呼び出す

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メモリを取得するために、その後がオブジェクト
• deleteを作成するために提供コンストラクタを呼び出し、その後、オブジェクトのデストラクタを呼び出しますoperator deleteを呼び出してメモリを「返す」。

---

---

EDIT：ボーPerssonのは良いアイデアを、指摘していないとして、あなたは、例外の保証に

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; 
} 

、私は非常に驚かれることでしょう問題。それは*の行で同じオブジェクトに対して2つの*デストラクタを呼び出しますので

struct Bar {std::string s;}; 

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