スタックオブジェクトを再構築する

Question

まあ、私はこれが純粋な悪の音だと知っています。私はthis SO postを読んでいて、スタックオブジェクトを再構築する技術に遭遇しました。

{ 
    T obj(...); // dtor will be called at end of scope 
    obj.~T(); // YOLO 

    new (&obj) T(...); 
    // obj goes out of scope. The compiler inserts `obj.~T();` here. 
} 

...私たちが好きなだけ同じメモリチャンクを再利用できるように、基本アイデアは次のとおりです。このコードは標準で合法ですか？このような狂気は未定義の行動ですか？

Answer 1

この構成は、placement newを適用します。 See also。第1規格以降は標準C++ です。これは、最初の標準よりも前であり、そのusefulnessのために のコア言語に導入されました。そうではない "狂気" と自然にUB それはではありません。もちろん、具体的な プレースメントの新しいアプリケーションでUBやその他のメモリ不具合を不注意に誘発するかもしれません。すべての未使用メモリ管理機能が言語によって提供されているように、標準ライブラリ とサードパーティライブラリの実装者は、 のリスクを抱える必要があります。