Do Destructors Do Anything?

Question

Мне было интересно, действительно ли деструкторы класса по умолчанию делают что-либо при их вызове.

Я исследовал его, и я обнаружил, что если я создам класс с функцией, которая вызывает свой собственный деструктор, он ничего не делает (т.е. все переменные остаются нетронутыми, и экземпляр все еще существует и может использоваться).

Означает ли это, что деструктор класса можно рассматривать как унаследованную виртуальную функцию, которую могут иметь все классы и ее переопределение (удалить указатели и т. Д. И очистить переменные-члены), но если это не переопределено, он ничего не сделает?

Если это так, то деструктор не может быть использован как функция «очистить все данные» и сделать некоторые части кода более эффективными, очистив динамически распределенную память и повторно используя ее, а не получая компьютер найти новый блок памяти в куче?

Спасибо.

Answer 1

• Конструктор по умолчанию вызывает конструктор по умолчанию всех переменных-членов, не включая примитивные типы (char, int, указатели).
• Деструктор может быть вызван явно, но это не означает, что объект-декодер. Если объект находится в стеке, то он ничего не может с этим поделать.
• Деструкторы по умолчанию не являются виртуальными, но они действительно должны быть, если вы планируете наследовать от класса.
• Если объект освобожден (выходит за пределы области видимости, удаляется из кучи или закрывается объект каким-либо образом), будет вызываться дескриптор.

Answer 2

В дополнение к ответу Notinlist в:

По умолчанию конструкторы называют конструкторами своих базовых классов.

Если да, то не могли деструктор в основном будет использоваться в качестве «очистить все данные» вид функции и сделать некоторые части кода более эффективным путем очистки памяти выделяется динамически переменную и повторно использовать его вместо того, чтобы заставить компьютер найти новый блок памяти на куче ?

Вы как-то описываете пул памяти. Если вы хотите, ваши объекты могут приобретать и возвращать буферы памяти в/из какой-либо системы пула, которую вы придумываете. Но по большей части ассигнования достаточно быстры и довольно редки, что для людей это обычно не так. Не сказать, что они нечасты, но они должны происходить много, чтобы обратить внимание на этот удар производительности.

Answer 3

Я изучал его, и я обнаружил, что если я создам класс с функцией, вызывающей его собственный деструктор, он ничего не делает (т.е. все переменные остаются нетронутыми, и экземпляр все еще существует и можно использовать).

Рассмотрим этот код:

#include <iostream> 

struct A 
{ 
    ~A() 
    { 
     std::cout << "A::~A" << std::endl; 
    } 
}; 

struct B 
{ 
    A a; 
}; 

int main() 
{ 
    B b; 
    std::cout << "Calling b.~B()" << std::endl; 
    b.~B(); 
    std::cout << "Done" << std::endl; 
} 

You'll see, что вызов B По умолчанию деструктор вызывает A 's деструктора, потому что B содержит A:

Calling b.~B() 
A::~A 
Done 
A::~A 

Только когда b выходит из область развертки развернута, и синтезированный B::~B(), и, в свою очередь, A::~A(), прежде чем их память свободна.

Answer 4

Вызов деструктора вручную - это, как правило, плохая идея. В разделе часто задаваемых вопросов о C++ около destructors есть много хорошей информации об этом.

Если вы хотите уничтожить объект явно, вы можете использовать дополнительные области действия, чтобы вызвать безопасный вызов деструктора (см. Этот FAQ entry). Этот метод также предотвращает использование экземпляра объекта, который был уничтожен. Хотя экземпляр может показаться полезным, на самом деле это не так.

Если ваше намерение освободить некоторые, но не все из ресурсов, принадлежащих экземпляру класса вы можете попробовать две вещи:

• Определите метод clear() (или аналогичный) на классе.
• Убедитесь, что инвариант класса поддерживается после вызова clear().

Предположим, что ваш первоначальный подход вручную вызова деструктора работал, или вы решили сделать что-то, что, как метод clear() выше, в обоих случаях вы можете столкнуться с проблемами позже.

Хорошо понятый и часто практикуемый метод управления ресурсами в C++ - это сбор ресурсов - это инициализация (часто сокращенно RAII, но игнорирование имени, если оно запутывает, концепция понятна). См. Статью this в Википедии или об этом answer за полезную информацию.

Вот Т.Л., д-р, хотя:

• Время жизни ресурса всегда должны быть привязаны к жизни объекта.
• Срок службы объекта начинается, когда конструктор завершается
• Срок службы объекта заканчивается, когда деструктор завершается.

После этого идиома обычно предотвращает проблемы управления ресурсами C++ до их возникновения.