Разница между .dtors и atexit () в C ++

Из справочных страниц linux atexit () вызывается в обычном процессе завершение, либо через exit (3), либо через возврат из main () программы.

Что касается .ctors / .dtors, они вызываются, когда разделяемая библиотека, в которой они определены, загружается / выгружается.

Порядок, в котором они будут происходить, совершенно очевиден.

В C ++ нет .dtors. Некоторые реализации могут. Это разумный механизм для отслеживания деструкторов глобальных объектов. Насколько я понимаю, это список времени компиляции.

Однако atexit обработчики добавляются во время выполнения. Это означает, что вы можете добавлять функции только тогда, когда они становятся необходимыми во время выполнения.

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

Одна из законных реализаций деструкторов статических объектов - зарегистрировать их с помощью atexit после завершения работы конструктора. Стандарт требует, чтобы порядок был таким же, как если бы использовалась эта реализация. Основное отличие состоит в том, что деструкторы статических объектов являются деструкторами: они будут вызываться автоматически, если объект полностью построен, без какой-либо необходимости с вашей стороны их регистрировать. И у них есть параметр this для доступа к объекту.

РЕДАКТИРОВАТЬ:

Чтобы было ясно: дано

T obj;      //  where obj has static lifetime...

Компилятор сгенерирует функцию:

void __destructObj()
{
    obj.~T();
}

и следующий код инициализации:

new (&obj) T;
std::atexit( __destructObj );

Это независимо от объема obj; один и тот же базовый код работает как для локальной статики, так и для объектов в области пространства имен. (В случае локальных объектов компилятор также должен будет сгенерировать флаг и код, чтобы проверить его, чтобы указать, был ли объект уже инициализирован; ему также необходимо будет предпринять шаги для обеспечения безопасности потоков.)

На самом деле трудно понять, как компилятор мог бы поступить иначе (хотя он мог бы генерировать встроенный код, чтобы делать то, что делает std::atexit), учитывая требования к порядку.