リファレンスを介してplacement-newとデストラクタを呼び出すことはできますか？

Question

初期化されていないメモリへの参照を渡し、アドレスを取得してからplacement-newを呼び出したり、取得したメモリ位置でデストラクタを呼び出すことはできますか？言い換えると、次のプログラムの法的Cである++またはそれは、未定義の動作をしているん：

#include <string> 
#include <iostream> 

void ctor (std::string &s) 
{ 
    new (&s) std::string ("Hello, world!"); 
} 

void dtor (std::string &s) 
{ 
    (&s)->std::string::~string(); 
} 

int main() 
{ 
    std::string * memory = static_cast<std::string *> (
    operator new (sizeof (std::string) * 10)); 

    ctor (memory [0]); 

    std::cout << memory [0] << '\n'; 

    dtor (memory [0]); 

    operator delete (memory); 
} 

それはもちろん、動作し、すべてのエラーを生成しなかった、消毒、私はGCCの未定義の動作を試してみました。しかし誰でも標準に基づいて確認/反論することができます。

Answer 1

上記のコードは、潜在的なリソースリークある[0]で文字列を、ダブル構築し、二重未定義の動作であり、それを破壊します。配列内のオブジェクトを構築new string[10]

。 delete[]はオブジェクトを破壊します。新しいオブジェクトを別のオブジェクトの上に作成し、破壊してから、再度破棄します（delete[]）。他

何も間違って見えません。私はそれが一般的に悪い習慣である生の割り当てを使用し、コードが例外安全ではない、など

Answer 2

dtor (memory [0]); 

delete [] memory; 

は間違いなく未定義の動作であることを意味します。プレースメントnew演算子を使用する場合

ラインに

std::string * memory = new std::string [10]; 

を構築したオブジェクトの有効期間が終了しました。したがって

、

delete [] memory; 

は未定義の動作です。コード

dtor (memory [0]); 

operator delete (reinterpret_cast<void *> (memory)); 

の

更新

更新行は行儀されます。

配置new演算子を割り当てられたオブジェクトのデストラクタは一度だけ呼ばれます。

operator newコールによって割り当てられたメモリは、operator deleteコールによって割り当て解除されます。

Answer 3

あなたの編集後、もう未定義の動作をするためにそこにいないようです。

しかし、あなたのコードではまだ危険があります：
あなたmemory変数が構築文字列へのポインタの型を持ち、ポインタの初期化後にそのポインタの背後には、文字列がなくても。ポインタはnullptrでもありません。それは危険です。あなたは、何かが正しく構築されたオブジェクトであることをコンパイラにアサーションしています。そのようなものとして、あなたのコンパイラは、構造化されていないオブジェクトを誤って使用する行為であなたを捕まえることはありません。

初期化されていないメモリをchar*変数で追跡し、既に正しく構築されたオブジェクトに対してのみクラス型ポインタを使用することを強くお勧めします。