首页 > 后端开发 > C++ > 正文

为什么在 C 中通过基指针删除派生对象数组是未定义行为?

Patricia Arquette
发布: 2024-10-30 07:31:27
原创
713 人浏览过

Why is Deleting an Array of Derived Objects via a Base Pointer Undefined Behavior in C  ?

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

在 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中文网其他相关文章!

来源:php.cn
本站声明
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn
作者最新文章
热门教程
更多>
最新下载
更多>
网站特效
网站源码
网站素材
前端模板
关于我们 免责声明 Sitemap
PHP中文网:公益在线PHP培训,帮助PHP学习者快速成长!