Вызов деструктора

Вызывается ли деструктор объекта при завершении программы? а при аварийном завершении? А если снять процесс приложения диспетчером?

0

Система сама освобождает память, выделенную приложению.

1

Сообщение от Гайфи Вызывается ли деструктор объекта при завершении программы?

только для статических, и автоматических объектов.

Сообщение от Гайфи а при аварийном завершении?

в общем случае нет.

в случае аварии приложение находится в нестабильном состоянии.
в этом состоянии никто ничего уже не гарантирует.

Сообщение от Гайфи А если снять процесс приложения диспетчером?

аналогично аварийному завершению.

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

1

Сообщение от Гайфи Вызывается ли деструктор объекта при завершении программы? а при аварийном завершении?

Зависит от того, что это за объект, что это за завершение и даже немножко от реализации.

1. Нормальное завершение - выход из main по return или достижение конца main - натуральным образом вызовет деструкторы всех автоматических объектов, чье время жизни уже началось, ибо выход из функции (из блока) вызывает такие деструкторы. Также такое завершение вызовет деструкторы всех статических объектов, чье время жизни уже началось. (Для определения того, какие статические объекты надо деструктировать, а какие нет, во время выполнения строятся соотв. внутренние структуры данных).

2. Завершение по std::exit не вызывает деструкторы автоматических объектов. Однако завершение по std::exit вызовет деструкторы всех статических объектов, чье время жизни уже началось.

3. Завершение по std::abort или std::terminate не вызывает деструкторов.

4. Завершение по непойманному исключению - это фактически завешение по std::terminate. Однако выполняется ли раскрутка стека перед вызовом std::terminate - определяется реализацией, т.е. будут ли вызваны деструкторы автоматических объектов - зависит от компилятора.

5. Также не стоит забывать, что в наше время в С++ есть еще один вид storage duration - объекты потоков (thread storage duration). Упрощенно можно считать, что вышесказанное применимо к объектам потоков, считая что их поток-хозяин - это своя отдельная внутренняя "программа" в рамках вашей программы, а объекты потоков - это "статические" объекты в ней. Соответствующая функция потока - это аналог функции main в этой внутренней "программе".

Однако std::exit в потоке вызывает деструкторы объектов этого потока, деструкторы статических объектов программы и завершает всю программу, а не только этот поток.

Внешние по отношению к некоторому потоку события, вызывающие завершение всей программы, не вызывают вызова деструкторов объектов этого потока.

6. Аварийное завершение как проявление неопределенного поведения, понятное дело, в рамках языка никакого вызова деструкторов не делает.

Деструкторы динамических объектов автоматически не вызываются. Их автоматическая деструкция может быть выполнена опосредовано - делегирована через деструкцию автоматических и статических объектов.

Ну и конечно же подразумевается, что идея "вызова деструктора", применима только к объектам у которых есть деструктор. Более того, этот деструктор должен быть нетривиальным для того, чтобы о нем был смысл разговаривать.

2