ベース ポインターを介した派生オブジェクトの配列の削除が未定義になる理由

C では、次の場合、配列を削除する動作は未定義になります。オブジェクトの動的タイプは静的タイプとは異なります。これは、C 03 標準 (5.3.5 [expr.delete] p3) で概説されています。「2 番目の選択肢 (配列の削除) では、削除されるオブジェクトの動的タイプがその静的タイプと異なる場合、動作は未定義です」 ."

説明のために、次のコード スニペットを考えてみましょう。

struct B { virtual ~B() {} };
struct D : B {};

B* p = new D[20];
delete[] p; // undefined behavior

ベース ポインタを使用して派生オブジェクトの配列を削除するのは直感的に見えるかもしれませんが、規格ではこれを未定義の動作として指定しています。これは、ベース ポインタ p が、最初の要素そのものではなく、配列内の最初の要素のベース サブオブジェクトを指しているためです。

配列のポリモーフィックな削除を実装するには、要素の型を取得し、動的キャストを実行する必要があります。次に単純な delete[] を実行します。ただし、ポリモーフィズムが利用されていない場合でも、これにより不要なオーバーヘッドが発生します。

したがって、未定義の動作や不要なオーバーヘッドを避けるために、配列はポリモーフィズム的に動作できないことを覚えておくことが重要です。代わりに、ポリモーフィックな動作が必要な場合は、個別に実装できます。

要約:

• 正当な使用に対するペナルティを回避するために、配列はポリモーフィックな動作をサポートしません。
• 必要に応じて、配列のポリモーフィックな削除を個別に実装できます。