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時會出現不確定的行為。