Новые, удалять и подклассы в 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 через базовый указатель.