C++ bad_alloc 异常

Question

我试图捕获bad_alloc 异常以证明使用了析构函数。

这是我的对象：

#include "Obj.h"
#include<iostream>
using namespace std;

Obj::Obj() {
d = new double[200000000];
}
Obj::~Obj() {
cout << "destroyed \n";
}

以及主要方法：

#include "Obj.h"
#include <iostream>
using namespace std;
int main(){
Obj* ptr[1000000];
try{
    for(int i=0; i<1000; i++){
        ptr[i] = new Obj();
    }
} catch(bad_alloc){
    cout<<"EXCEPTION";
}
}

我的程序没有捕获异常，而是停止并尝试在线寻找解决方案（Windows）。 为什么会这样？

编辑 我现在得到了异常，但我应该证明在抛出异常之前使用了析构函数。我该怎么做？

Answer 1

在您开始动态分配对象之前，问题就出现了。如果您在附加调试器的情况下运行程序，您将看到程序由于堆栈溢出而终止。为什么？

Obj* ptr[1000000];

您不能将这么大的对象声明为具有自动存储持续时间。当输入main时，它会尝试为这个对象分配堆栈空间，但失败了，导致抛出堆栈溢出结构化异常。您的应用程序不会处理此异常，因此运行时会终止程序。

但是请注意，Obj 析构函数永远不会被您的程序调用。当您使用new 动态分配对象时，您有责任使用delete 销毁它。由于您从未调用delete 来销毁您创建的对象，因此它们永远不会被销毁。

如果您要使用 std::vector<std::unique_ptr<Obj>> 代替（或者，就此而言，仅使用 std::vector<Obj>），您会看到将为每个完全创建的 Obj 对象调用析构函数。

Answer 2

请记住，您正在尝试使用您的 ptr 数组在堆栈上存储一个非常大的数组......您的问题很可能是您已经溢出了之前为您的应用程序分配的堆栈的默认大小operator new 可能会失败，但会出现内存不足的异常。

Answer 3

我将您的所有代码粘贴到一个文件中，稍微增加了整数常量，完成了 Obj 的类定义，并通过一些调试重新运行了您的代码。在 64 位 unix 服务器上，它会在尝试执行 Obj 构造函数时正确打印出“异常”。

#include<iostream>
using namespace std;

struct Obj {
Obj() {
d = new double[20000000000000000LL];
}
~Obj() {
cout << "destroyed \n";
}

double* d;
};

int main(){
Obj* ptr[1000000];
try{
    for(int i=0; i<1000; i++){
        ptr[i] = new Obj();
        cout<<"bah!"<<endl;
    }
} catch(bad_alloc){
    cout<<"EXCEPTION";
}
cout<<"Done."<<endl;
}

[jhumphreys@suoserv ~]$ g++ so2.cpp
[jhumphreys@suoserv ~]$ ./a.out
EXCEPTIONDone.
[jhumphreys@suoserv ~]$