为什么通过基指针删除派生对象数组可能是未定义的
在 C 中,删除数组的行为是未定义的,如果对象的动态类型与其静态类型不同。 C 03 标准 (5.3.5 [expr.delete] p3) 对此进行了概述:“在第二种选择(删除数组)中,如果要删除的对象的动态类型与其静态类型不同,则行为未定义."
为了说明这一点,请考虑以下代码片段:
<code class="cpp">struct B { virtual ~B() {} }; struct D : B {}; B* p = new D[20]; delete[] p; // undefined behavior</code>
虽然使用基指针删除派生对象数组似乎很直观,但标准将其指定为未定义行为。这是因为基指针 p 指向数组中第一个元素的基子对象,而不是第一个元素本身。
实现数组的多态删除需要检索元素类型,执行动态转换,然后执行简单的删除[]。然而,即使不利用多态性,这也会产生不必要的开销。
因此,为了避免未定义的行为和不必要的开销,重要的是要记住数组不能表现出多态性。相反,如果需要多态行为,可以单独实现。
总结:
以上是为什么在 C 中通过基指针删除派生对象数组是未定义行为?的详细内容。更多信息请关注PHP中文网其他相关文章!