Нужно ли мне очищать элементы данных, отличные от указателей?

Question

Если я не использую new для распределения элементов данных класса, существует ли какая-либо очистка, которая должна быть выполнена в деструкторе? Например, в следующем случае мне понадобится delete вектор? Или это зависит от MyType?

class A { 
    A(); 
    ~A(); 
    MyType x; 
    std::vector<MyType> v; 
}; 
A::A() { 
    x = MyType(42); 
    v = std::vector<MyType>(5); 
} 
A::~A() { 
    // what goes here? 
} 

Answer 1

Должно быть педантичным, от на каких MyType есть. Если у вас есть typedef char* MyType и вы выделяете память для MyType, и вы хотите, чтобы эта память принадлежала объекту, тогда да, вам нужен деструктор.

В противном случае вам не нужно освобождать память для всего, что не было выделено new или malloc, так что нет.

У вашего класса вообще не должно быть деструктора. Существует общее мнение, что у вас должен быть только деструктор, когда он вам действительно нужен. Наличие деструктора также подразумевает реализацию оператора присваивания и конструктора копирования (правило 3). Если вы не управляете какой-либо памятью, лучше полагаться на предоставленные компилятором, то есть компилятор будет генерировать этих трех, если вы этого не сделаете.

Кроме того, ваш конструктор должен выглядеть следующим образом:

A::A() : x(42), v(5){ 
} 

В противном случае ваши члены будут инициализированы, а затем присваивается, который является расточительным.

Answer 2

Деструкторы автоматически вызываются, поэтому вам не нужно это делать. Кроме того, для указателей используйте smart pointers (например, std::unique_ptr) вместо delete вручную.

class A { 
    A(); 
    ~A(); 
    MyType x; 
    std::vector<MyType> v; 
}; 
A::A() : x(42), v(5) { } 
A::~A() { 
    // x.~MyType() implicitly called. 
    // v.~std::vector<MyType>() implicitly called. 
} 

Answer 3

Ваш класс не нуждается в явном деструкторе. В любом случае дескриптор vector будет вызываться автоматически. А поскольку сам векторный объект (в отличие от внутренних данных) не является динамическим, вам не нужно delete. Фактически, это будет синтаксическая ошибка, так как v не является указателем.

Answer 4

Нет, вам не обязательно. Их конструкторы будут называться неявно.

Answer 5

Этот вектор автоматически удаляется в момент разрушения. Однако, если вы храните указатели в векторе, например. Если вы скажете вектор < Foo * > v ;, вам нужно написать код, чтобы удалить указатели в векторе. Один из способов избежать этого использовать векторные < зЬй :: unique_ptr <Foo> > или вектор < станд :: shared_ptr <Foo> >

Answer 6

Для класса нет, вы этого не сделаете, так как он не имеют какой-либо элемент указателя, выделенный с использованием новых или malloc.

Учтите, что если ваш класс/структура MyType есть указатели в качестве члена, деструктор MyType является ответственным, чтобы освободить память такого указателя, но вам не придется беспокоиться с этим в классе A, так как при вызове его деструктора деструктор вектора вызывает деструктор MyType.