プレースメントの削除新しい

Question

プレースメントnewを使用して作成された変数でdeleteを呼び出して、そのメモリブロックにアクセスすると、定義されていない動作が発生することは承知しています。

int* x = new int[2]; 
char* ch = new(x) char(); 
*ch = 't'; 
delete ch; 

しかし、その代わりに、ヒープのメモリのブロックは、スタック上に割り当てられているし、我々はその変数に削除してからメモリにアクセス呼び出す場合、私はブロックタイプが無効であることの例外を取得します。

int x[2]; 
char* ch = new(x) char(); 
*ch = 't'; 
delete ch; 

だから質問のリストは以下のとおりです。

• がスタックに削除を呼び出すことにより、例外ですか？
• スタック上のメモリブロックに新しい配置を使用しても問題ありませんか？
• はいの場合、文字ポインタを削除するにはどうすればよいですか？
• メモリの1つのブロックに複数の変数を割り当てることは可能ですか？

Answer 1

スタック上での削除の呼び出しの例外はありますか？

はい。少し明確にするために、これはC++の例外ではありません。実行時に検出されるエラーです。ランタイムがそれほどスマートでない場合は、未定義の動作にも対応できます。

スタック上のメモリブロックに新しい配置を使用しても問題ありませんか？

はい。また、alloca()とVariable-length arrays（VLA）を見てみることもできます。これらはスタックにメモリを割り当てる別の2つのメカニズムです。 VLAはC99の一部であり、C++ 11（およびそれ以前）の標準ではありませんが、大部分のプロダクショングレードのコンパイラでは拡張機能としてサポートされています（C++ 14で表示される可能性があります）。

「はい」の場合、文字ポインタを削除する方法はありますか。

すべきではありません。新しいプレースメントを使用するときは、deleteを呼び出さず、単にデストラクタを呼び出します。指定されたオブジェクトoがTの場合、delete o;の代わりにo->~T();に電話する必要があります。ただし、deleteまたはdelete []というコードを処理する必要がある場合は、演算子deleteとをオーバーロードし、演算子を何もしないでください（デストラクタはその時点で既に実行されています）。

プレースメントnewを使用して、1つのメモリブロックに複数の変数を割り当てることはできますか？

はい。しかし、あなたはalignment requirementsを満たすために特別な注意を払う必要があります。