Удаление объекта производного класса оператором delete

[Trinock]

Проблема в следующем. Есть базовый класс A от которого путем наследования создается класс B. Далее, я выделяю память под объект класса B инструкцией:

B *p = new B;

После этого заношу адрес этого объекта в список указателей на объекты класса A. Через некоторое время мне нужно освободить память из-под этого объекта. Я достаю из списка его адрес, присваиваю указателю на А:

A *pA;

дальше делаю преобразование типа:

B *deletingBObject = static_cast<B *>(pA).

И собственно удаляю объект:

delete deletingBObject;

Приложение выдает ошибку при выполнении последней инструкции. Что может быть не так? И можно ли подобным образом освобождать память из-под объекта производного класса?

[oblom]

Я не совсем понял суть преобразования, вы удаляете объект или указатель на него, на сколько я знаю удаляют указатель освобождая зарезервированную под него область памяти...

[pu4koff]

Сообщение от Trinock

Приложение выдает ошибку при выполнении последней инструкции. Что может быть не так? И можно ли подобным образом освобождать память из-под объекта производного класса?

Можно было бы и написать текст ошибки.
Если преобразование выполняется только с целью удаления объекта, то оно не надо. Заведите только правило на счет виртуальных деструкторов у базовых классов (оно в любом случае должно быть, даже если пользоваться не будете).

[AJlekceu]

delete B? B - это же класс, нет?

[Blade]

class A
{
};

class B: public A
{
};

void Func()
{
    A *a = new B;
    // ...
    delete a;
}

Так правильно работает, без всяких кастов.
У вас ошибка в том, что вы, судя по всему, пытаетесь удалить не объект класса, а сам класс, т.е. тип.

[Trinock]

Сообщение от AJlekceu

delete B? B - это же класс, нет?

Исправил с delete B на delete deletingBObject, удаляю конечно по указателю, а не сам класс, тогда бы просто не скомпилировалось, а у меня ошибка возникает при выполнении программы когда удаляется объект. Прошу прощения за путаницу.

Сообщение от pu4koff

Можно было бы и написать текст ошибки.
Если преобразование выполняется только с целью удаления объекта, то оно не надо. Заведите только правило на счет виртуальных деструкторов у базовых классов (оно в любом случае должно быть, даже если пользоваться не будете).

Выскакивает исключение, связанное с обращением к недоступной памяти. Деструкторы виртуальные. То есть объект производного класса допускается удалять по указателю на базовый класс? Если деструкторы виртуальные, то будет вызван деструктор объекта базового класса? Видимо ошибка в другом.

[netrino]

Сообщение от Trinock

Если деструкторы виртуальные, то будет вызван деструктор объекта базового класса?

Будут вызваны деструктор действительного типа объекта и деструкторы всех его базовых типов.

[f.hump]

ваша проблема связана с использованием static_cast там, где нужно использовать dynamic_cast.

основное назначение static_cast - преобразование перечисляемых типов. а вас типичный случай даун-каста.

[artush1984]

Код:

class A
{
};

class B: public A
{
};

void Func()
{
A *a = new B;
// ...
delete a;
}

Так правильно работает, без всяких кастов.
У вас ошибка в том, что вы, судя по всему, пытаетесь удалить не объект класса, а сам класс, т.е. тип.

По моему не совсем так. Потому что в этом случаи вызывается только деструктр класса А значит память которая была взята для В останется и у нас будет утечка

[Blade]

Сообщение от artush1984

По моему не совсем так. Потому что в этом случаи вызывается только деструктр класса А значит память которая была взята для В останется и у нас будет утечка

Нет, если деструкторы виртуальные (а они должны быть виртуальными в подобном примере)

#include <iostream>

class A
{
public:
  virtual ~A() {std::cout << "~A()" << std::endl;}
};

class B: public A
{
public:
  virtual ~B() {std::cout << "~B()" << std::endl;}
};

int main()
{
A *a = new B;
// ...
delete a;
}