删除指针的分段错误

Question

#include <iostream>
using namespace std;
class c1 {};
class c2 : public c1 {};
class c3 : public c1 {};
class c4 : public c2, public c3 {};
int main () {
  c4 *x1 = new c4;
  c3 *x2 = x1;
  delete x2; // segmentation fault
}

嗨，我

正在尝试了解类型转换和继承，我发现了这个问题。我有一个指向派生最多的类的指针，并将类型转换（隐式）到任何类的中间，在删除时，我认为它应该能够通过第一个新类删除分配的空间。在某些编译器中，这似乎很好，但是在Linux gcc版本4.7.2（Debian 4.7.2-5）中，它给出了分割错误。想不通，为什么？任何帮助/指示/建议将不胜感激。

注意 - 类以菱形问题的形式派生。

Answer 1

这是未定义的行为。正如您所看到的，在某些情况下，它似乎效果很好，在某些情况下则不然。

至少基类c3（或c1和c2）应该有一个虚拟析构函数。

class c3 : public c1 {
public:
    virtual ~c3() {}
};

根据标准，$5.3.5/3 删除 [expr.delete]：

（强调我的）

在第一个备选方案（删除对象）中，如果静态类型 要删除的对象不同于其动态类型，即静态 类型应是要成为的对象的动态类型的基类 已删除，静态类型应具有虚拟析构函数或 行为未定义。

Answer 2

尝试删除 new 未返回的指针。对于解决方案，请使用基类virtual destructor。通过指向基类的指针删除对象时，基类需要一个virtual析构函数。

Answer 3

为了补充前面的答案，undefined行为来自这样一个事实，即将指针转换为基类意味着（大多数时候，但在您的示例中不是）切片：指针被调整（即递增）以指向嵌入类的开头。

因此，在递增的指针上调用delete时，您可能会释放部分内存并让其中一些内存悬而未决。