要素のデフォルトのコンストラクタがスローできる場合、new []？

Question

は、次のコードを考えてみます。

example_t* a = new example_t[8]; 

クラスexample_tを投げることができるデフォルトのctorのを持って、配列内の5番目の要素のものと想定建設がスローされます。最初の4つの要素のデストラクタへの自動呼び出しがありますか？それは明確な行動ですか？ §5.3.4/8当たり

Answer 1

これは完全に明確に定義され、よく振る舞っています。すべての完全に構築されたサブオブジェクトは、オブジェクトの初期化がその構築の逆の順序で例外で終了すると、破壊されます。これは、ユーザー定義型のオブジェクト（クラスとクラスメンバーを考える）の場合と同じです。

形式的に、我々は、C++ 11 15.2/2を有する：

初期化または破壊例外で終了し デストラクタが完全に構築サブオブジェクトの全てに対して実行されたであろう任意の保存期間のオブジェクト（ ユニオン様クラスのバリアントメンバーを除く）、つまり主コンストラクタ（12.6.2）が実行を完了したサブオブジェクトの場合 であり、デストラクタはまだ実行を開始していません。

Answer 2

：

新しい式が 割り当て機能（3.7.4.1）を呼び出してオブジェクトのストレージを取得します。 new-expressionが で終了した場合、 割り当て解除機能（3.7.4.2）を呼び出してストレージを解放することがあります。割り当てられた型が非配列 型である場合、割り当て関数の名前は演算子newであり、 割り当て解除関数の名前は演算子deleteです。割り振りタイプ が配列タイプの場合、割り振り関数の名前は演算子new []で、 割り振り解除関数の名前は演算子delete []です。

解除機能がデストラクタを呼び出すため、削除されます。

 

---

私が知っているに寄りかかっコンパイラの出力に含ま信頼-ことはできませんが、それは少なくとも良い観察です：Live Test