c++ - 删除指针的段错误

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 Delete [expr.delete] :

(强调我的)

In the first alternative (delete object), if the static type of the object to be deleted is different from its dynamic type, the static type shall be a base class of the dynamic type of the object to be deleted and the static type shall have a virtual destructor or the behavior is undefined.