异常，堆栈展开，封装的堆内存，exit（）[重复]

Question

这个问题已经在这里有了答案：

• 内存释放和异常 4个答案

当引发异常时，从堆栈中展开引发异常的块：

int main ()
{
    try
    {
        Object x; // doesn't throw
        Object y; // throws
        cout << "wonderful";
    }
    catch (...)
    {
        cout << "fail";
    }
}

当Object在堆上的构造内存上分配并在销毁时正确地对其进行分配时，则应该没有内存泄漏，因为堆栈展开调用x析构x （不是y ，但是Object保证构造函数失败时不会出现内存泄漏）。 到目前为止，不是吗？

让我们深入一点：

int main ()
{
    Object x; // doesn't throw
    double *d = new double[256*256*256]; // doesn't throw
    Object y; // throws
    cout << "wonderful";
    delete[] d;
}

由于受过良好的教育，我想自己清理垃圾，而不要在操作系统上这样做。 我知道，每个现代OS都会自行删除程序的堆内存，该程序将终止意外的（或预期的，但没有明确的释放）的程序。 因此，在大写情况下， d的释放将完成我的OS，但x仍将在 OS执行之前正确分配其内存（由于堆栈展开和析构函数调用），对吗？

那个怎么样：

#include <cstdlib>

int main ()
{
    Object x; // doesn't throw
    try { Object y; } // throws
    catch (...) {  cout << "fail"; exit(EXIT_FAILURE); }
    cout << "working and working...";
    cin.get();
}

在 exit将控制权交还给OS 之前是否调用了x的析构函数？

以及更多的深度：

void Object::be_stupid ()
{
    Object a; // doesn't throw
    try { Object b; }// throws
    catch (...) { exit(EXIT_FAILURE); }
}

void main ()
{
    Object x; // doesn't throw
    try { x.be_stupid(); } // exits program
}

在 exit将控制权交还给OS 之前是否调用了x的构造函数？ 如果是，则exit “展开”所有周围的堆栈，包括main() ，对吗？

Answer 1

好的，这要感谢polkadotcadaver：永远不要使用exit() ，除非在main()之前传播异常，然后执行简单的return -所有堆栈Objects将在 OS取得控制权之前由它们自己的析构函数释放。