C ++中的新建，删除和子类

Question

TextItem是XObject的子类。

我试图弄清楚为什么以下工作：

  TextItem *textItem = new TextItem();
  XObject *xItem = textItem;
  delete textItem;

但这不是：

  TextItem *textItem = new TextItem();
  XObject *xItem = textItem;
  delete xItem;

第二个示例在delete失败，并带有断言失败（ _BLOCK_TYPE_IS_VALID ）。

Answer 1

XObject *xItem = textItem;
delete xItem;

仅当 XObject具有虚拟析构函数时，此方法才有效 。 否则， delete语句将调用未定义的行为。

class XObject
{
    public:
       virtual ~XObject();
     //^^^^^^ this makes virtual destructor
};

Answer 2

确保XObject具有virtual析构函数，或者您的第二个片段具有未定义的行为 ：

struct XObject
{
    // now deleting derived classes
    // through this base class is okay
    virtual ~XObject() {}
};

struct TextItem : XObject {};

Answer 3

XObject是否不提供虚拟析构函数？ 如果没有虚拟析构函数，则通过基本指针删除TextItem时会出现不确定的行为。