Деструктор – это особый вид метода, применяющийся для освобождения памяти, занимаемой объектом.
Деструктор имеет то же имя, что и класс, в котором он объявляется, с префиксом тильда (~).
Например:
monstr::~monstr()
{
delete [ ] name;
}
Деструктор вызывается автоматически, когда объект выходит из области видимости:
– для глобальных объектов – как часть процедуры выхода из функции main;
– для локальных объектов – при выходе из блока, в котором они объявлены;
– для объектов, заданных через указатели, деструктор вызывается неявно при использовании операции delete.
Автоматический вызов деструктора не производится при выходе из области действия указателя на него.
Деструктор объявляется явно, когда объект содержит указатели на память, выделяемую динамически – иначе при уничтожении объекта память, на которую ссылались поля-указатели, не будет помечена как свободная.
Например, при указании полностью уточненного имени деструктор будет иметь вид:
monstr *m;
…
m->~monstr();
Явное определение деструктора может понадобиться для объектов, которым с помощью операции new был выделен конкретный адрес памяти.
Без необходимости явно вызывать деструктор объекта не рекомендуется.
Нельзя определить указатель на деструктор.