为什么通过基指针删除派生对象数组可能是未定义的

在 C 中，删除数组的行为是未定义的，如果对象的动态类型与其静态类型不同。 C 03 标准 (5.3.5 [expr.delete] p3) 对此进行了概述：“在第二种选择（删除数组）中，如果要删除的对象的动态类型与其静态类型不同，则行为未定义."

为了说明这一点，请考虑以下代码片段：

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

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

虽然使用基指针删除派生对象数组似乎很直观，但标准将其指定为未定义行为。这是因为基指针 p 指向数组中第一个元素的基子对象，而不是第一个元素本身。

实现数组的多态删除需要检索元素类型，执行动态转换，然后执行简单的删除[]。然而，即使不利用多态性，这也会产生不必要的开销。

因此，为了避免未定义的行为和不必要的开销，重要的是要记住数组不能表现出多态性。相反，如果需要多态行为，可以单独实现。

总结：

• 数组不支持多态行为，以避免惩罚合法使用。
• 如果需要的话可以单独实现数组的多态删除。