Когда ты определяешь деструктор для класса, нужно ли явно вызывать деструкторы его объектов-членов?

Question

Accepted Answer

## Поведение деструкторов

Нет, ты **не** должен явно вызывать деструкторы объектов-членов. Компилятор делает это за тебя автоматически.

## Автоматическое уничтожение членов класса

Когда вызывается деструктор класса, деструкторы всех **объектов-членов** вызываются *автоматически* компилятором. Это происходит независимо от того, определил ты явно деструктор в своём классе или нет. Деструкторы членов вызываются в **обратном порядке** их объявления в классе.

## Пример

Посмотри на такую структуру класса:

```cpp
class Member {
public:
    ~Member();
};

class Fred {
public:
    ~Fred();
private:
    Member x_;
    Member y_;
    Member z_;
};
```

Когда выполняется `Fred::~Fred()`, компилятор автоматически вызывает:

1. `z_.~Member()` (объявлен последним)
2. `y_.~Member()` (объявлен вторым)
3. `x_.~Member()` (объявлен первым)

Ты **не** должен писать эти вызовы вручную в реализации деструктора.

## Важное исключение

Единственное исключение из этого правила — когда ты используешь **placement new**, где ты должен явно вызвать деструкторы, потому что память была выделена не через стандартный оператор `new`.

## Хороший стиль кода

Полагайся на автоматическое уничтожение членов компилятором. Это гарантирует правильный порядок очистки и предотвращает типичные ошибки при ручном управлении вызовами деструкторов.

Когда ты определяешь деструктор для класса, нужно ли явно вызывать деструкторы его объектов-членов?

Ответ

Поведение деструкторов

Автоматическое уничтожение членов класса

Пример

Важное исключение

Хороший стиль кода

Проверочные вопросы

Помогите улучшить этот вопрос

Обсуждение